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/2015/newsitem/5998/29-
 June---1-July-2015-12th-International-Conference-o
 n-Mathematics-of-Program-Construction-MPC-2015-Koe
 nigswinter-Germany-
DTSTAMP:20141031T000000
SUMMARY:12th International Conference on Mathemati
 cs of Program Construction (MPC 2015), Koenigswint
 er (Germany)
DTSTART;VALUE=DATE:20150629
DTEND;VALUE=DATE:20150701
LOCATION:Koenigswinter (Germany)
DESCRIPTION:The MPC conferences aim to promote the
  development of mathematical principles and techni
 ques that are demonstrably practical and effective
  in the process of constructing computer programs,
  broadly interpreted.   For more information, see 
 http://www.cs.ox.ac.uk/conferences/MPC2015/ or ema
 il jv at informatik.uni-bonn.de.   Papers are soli
 cited on mathematical methods and tools put to use
  in program construction. Topics of interest range
  from algorithmics to support for program construc
 tion in programming languages and systems. The not
 ion of "program" is broad, from algorithms to hard
 ware. Theoretical contributions are welcome, provi
 ded that their relevance to program construction i
 s clear. Reports on applications are welcome, prov
 ided that their mathematical basis is evident. Dea
 dline for submission of abstracts: 26 January 2015
 .
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The M
 PC conferences aim to promote the development of\n
       mathematical principles and techniques that 
 are demonstrably\n      practical and effective in
  the process of constructing computer\n      progr
 ams, broadly interpreted.\n      </p>\n    \n     
  \n      <p>For more information, see\n      <a ta
 rget="_blank" href="http://www.cs.ox.ac.uk/confere
 nces/MPC2015/">http://www.cs.ox.ac.uk/conferences/
 MPC2015/</a> or email\n      <a class="email">jv <
 span class="at">at</span> informatik.uni-bonn.de</
 a>.\n      </p>\n    </div><div>\n      <p>Papers 
 are solicited on mathematical methods and tools pu
 t to\n      use in program construction. Topics of
  interest range from\n      algorithmics to suppor
 t for program construction in programming\n      l
 anguages and systems. The notion of &quot;program&
 quot; is\n      broad, from algorithms to hardware
 . \n      Theoretical contributions are welcome, p
 rovided that\n      their relevance to program con
 struction is clear. Reports on\n      applications
  are welcome, provided that their mathematical bas
 is\n      is evident.\n      Deadline for submissi
 on of abstracts: 26 January 2015.\n      </p>\n   
    </div>
URL:/NewsandEvents/Archives/2015/newsitem/5998/29-
 June---1-July-2015-12th-International-Conference-o
 n-Mathematics-of-Program-Construction-MPC-2015-Koe
 nigswinter-Germany-
END:VEVENT
END:VCALENDAR