BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1933-3266@fg-afs.gi.de
CLASS: PUBLIC
SUMMARY:2nd International Conference on Formal Structures for Computation a
 nd Deduction
DESCRIPTION:We are delighted to announce 11 workshops for FSCD 2017.\n\n 	T
 rends in Linear Logic and Applications (September 3) 	31st International Wo
 rkshop on Unification (September 3) 	Trends in Mechanised Security Proofs, 
 COST Action CA15123 EUTypes Workshop (September 3) 	* Third Workshop on Hig
 her-Dimensional Rewriting and Applications (September 8-9) 	Third Workshop 
 on Homotopy Type Theory and Univalent Foundations (September 8-9) 	* First 
 Workshop on String Diagrams in Computation, Logic, and Physics (September 8
 -9) 	Fourth Meeting on Structures and Deduction (September 8-9) 	Sixth Inte
 rnational Workshop on Confluence (September 8) 	International Workshop on L
 ogical Frameworks and Meta-Languages - Theory and Practice (September 8) 	F
 ourth International Workshop on Rewriting Techniques for Program Transforma
 tion and Evaluation (September 8) 	IFIP Working Group 1.6: Rewriting (Septe
 mber 9) \n\n* These workshops will be co-located.
LOCATION:University of Oxford
DTSTAMP:20181223T152535Z
DTSTART:20170903T070000Z
DTEND:20170909T200000Z
END:VEVENT
END:VCALENDAR