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/2025/newsitem/15559/7-
 --11-July-2025-Logic-Colloquium-2025-Vienna-Austri
 a
DTSTAMP:20250403T152617
SUMMARY:Logic Colloquium 2025, Vienna, Austria
DTSTART;VALUE=DATE:20250707
DTEND;VALUE=DATE:20250711
LOCATION:Vienna, Austria
DESCRIPTION:The Logic Colloquium is the European S
 ummer Meeting of the Association for Symbolic Logi
 c, an annual gathering to present current research
  in all aspects of logic. The meeting will be held
  at Technische Universität (TU) Wien in Vienna, Au
 stria from July 7 to 11, 2025.  Program outline:  
 - The 2025 Gödel Lecture, delived by Joan Bagaria 
 (ICREA)  - Talks by Plenary speakers: B. Afshari (
 Gothenburg), U. Buchholtz (Nottingham), T. Colcomb
 et (Paris IRIF), S. Gandon (Clermont-Ferrand), P. 
 Lutz (UC Berkeley), M. Malliaris (Chicago), S. She
 lah (Hebrew U), B. Siskind (TU Wien) and S. Smets 
 (Amsterdam).  - Tutorials by H. Towsner (UPenn) an
 d D. Sinapova (Rutgers).  - Special sessions on Pr
 oof Theory, Model Theory, Set Theory, Computabilit
 y Theory, Logic in Computer Science, Logic and Lei
 bniz, and Condensed Mathematics  The programme com
 mittee invites proposals for contributed talks. Th
 ese can be on published or unpublished work, as we
 ll as work in progress. Contributed abstracts shou
 ld be submitted to Shannon Miller at asl at uconn.
 edu by the deadline of April 15, 2025. Abstracts f
 or contributed talks should conform to the Rules f
 or Abstracts of the ASL and must be prepared using
  ASL template and class.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Logic
  Colloquium is the European Summer Meeting of the 
 Association for Symbolic Logic, an annual gatherin
 g to present current research in all aspects of lo
 gic. The meeting will be held at Technische Univer
 sität (TU) Wien in Vienna, Austria from July 7 to 
 11, 2025.</p>\n  <p>Program outline:<br>\n  - The 
 2025 Gödel Lecture, delived by Joan Bagaria (ICREA
 )<br>\n  - Talks by Plenary speakers: B. Afshari (
 Gothenburg), U. Buchholtz (Nottingham), T. Colcomb
 et (Paris IRIF), S. Gandon (Clermont-Ferrand), P. 
 Lutz (UC Berkeley), M. Malliaris (Chicago), S. She
 lah (Hebrew U), B. Siskind (TU Wien) and S. Smets 
 (Amsterdam).<br>\n  - Tutorials by H. Towsner (UPe
 nn) and D. Sinapova (Rutgers).<br>\n  - Special se
 ssions on Proof Theory, Model Theory, Set Theory, 
 Computability Theory, Logic in Computer Science, L
 ogic and Leibniz, and Condensed Mathematics</p>\n<
 /div><div>\n  <p>The programme committee invites p
 roposals for contributed talks. These can be on pu
 blished or unpublished work, as well as work in pr
 ogress. Contributed abstracts should be submitted 
 to Shannon Miller at <a href="#">asl&nbsp;at&nbsp;
 uconn.edu</a> by the deadline of April 15, 2025. A
 bstracts for contributed talks should conform to t
 he <a href="https://aslonline.org/rules-for-abstra
 cts/">Rules for Abstracts of the ASL</a>&nbsp;and 
 must be prepared using ASL template and class.</p>
 \n</div>
URL:https://www.colloquium.co/lc2025
CONTACT:lc25 at dmg.tuwien.ac.at
END:VEVENT
END:VCALENDAR