Conference 

Main conference presentations (invited talks, track A, track B, track C) take place in up to three parallel sessions, from Tuesday July 8 to Friday July 11. These are preceded by workshops on Monday July 7. A welcome reception is held on Monday evening. On Wednesday afternoon, there is a canal tour, followed by the conference dinner, which includes the presentation of the 2014 Gödel Prize.

See program for details.