BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260628T121218Z
DTSTART;TZID=Europe/London:20120626T100000
DTEND;TZID=Europe/London:20120701T180000
SUMMARY:6th International Joint Conference on Automated Reasoning (IJCAR 2012)
UID:20260630T090007Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
LOCATION:Manchester\, United Kingdom
DESCRIPTION:<p>IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical&nbsp\;program will consist of presentations of high-quality original research papers\, system descriptions\, and invited&nbsp\;talks.</p>\n\n<p>IJCAR is part of the&nbsp\;<a href="http://www.mathcomp.leeds.ac.uk/turing2012/">Alan Turing Year 2012</a>\, and collocated with&nbsp\;<a href="http://www.turing100.manchester.ac.uk/">The Alan Turing Centenary Conference</a>.</p>\n\n<p>For enquiries\, please contact the Programme Chairs at&nbsp\;<a href="mailto:ijcar2012@easychair.org">ijcar2012@easychair.org</a>.</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR