{"id":102,"date":"2015-06-17T12:57:29","date_gmt":"2015-06-17T10:57:29","guid":{"rendered":"http:\/\/members.loria.fr\/template\/?page_id=102"},"modified":"2023-07-26T22:13:46","modified_gmt":"2023-07-26T20:13:46","slug":"events","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/CRingeissen\/events\/","title":{"rendered":"Events"},"content":{"rendered":"

IJCAR 2024<\/a>,\u00a0<\/b>12th International Joint Conference on Automated Reasoning (Nancy, France, July 1-6, 2024)<\/p>\n

FroCoS’2023<\/a>,\u00a0<\/b>14th International Symposium on Frontiers of Combining Systems (Prague, Czech Republic, 20-22 September, 2023)<\/p>\n

UNIF’2023<\/a>,<\/b>\u00a037th International Workshop on Unification (Rome, Italy, July 2, 2023), a satellite event of CADE\/FSCD 2023, affiliated with FSCD 2023<\/a><\/p>\n

UNIF’2020<\/a>,<\/b>\u00a034th International Workshop on Unification (Paris, France, June 29, 2020). Co-located with IJCAR 2020<\/a><\/p>\n

IJCAR 2020<\/a>,\u00a0<\/b>10th International Joint Conference on Automated Reasoning (Paris, France, June 29 – July 5, 2020). Co-located with FSCD 2020<\/a><\/p>\n

WRLA 2020<\/strong><\/a>, 13th International Workshop on Rewriting Logic and its Applications (Dublin, Ireland, April 25-26, 2020). An ETAPS 2020 satellite event<\/p>\n

UNIF’2019<\/a>,<\/b>\u00a033nd International Workshop on Unification (Dortmund, Germany, June 24, 2019)<\/p>\n

UNIF’2018<\/a>,<\/b>\u00a032nd International Workshop on Unification (Oxford, UK, July 7, 2018)<\/p>\n

IJCAR 2018,<\/a><\/b>\u00a09th International Joint Conference on Automated Reasoning (Oxford, UK, 14-17 July, 2018). Part of FLoC 2018<\/a><\/strong><\/p>\n

WRLA 2018<\/a>,\u00a0<\/b>12th International Workshop on Rewriting Logic and its Applications (Thessaloniki, Greece, 14-15 April, 2018). An ETAPS 2018 satellite event<\/p>\n

FroCoS’2017<\/a>,\u00a0<\/b>11th International Symposium on Frontiers of Combining Systems (Brasilia, Brazil, 25-29 September, 2017)<\/p>\n

UNIF’2017<\/a>,<\/b>\u00a031th International Workshop on Unification (Oxford, UK, September 3rd, 2017)<\/p>\n

IJCAR 2016<\/a>,\u00a0<\/b>8th International Joint Conference on Automated Reasoning (Coimbra, Portugal, June 27 – July 2, 2016)<\/p>\n

UNIF’2016<\/a>,<\/b>\u00a030th International Workshop on Unification (Porto, Portugal, June 26, 2016)<\/p>\n

WRLA 2016<\/a>,\u00a0<\/b>11th International Workshop on Rewriting Logic and its Applications (Eindhoven, The Netherlands, 2-3 April, 2016). An ETAPS 2016 satellite event<\/p>\n

FroCoS’2015<\/a>,\u00a0<\/b>10th International Symposium on Frontiers of Combining Systems (Wroclaw, Poland, 19-24 September, 2015)<\/p>\n

CADE-25<\/a>,\u00a0<\/b>25th International Conference on Automated Deduction (Berlin, Germany, 1-7 August, 2015)<\/p>\n

UNIF’2015<\/a>,<\/b> 29th International Workshop on Unification (Warsaw, Poland, June 28, 2015)<\/p>\n

UNIF’2014<\/a>,\u00a0<\/b> 28th\u00a0International Workshop on Unification (Vienna, Austria, July 13, 2014). Proceedings: html<\/a> pdf<\/a><\/b><\/p>\n

FroCoS’2013<\/a>,\u00a0<\/b>9th International Symposium on Frontiers of Combining Systems (Nancy, France, 18-20 September, 2013)<\/p>\n

CADE-24<\/a>,\u00a0<\/b>24th International Conference on Automated Deduction (Lake Placid, USA, 9-14 June, 2013)<\/p>\n

IWS 2012<\/a>,\u00a0<\/b>2nd Joint International Workshop on Strategies in Rewriting, Proving
\nand Programming (Workshop of IJCAR 2012<\/a>)<\/p>\n

AREIS 2012<\/a>,\u00a0<\/b>Automated Reasoning for Enterprise Information Systems (Workshop of IJCAR 2012<\/a>)<\/p>\n

FroCoS’2011<\/a>,\u00a0<\/b>8th International Workshop on Frontiers of Combining Systems (Saarbruecken, Germany)<\/p>\n

IJCAR 2010<\/a>,\u00a0<\/b>5th International Joint Conference on Automated Reasoning (Edinburgh, UK)<\/p>\n

FroCoS’2009<\/a>,\u00a0<\/b>7th International Workshop on Frontiers of Combining Systems (Trento, Italy)<\/p>\n

IJCAR 2008<\/a>,\u00a0<\/b>4th International Joint Conference on Automated Reasoning (Sidney, Australia)<\/p>\n

FroCoS’2007<\/a>,\u00a0<\/b>6th International Workshop on Frontiers of Combining Systems (Liverpool, UK)<\/p>\n

Calculemus’06<\/a>,\u00a0<\/b>13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning<\/p>\n

FroCoS’2005<\/a>,\u00a0<\/strong>5th International Workshop on Frontiers of Combining Systems (Vienna, Austria)<\/p>\n

Special Issue of I&C on
\nCombining Logical Systems<\/b><\/a> (Deadline: January 22, 2005)<\/p>\n

RULE’04<\/a>,\u00a0<\/b>Rule-based Programming (Workshop of RDP’04<\/a>)<\/p>\n

PDPAR’03<\/a>,<\/b> Pragmatics of\u00a0Decision Procedures in Automated Reasoning (Workshop of CADE-19<\/a>)<\/p>\n

UNIF’2002<\/a>,\u00a0<\/b>16th\u00a0International Workshop on Unification (Copenhagen, Denmark)<\/p>\n

AMAST’2002<\/a>,<\/b> 9th\u00a0International Conference on Algebraic Methodology And Software Technology (Saint Gilles les Bains, Ile de la R\u00e9union)<\/p>\n

FroCoS’2002<\/a>,\u00a0<\/b>4th International Workshop on Frontiers of Combining Systems (Santa Margherita Ligure, Italy)
\nSTRATEGIES’2001<\/a>,<\/b> 4th\u00a0International Workshop on Strategies in Automated Deduction, held in conjunction with IJCAR’2001<\/a><\/p>\n

ETAPS’2001 tutorial<\/a>,<\/b> Rule-based programming using ELAN<\/a><\/p>\n

FroCoS’2000<\/a>,\u00a0<\/b>3rd International Workshop on Frontiers of Combining Systems (Nancy, France)<\/p>\n","protected":false},"excerpt":{"rendered":"

IJCAR 2024,\u00a012th International Joint Conference on Automated Reasoning (Nancy, France, July 1-6, 2024) FroCoS’2023,\u00a014th International Symposium on Frontiers of Combining Systems (Prague, Czech Republic, 20-22 September, 2023) UNIF’2023,\u00a037th International Workshop on Unification (Rome, Italy, July 2, 2023), a satellite event of CADE\/FSCD 2023, affiliated with FSCD 2023 UNIF’2020,\u00a034th International Workshop on Unification (Paris, France, June […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-102","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages\/102","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/comments?post=102"}],"version-history":[{"count":26,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages\/102\/revisions"}],"predecessor-version":[{"id":390,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages\/102\/revisions\/390"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/media?parent=102"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}