BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2016/newsitem/7340/3-4 -June-2016-Workshop-on-Proofs-Justifications-and-C ertificates-Toulouse-France DTSTAMP:20160430T000000 SUMMARY:Workshop on Proofs, Justifications and Cer tificates, Toulouse, France DTSTART;VALUE=DATE:20160603 DTEND;VALUE=DATE:20160604 LOCATION:Toulouse, France DESCRIPTION:The workshop aims to bring together re searchers working in (1) Provability Logic, (2) Re alizability, (3) Proof certificates and (4) Justif ication Logic. The aim is to foster collaboration and share ideas between the four fields, and all p resentations will be accessible to researchers and students working in any of them. There will be one session devoted to each field, each with two i nvited speakers. In order to generate a constructi ve exchange, aside from one hour of speaking time, each presentation will include an additional half hour devoted to questions and discussion. The w orkshop is open to all and no registration is need ed. For more information, see the workshop webpage at http://www.cimi.univ-toulouse.fr/cippmi/en/wor kshop-ii-3-4th-june or direct inquiries to David F ernández Duque at david.fernandez at irit.fr. X-ALT-DESC;FMTTYPE=text/html:\n
The worksh op aims to bring together researchers working in\n (1) Provability Logic, (2) Realizability, (3 ) Proof certificates\n and (4) Justification Logic. The aim is to foster collaboration\n a nd share ideas between the four fields, and all pr esentations\n will be accessible to researche rs and students working in any of\n them.\n
\nThere will be one session devot ed to each field, each with\n two invited spe akers. In order to generate a constructive\n exchange, aside from one hour of speaking time, ea ch\n presentation will include an additional half hour devoted to\n questions and discussi on.\n
\n \nThe workshop is op en to all and no registration is needed. For more information, see the workshop webpage at\n http://w ww.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4 th-june or direct inquiries to David Fern&aacu te;ndez Duque at david.fernandez at irit.fr.\n
URL:/NewsandEvents/Archives/2016/newsitem/7340/3-4 -June-2016-Workshop-on-Proofs-Justifications-and-C ertificates-Toulouse-France END:VEVENT END:VCALENDAR