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/2019/newsitem/10717/21
 ---27-July-2019-Hilbert-Bernays-Summer-School-on-L
 ogic-and-Computation-Tuebingen-Germany
DTSTAMP:20190324T232727
SUMMARY:Hilbert-Bernays Summer School on Logic and
  Computation, Tuebingen, Germany
DTSTART;VALUE=DATE:20190721
DTEND;VALUE=DATE:20190727
LOCATION:Tuebingen, Germany
DESCRIPTION:The University of Tübingen hosts a sum
 mer school about the topic "Logic and Computation"
 . The summer school is addressed at students of th
 e subjects mathematics, philosophy and computer sc
 ience, preferably undergraduate students in their 
 final year and graduate students.  Encouraged by p
 revious years of success, we offer students from a
 ll over the world the possibility to sign up this 
 1-week (3 ECTS) Summer School course covering topi
 cs such as:   - From the Foundational Crisis of Ma
 thematics to Explicit Mathematics.   - From Hilber
 t to Gentzen and beyond.   - Automatic Reasoning i
 n the Automobile Industry.  - Foundations of Machi
 ne Learning and AI.  Students may anticipate a hig
 h professional outcome in a dedicated internationa
 l environment along with extra-curricular activiti
 es.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The University
  of Tübingen hosts a summer school about the topic
  &quot;Logic and Computation&quot;. The summer sch
 ool is addressed at students of the subjects mathe
 matics, philosophy and computer science, preferabl
 y undergraduate students in their final year and g
 raduate students.</p>\n\n  <p>Encouraged by previo
 us years of success, we offer students from all ov
 er the world the possibility to sign up this 1-wee
 k (3 ECTS) Summer School course covering topics su
 ch as:<br>\n  &nbsp;- From the Foundational Crisis
  of Mathematics to Explicit Mathematics.<br>\n  &n
 bsp;- From Hilbert to Gentzen and beyond.<br>\n  &
 nbsp;- Automatic Reasoning in the Automobile Indus
 try.<br>\n  - Foundations of Machine Learning and 
 AI.<br>\n  Students may anticipate a high professi
 onal outcome in a dedicated international environm
 ent along with extra-curricular activities.</p>\n
URL:http://www.uni-tuebingen.de/en/145770
CONTACT:hilbertbernays2019 at uni-tuebingen.de
END:VEVENT
END:VCALENDAR