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/2017/newsitem/8555/12-
 --15-June-2017-33rd-Conference-on-the-Mathematical
 -Foundations-of-Programming-Semantics-MFPS-XXXIII-
 Ljubljana-Slovenia
DTSTAMP:20170116T135644
SUMMARY:33rd Conference on the Mathematical Founda
 tions of Programming Semantics (MFPS XXXIII), Ljub
 ljana, Slovenia
DTSTART;VALUE=DATE:20170612
DTEND;VALUE=DATE:20170615
LOCATION:Ljubljana, Slovenia
DESCRIPTION:MFPS conferences are dedicated to the 
 areas of mathematics, logic, and computer science 
 that are related to models of computation in gener
 al, and to semantics of programming languages in p
 articular. This is a forum where researchers in ma
 thematics and computer science can meet and exchan
 ge ideas. The participation of researchers in neig
 hbouring areas is strongly encouraged.  Topics inc
 lude, but are not limited to, the following: bio-c
 omputation; concurrent qualitative and quantitativ
 e distributed systems; process calculi; probabilis
 tic systems; constructive mathematics; domain theo
 ry and categorical models; formal languages; forma
 l methods; game semantics; lambda calculus; progra
 mming-language theory; quantum computation; securi
 ty; topological models; logic; type systems; type 
 theory. We also welcome contributions that address
  applications of semantics to novel areas such as 
 complex systems, markets, and networks, for exampl
 e.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>MFPS conf
 erences are dedicated to the areas of mathematics,
  logic, and computer science that are related to m
 odels of computation in general, and to semantics 
 of programming languages in particular. This is a 
 forum where researchers in mathematics and compute
 r science can meet and exchange ideas. The partici
 pation of researchers in neighbouring areas is str
 ongly encouraged.</p>\n</div><div>\n  <p>Topics in
 clude, but are not limited to, the following: bio-
 computation; concurrent qualitative and quantitati
 ve distributed systems; process calculi; probabili
 stic systems; constructive mathematics; domain the
 ory and categorical models; formal languages; form
 al methods; game semantics; lambda calculus; progr
 amming-language theory; quantum computation; secur
 ity; topological models; logic; type systems; type
  theory. We also welcome contributions that addres
 s applications of semantics to novel areas such as
  complex systems, markets, and networks, for examp
 le.</p>\n</div>
URL:http://coalg.org/mfps-calco2017
END:VEVENT
END:VCALENDAR