BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260626T031747Z
DTSTART;TZID=Europe/London:20120123T090000
DTEND;TZID=Europe/London:20120123T090000
SUMMARY:6th International Joint Conference on Automated Reasoning (IJCAR 2012)
UID:20260701T161622Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
LOCATION:Manchester\, United Kingdom
DESCRIPTION:<p><p><strong>Important Dates:</strong></p>\n<ul>\n<li><strong>Abstract submission:</strong>&nbsp\;January 23\, 2012</li>\n<li><strong>Paper submission:</strong>&nbsp\;January 30\, 2012</li>\n<li><strong>Noti?cation:</strong>&nbsp\;March 26\, 2012</li>\n<li><strong>Final version:</strong>&nbsp\;April 16\, 2012</li>\n<li><strong>Main conference:</strong>&nbsp\;June 26 &ndash\; 29\, 2012</li>\n<li><strong>Satellite events (workshops\, etc):</strong>&nbsp\;June 30 and July 1\, 2012</li>\n</ul>\n<p><a href="http://www.ijcar.org/">IJCAR</a>&nbsp\;is the premier international joint conference on all topics in automated reasoning.&nbsp\;<a href="http://ijcar.cs.manchester.ac.uk/">IJCAR 2012</a>\, the 6th International Joint Conference on Automated Reasoning\, is a merger of leading events in automated reasoning:</p>\n<ul>\n<li><a href="http://www.cadeinc.org/">CADE</a>&nbsp\;(International Conference on Automated Deduction)</li>\n<li><a href="http://combination.cs.uiowa.edu/frocos">FroCoS</a>&nbsp\;(InternationalSymposium on Frontiers of Combining Systems)</li>\n<li><a href="http://www.csc.liv.ac.uk/FTP-WS">FTP</a>&nbsp\;(International Workshop onFirst-order Theorem Proving)</li>\n<li><a href="http://i12www.ira.uka.de/TABLEAUX">TABLEAUX</a>&nbsp\;(International Conference onAutomated Reasoning with Analytic Tableaux and Related Methods).</li>\n</ul>\n<p>Previous editions of IJCAR took place in Siena (2001)\, Cork (2004)\, Seattle (2006)\,Sydney (2008) and Edinburgh (2010).</p>\n<p>IJCAR 2012 is held as part of the&nbsp\;<a href="http://www.mathcomp.leeds.ac.uk/turing2012/">Alan Turing Year 2012</a>\, just after&nbsp\;<a href="http://turing100.cs.manchester.ac.uk/">The Alan Turing Centenary Conference</a>&nbsp\;in Manchester.</p>\n<p><strong>Scope</strong>: IJCAR 2012 invites submissions related to all aspects of automated reasoning\, including foundations\, implementations\, and applications. Original research papers and descriptions of working automated deduction systems are solicited.</p>\n<p><strong>Logics</strong>&nbsp\;of interest include: propositional\, first-order\, classical\, equational\, higher-order\, non-classical\, constructive\, modal\, temporal\, many-valued\, substructural\, description\, metalogics\, type theory\, and set theory.</p>\n<p><strong>Methods</strong>&nbsp\;of interest include: tableaux\, sequent calculi\, resolution\, model-elimination\, connection method\, inverse method\, paramodulation\, term rewriting\, induction\, unification\, constraint solving\, decision procedures\, model generation\, model checking\, semantic guidance\, interactive theorem proving\, logical frameworks\, AI-related methods for deductive systems\, proof presentation\, efficient datastructures and indexing\, integration of computeralgebra systems and automated theorem provers\, and combination of logics or decision procedures.</p>\n<p><strong>Applications</strong>&nbsp\;of interest include: verification\, formal methods\, program analysis and synthesis\, computer mathematics\, declarative programming\, deductive databases\, knowledge representation\, natural language processing\, linguistics\, robotics\, and planning.</p>\n<p><strong>Submission</strong>: Submission is electronic through&nbsp\;<a href="https://www.easychair.org/?conf=ijcar2012">easychair</a>. Authors are strongly encouraged to use LaTeX and the&nbsp\;<a href="http://www.springer.de/comp/lncs/authors.html">Springer llncs class</a>. &nbsp\;The&nbsp\;<strong>page limit</strong>&nbsp\;is 15 pages for full papers and 7 pages for system descriptions. &nbsp\;All papers will be evaluated according to originality\, significance\, technical quality\, and readability. Submitted papers must be original and not submitted for publication elsewhere. The proceedings of IJCAR 2012 will be published by<a href="http://www.springer.com/">Springer-Verlag</a>&nbsp\;in the&nbsp\;<a href="http://www.springer.com/computer/lncs">LNAI/LNCS</a>&nbsp\;series.</p>\n<p><strong>Student Travel Awards</strong>: Travel awards will be available to enable selected students to attend the conference. Details will be available in early 2012.</p>\n</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR