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/2022/newsitem/13490/28
 ---29-April-2022-Conference-on-Algorithmic-Law-Des
 ign-and-Implementation-Barcelona-Spain
DTSTAMP:20220319T195340
SUMMARY:Conference on Algorithmic Law Design and I
 mplementation, Barcelona, Spain
DTSTART;TZID=Europe/Amsterdam:20220428T100000
DTEND;TZID=Europe/Amsterdam:20220429T180000
LOCATION:Barcelona, Spain
DESCRIPTION:From April 28 — April 29, 2022, we wil
 l hold the in-situ Conference on Algorithmic Law D
 esign and Implementation in Barcelona.  This is a 
 highly interdisciplinary event with speakers and a
 ttendees among different communities like logician
 s, computer scientists, practicing lawyers, public
  administrators, industrial professionals, and leg
 al scholars.  An important logical aspect of the c
 onference is how formal verification techniques (b
 oth proof assistants and model checking) can be se
 t to work to prevent errors in critical legal soft
 ware and to warrant legal principles as fairness, 
 accountability and transparency. Various related t
 echnical, juridical, philosophical, and practical 
 aspects will be discussed during the conference.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>From April 28 
 — April 29, 2022, we will hold the in-situ Confere
 nce on Algorithmic Law Design and Implementation i
 n Barcelona.<br>\n  This is a highly interdiscipli
 nary event with speakers and attendees among diffe
 rent communities like logicians, computer scientis
 ts, practicing lawyers, public administrators, ind
 ustrial professionals, and legal scholars.</p>\n\n
   <p>An important logical aspect of the conference
  is how formal verification techniques (both proof
  assistants and model checking) can be set to work
  to prevent errors in critical legal software and 
 to warrant legal principles as fairness, accountab
 ility and transparency. Various related technical,
  juridical, philosophical, and practical aspects w
 ill be discussed during the conference.</p>\n
URL:https://www.ub.edu/prooftheory/event/lawdesign
 /
END:VEVENT
END:VCALENDAR