VSL at a Glance

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.