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

\n There 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 \n The 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