BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:5081-4554@fg-dedsys.gi.de
CLASS: PUBLIC
SUMMARY:Workshop on Practical Aspects of Automated Reasoning
DESCRIPTION:PAAR provides a forum for developers of automated reasoning too
 ls to discuss and compare different implementation techniques, and for user
 s to discuss and communicate their applications and requirements. The works
 hop will bring together different groups to concentrate on practical aspect
 s of the implementation and application of automated reasoning tools. It wi
 ll allow researchers to present their work in progress, and to discuss new 
 implementation techniques and applications.\n\nFurther information availabl
 e at https://paar2022.github.io/
LOCATION:Technion - Israel Institute of Technology
DTSTAMP:20220618T214017Z
DTSTART:20220811T070000Z
DTEND:20220812T150000Z
END:VEVENT
END:VCALENDAR