IJCAR 2024, 12th International Joint Conference on Automated Reasoning (Nancy, France, July 1-6, 2024)
FroCoS’2023, 14th International Symposium on Frontiers of Combining Systems (Prague, Czech Republic, 20-22 September, 2023)
UNIF’2023, 37th International Workshop on Unification (Rome, Italy, July 2, 2023), a satellite event of CADE/FSCD 2023, affiliated with FSCD 2023
UNIF’2020, 34th International Workshop on Unification (Paris, France, June 29, 2020). Co-located with IJCAR 2020
IJCAR 2020, 10th International Joint Conference on Automated Reasoning (Paris, France, June 29 – July 5, 2020). Co-located with FSCD 2020
WRLA 2020, 13th International Workshop on Rewriting Logic and its Applications (Dublin, Ireland, April 25-26, 2020). An ETAPS 2020 satellite event
UNIF’2019, 33nd International Workshop on Unification (Dortmund, Germany, June 24, 2019)
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 2018, 12th International Workshop on Rewriting Logic and its Applications (Thessaloniki, Greece, 14-15 April, 2018). An ETAPS 2018 satellite event
FroCoS’2017, 11th 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 2016, 8th 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 2016, 11th International Workshop on Rewriting Logic and its Applications (Eindhoven, The Netherlands, 2-3 April, 2016). An ETAPS 2016 satellite event
FroCoS’2015, 10th International Symposium on Frontiers of Combining Systems (Wroclaw, Poland, 19-24 September, 2015)
CADE-25, 25th 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’2013, 9th International Symposium on Frontiers of Combining Systems (Nancy, France, 18-20 September, 2013)
CADE-24, 24th International Conference on Automated Deduction (Lake Placid, USA, 9-14 June, 2013)
IWS 2012, 2nd Joint International Workshop on Strategies in Rewriting, Proving
and Programming (Workshop of IJCAR 2012)
AREIS 2012, Automated Reasoning for Enterprise Information Systems (Workshop of IJCAR 2012)
FroCoS’2011, 8th International Workshop on Frontiers of Combining Systems (Saarbruecken, Germany)
IJCAR 2010, 5th International Joint Conference on Automated Reasoning (Edinburgh, UK)
FroCoS’2009, 7th International Workshop on Frontiers of Combining Systems (Trento, Italy)
IJCAR 2008, 4th International Joint Conference on Automated Reasoning (Sidney, Australia)
FroCoS’2007, 6th International Workshop on Frontiers of Combining Systems (Liverpool, UK)
Calculemus’06, 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
FroCoS’2005, 5th International Workshop on Frontiers of Combining Systems (Vienna, Austria)
Special Issue of I&C on
Combining Logical Systems (Deadline: January 22, 2005)
RULE’04, Rule-based Programming (Workshop of RDP’04)
PDPAR’03, Pragmatics of Decision Procedures in Automated Reasoning (Workshop of CADE-19)
UNIF’2002, 16th 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’2002, 4th 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’2000, 3rd International Workshop on Frontiers of Combining Systems (Nancy, France)
