We have calendar feeds for each conference / workshop.
July 2014 |
Wed, 9th |
Thu, 10th |
Fri, 11th |
Sat, 12th |
Sun, 13th |
Mon, 14th |
Tue, 15th |
Wed, 16th |
Thu, 17th |
Fri, 18th |
Sat, 19th |
Sun, 20th |
Mon, 21st |
Tue, 22nd |
Wed, 23rd |
Thu, 24th |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Mathematical Logic | INFINITY | Logic Colloquium | ||||||||||||||
| LATD | ||||||||||||||||
| LG | KG… | NCPROOFS | GeTFun 2.0 | |||||||||||||
| Logic in CS / FLoC | WS Block 1 | WS Block 2 | WS Block 3 | |||||||||||||
| ITP | CAV Tuts | CAV | ||||||||||||||
| CSL-LICS | CSF | |||||||||||||||
| SAT/SMT School | RTA-TLCA | ICLP | ||||||||||||||
| SAT | IJCAR | |||||||||||||||
| Logic in AI | DL | KR4HC | ||||||||||||||
| NMR | KR | |||||||||||||||
July 2014 |
Wed, 9th |
Thu, 10th |
Fri, 11th |
Sat, 12th |
Sun, 13th |
Mon, 14th |
Tue, 15th |
Wed, 16th |
Thu, 17th |
Fri, 18th |
Sat, 19th |
Sun, 20th |
Mon, 21st |
Tue, 22nd |
Wed, 23rd |
Thu, 24th |
| 08:45–10:15 | VSL Opening & VSL Keynote Talk |
FLoC Plenary Talk | VSL Keynote Talk | FLoC Panel | FLoC Panel | FLoC Plenary Talk | VSL Keynote Talk | VSL Keynote Talk | ||||||||
| 10:15–10:45 | Coffee Break | |||||||||||||||
| 10:45–13:00 | ||||||||||||||||
| 13:00–14:30 | Lunch Break | |||||||||||||||
| 14:30–16:00 | ||||||||||||||||
| 16:00–16:30 | Coffee Break | |||||||||||||||
| 16:30–18:00 | Award Ceremonies: KG Fellows & Olympic Games | Award Ceremonies & Olympic Games | ||||||||||||||
| 18:00–19:00 | SIGLOG Meeting | SIGLOG Meeting | ||||||||||||||
| 18:30 Exhibition Opening… |
18:30 KR Reception (Schönbrunn) |
|||||||||||||||
| 19:00– | 20:00 VSL Opening Reception 1 (Rathaus) |
1st Public Lecture (Kuppelsaal) |
VSL Banquet 1 (Schönbrunn) |
DL+NMR Reception | DL+NMR Banquet | VSL Reception 2 (Univ. of Vienna) |
VSL Banquet 2 (Schönbrunn) | 2nd Public Lecture (Kuppelsaal) |
19:30 KR Banquet (Natural History Museum) |
|||||||
| 21:00 VSL Student Reception 1 (Transporter) |
22:00 VSL Student Reception 2 (Säulenhalle / Volksgarten) |
|||||||||||||||
July 2014 |
Wed, 9th |
Thu, 10th |
Fri, 11th |
Sat, 12th |
Sun, 13th |
Mon, 14th |
Tue, 15th |
Wed, 16th |
Thu, 17th |
Fri, 18th |
Sat, 19th |
Sun, 20th |
Mon, 21st |
Tue, 22nd |
Wed, 23rd |
Thu, 24th |
1 VSL Opening Reception: food and drinks will be served
online program · calendar feeds
Registration and Help Desk
Please register before your conference/workshop begins.
The registration desk is located in the Freihaus Building (FH), on the first floor, in front of Hörsaal 1 (Area C, Red).
Opening hours: 8:00–18:00 daily, 8:00–19:00 on July 13
Registration opens on July 12, 2014. All VSL participants except those who registered for the workshops starting on July 12 can register a day before their conference / workshop starts. You will receive your badge and all conference materials at the registration desk. The registration desk also serves as a help desk.
Cultural Program
Special events during the conference include specially themed tours of the city and the Secession Building, the exhibition “Kurt Gödel and the Origins of Logic in Vienna”, the Logic Lounge, and reduced entrance rates at the Museum of Fine Arts Vienna.
In addition, we have prepared a selection of sights, festivals and other events that take place at the same time or around the Vienna Summer of Logic.