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/14600/8-
 January-2024-Workshop-on-Directions-and-Perspectiv
 es-in-the-Lambda-Calculus-Bologna-Italy
DTSTAMP:20231113T015209
SUMMARY:Workshop on Directions and Perspectives in
  the  Lambda-Calculus, Bologna, Italy
DTSTART;VALUE=DATE:20240108
DTEND;VALUE=DATE:20240108
LOCATION:Bologna, Italy
DESCRIPTION:The concept of computation is interest
 ing in philosophy, mathematics, and of course comp
 uter science. The λ-calculus is certainly one of t
 he main tools for studying this concept: after alm
 ost 100 years, why are we still working on this fo
 rmalism (or related subjects)? And where are we go
 ing? What are the scientific or philosophical chal
 lenges that λ-calculus has proposed? What are the 
 ones that it may propose in the future?  The aim o
 f the workshop is to gather mostly young (possibly
  non permanent) researchers together in order to a
 ddress the above mentioned questions. The style wi
 ll not necessarily be of a technical nature, but r
 ather of overview and conceptual one.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The concept of
  computation is interesting in philosophy, mathema
 tics, and of course computer science. The λ-calcul
 us is certainly one of the main tools for studying
  this concept: after almost 100 years, why are we 
 still working on this formalism (or related subjec
 ts)? And where are we going? What are the scientif
 ic or philosophical challenges that λ-calculus has
  proposed? What are the ones that it may propose i
 n the future?</p>\n  <p>The aim of the workshop is
  to gather mostly young (possibly non permanent) r
 esearchers together in order to address the above 
 mentioned questions. The style will not necessaril
 y be of a technical nature, but rather of overview
  and conceptual one.</p>\n
URL:https://site.unibo.it/diapason/en/agenda/direc
 tions-and-perspectives-in-the-lambda-calculus
CONTACT:davide.barbarossa at unibo.it
CONTACT:gabriele.vanoni at irif.fr
END:VEVENT
END:VCALENDAR