Internationell gemensam konferens om automatiserat resonemang

Den internationella gemensamma konferensen om automatiserat resonemang ( IJCAR ) är en serie konferenser om ämnena automatiserat resonemang , automatiserat avdrag och relaterade områden. Det anordnas semi-regelbundet som en sammanslagning av andra möten. IJCAR ersätter dessa oberoende konferenser under de år de äger rum. Konferensen arrangeras av CADE Inc. , och CADE har alltid varit en av konferenserna som deltar i IJCAR.

Den första IJCAR hölls i Siena , Italien 2001 som en sammanslagning av CADE, FTP och TABLEAUX .
Den andra IJCAR hölls i Cork , Irland 2004 som en sammanslagning av CADE, FTP, TABLEAUX, FroCoS och CALCULEMUS.
Den tredje IJCAR hölls som en oberoende underkonferens till den fjärde Federated Logic Conference i Seattle , USA, och slog samman CADE, FTP, TABLEAUX, FroCoS och TPHOLs .
Den fjärde IJCAR hölls i Sydney , Australien 2008, och slog samman CADE, FroCoS, FTP och TABLEAUX.
Den femte IJCAR hölls 2010 som en oberoende underkonferens till den femte Federated Logic Conference i Edinburgh , Storbritannien, och slogs samman CADE, FTP, TABLEAUX och FroCoS.
Den sjätte IJCAR hölls i Manchester , Storbritannien, som en del av Alan Turing Year 2012 , och samlokaliserades med Alan Turing Centenary Conference . Det slog igen CADE, FTP, TABLEAUX och FroCoS.
Den sjunde IJCAR hölls i Wien , Österrike, som en del av Vienna Summer of Logic 2014, och slog samman CADE, TABLEAUX och FroCoS.
Den åttonde IJCAR hölls i Coimbra , Portugal, 2016, och slog samman CADE, TABLEAUX och FroCoS.

externa länkar