Mezinárodní společná konference o automatizovaném uvažování - International Joint Conference on Automated Reasoning - Wikipedia

The Mezinárodní společná konference o automatizovaném uvažování (IJCAR) je řada konferencí na témata automatické uvažování, automatický odpočet a související pole. Je organizována polopravidelně jako sloučení dalších setkání. IJCAR nahrazuje tyto nezávislé konference v letech, kdy se koná. Konferenci pořádá CADE Inc. CADE vždy patřilo ke konferencím účastnícím se IJCAR.

  • První IJCAR se konal v Siena, Itálie v roce 2001 sloučením CADE, FTP, a TABLEAUX.
  • Druhý IJCAR se konal Korek, Irsko v roce 2004 sloučením společností CADE, FTP, TABLEAUX, FroCoS a CALCULEMUS.
  • Třetí IJCAR se konal jako samostatná subkonference čtvrtého Federovaná logická konference v Seattle, USA a sloučeny CADE, FTP, TABLEAUX, FroCoS a TPHOLs.
  • Čtvrtý IJCAR se konal v Sydney, Austrálie v roce 2008, a sloučily CADE, FroCoS, FTP a TABLEAUX.
  • Pátý IJCAR se konal v roce 2010 jako samostatná subkonference pátého Federovaná logická konference v Edinburgh Ve Velké Británii a sloučily CADE, FTP, TABLEAUX a FroCoS.
  • Konal se šestý IJCAR Manchester, Spojené království, jako součást Alan Turing Rok 2012a byla umístěna u Alan Turing Centenary Conference. Opět sloučila CADE, FTP, TABLEAUX a FroCoS.
  • Konal se sedmý IJCAR Vídeň, Rakousko, jako součást Vídeňské logické léto v roce 2014, a sloučil CADE, TABLEAUX a FroCoS.
  • Osmý IJCAR se konal Coimbra, Portugalsko, v roce 2016, a sloučily CADE, TABLEAUX a FroCoS.

externí odkazy