BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
PRODID:adamgibbons/ics
METHOD:PUBLISH
X-PUBLISHED-TTL:PT1H
BEGIN:VEVENT
UID:NAQB5PlHhHRQoXyaa-AHO
SUMMARY:Conference on Techniques from Logic in Mathematics
DTSTAMP:20260401T014400Z
DTSTART;VALUE=DATE:20231206
DTEND;VALUE=DATE:20231207
DESCRIPTION:   DESCRIPTION\n\n    CTLM 2023 is aimed to enhance the engagem
	ent between\n    domestic researchers/students and external researchers\n 
	   working in connections between logic and other areas of\n    mathematic
	s.\n\n--------------------------------------------------------------------
	--\n\n    REGISTRATION\n\n    Given the limited seating capacity of the le
	cture room\, we\n    kindly request you to register beforehand using the g
	oogle\n    form from the conference website. There is no registration\n   
	 fee!\n\n    If you wish to give a contributed talk\, you can also submit\
	n    your presentation proposal (the title and abstract for your\n    talk
	) via the same google form. The deadline for submission\n    is 7/Nov/2023
	.\n\n    Due to the limited schedule\, there might be a selection of\n    
	presentation proposals by the scientific committee. The\n    result will b
	e announced by 23/Nov/2023.\n\n-------------------------------------------
	---------------------------\n\n    INVITED SPEAKERS\n\n    Julia Wolf (Uni
	versity of Cambridge\, UK)\n    Ulrich Kohlenbach (TU Darmstadt\, Germany)
	\n\n----------------------------------------------------------------------
	\n\n    SCIENTIFIC COMMITTEE\n\n    Stefan Hetzl (TU Wien\, Austria)\n    
	Michael Pinsker (TU Wien\, Austria)\n    Mihai Prunescu (IMAR\, Romania)
URL:https://sites.google.com/view/techniquesfromlogic/home
LOCATION:TU Wien\, Vienna\, Austria
END:VEVENT
END:VCALENDAR
