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      <p>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  
     </p>\n      <p>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      </p>\n    \n      <p>The workshop is op
 en to all and no registration is needed. For more 
 information, see the workshop webpage at\n        
 <a target="_blank" href="http://www.cimi.univ-toul
 ouse.fr/cippmi/en/workshop-ii-3-4th-june">http://w
 ww.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4
 th-june</a> or direct inquiries to David Fern&aacu
 te;ndez Duque at <a class="email">david.fernandez 
 <span class="at">at</span> irit.fr</a>.\n      </p
 >\n    
URL:/NewsandEvents/Archives/2016/newsitem/7340/3-4
 -June-2016-Workshop-on-Proofs-Justifications-and-C
 ertificates-Toulouse-France
END:VEVENT
END:VCALENDAR