Events

UNIF’2018, 32nd International Workshop on Unification (Oxford, UK, July 7, 2018)

IJCAR 2018, 9th International Joint Conference on Automated Reasoning (Oxford, UK, 14-17 July, 2018). Part of FLoC 2018

WRLA 201812th International Workshop on Rewriting Logic and its Applications (Thessaloniki, Greece, 14-15 April, 2018). An ETAPS 2018 satellite event

FroCoS’201711th International Symposium on Frontiers of Combining Systems (Brasilia, Brazil, 25-29 September, 2017)

UNIF’2017, 31th International Workshop on Unification (Oxford, UK, September 3rd, 2017)

IJCAR 20168th International Joint Conference on Automated Reasoning (Coimbra, Portugal, June 27 – July 2, 2016)

UNIF’2016, 30th International Workshop on Unification (Porto, Portugal, June 26, 2016)

WRLA 201611th International Workshop on Rewriting Logic and its Applications (Eindhoven, The Netherlands, 2-3 April, 2016). An ETAPS 2016 satellite event

FroCoS’201510th International Symposium on Frontiers of Combining Systems (Wroclaw, Poland, 19-24 September, 2015)

CADE-2525th International Conference on Automated Deduction (Berlin, Germany, 1-7 August, 2015)

UNIF’2015, 29th International Workshop on Unification (Warsaw, Poland, June 28, 2015)

UNIF’2014 28th International Workshop on Unification (Vienna, Austria, July 13, 2014). Proceedings: html pdf

FroCoS’20139th International Symposium on Frontiers of Combining Systems (Nancy, France, 18-20 September, 2013)

CADE-2424th International Conference on Automated Deduction (Lake Placid, USA, 9-14 June, 2013)

IWS 20122nd Joint International Workshop on Strategies in Rewriting, Proving
and Programming (Workshop of IJCAR 2012)

AREIS 2012Automated Reasoning for Enterprise Information Systems (Workshop of IJCAR 2012)

FroCoS’20118th International Workshop on Frontiers of Combining Systems (Saarbruecken, Germany)

IJCAR 20105th International Joint Conference on Automated Reasoning (Edinburgh, UK)

FroCoS’20097th International Workshop on Frontiers of Combining Systems (Trento, Italy)

IJCAR 20084th International Joint Conference on Automated Reasoning (Sidney, Australia)

FroCoS’20076th International Workshop on Frontiers of Combining Systems (Liverpool, UK)

Calculemus’0613th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning

FroCoS’20055th International Workshop on Frontiers of Combining Systems (Vienna, Austria)

Special Issue of I&C on
Combining Logical Systems
(Deadline: January 22, 2005)

RULE’04Rule-based Programming (Workshop of RDP’04)

PDPAR’03, Pragmatics of Decision Procedures in Automated Reasoning (Workshop of CADE-19)

UNIF’200216th International Workshop on Unification (Copenhagen, Denmark)

AMAST’2002, 9th International Conference on Algebraic Methodology And Software Technology (Saint Gilles les Bains, Ile de la Réunion)

FroCoS’20024th International Workshop on Frontiers of Combining Systems (Santa Margherita Ligure, Italy)
STRATEGIES’2001, 4th International Workshop on Strategies in Automated Deduction, held in conjunction with IJCAR’2001

ETAPS’2001 tutorial, Rule-based programming using ELAN

FroCoS’20003rd International Workshop on Frontiers of Combining Systems (Nancy, France)