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/2024/newsitem/14674/11
 ---12-April-2024-Workshop-Proofs-Rules-and-Meaning
 s-
DTSTAMP:20231226T140031
SUMMARY:Workshop "Proofs, Rules, and Meanings"
DTSTART;VALUE=DATE:20240411
DTEND;VALUE=DATE:20240412
LOCATION:St Andrews (Scotland) and online
DESCRIPTION:We invite registrations for the worksh
 op 'Proofs, Rules, and Meanings'. This interdiscip
 linary event is set to take place at the Arch&eacu
 te; Research Centre, University of St Andrews, (an
 d livestreamed via Microsoft Teams) on 11th and 12
 th April 2024. It explores the relationship betwee
 n proofs, rules, and meanings through the lens of 
 proof-theoretic semantics.  Emphasizing the interd
 isciplinary nature of the topics, this workshop wi
 ll feature presentations on:   - the contemporary 
 logical and philosophical dimensions of proof-theo
 retic semantics;   - its historical roots and prec
 ursors; and   - its fruitful applications in philo
 sophy, linguistics, computer science, mathematics,
  and beyond.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We invite regi
 strations for the workshop 'Proofs, Rules, and Mea
 nings'. This interdisciplinary event is set to tak
 e place at the Arch&amp;eacute; Research Centre, U
 niversity of St Andrews, (and livestreamed via <a 
 href="https://teams.office.com/" target="_blank" r
 el="noopener">Microsoft Teams</a>) on 11th and 12t
 h April 2024. It explores the relationship between
  proofs, rules, and meanings through the lens of p
 roof-theoretic semantics.</p>\n  <p>Emphasizing th
 e interdisciplinary nature of the topics, this wor
 kshop will feature presentations on:<br>\n  &nbsp;
 - the contemporary logical and philosophical dimen
 sions of proof-theoretic semantics;<br>\n  &nbsp;-
  its historical roots and precursors; and<br>\n  &
 nbsp;- its fruitful applications in philosophy, li
 nguistics, computer science, mathematics, and beyo
 nd.</p>\n
URL:https://www.st-andrews.ac.uk/arche/event/works
 hop-proofs-rules-and-meanings/
CONTACT:Sophie Nagler at proofs at st-andrews.ac.u
 k
END:VEVENT
END:VCALENDAR