9^th–24^th July 2014
Vienna Summer of Logic

Logic in Computer Science / FLoC:

CAV
CSF
CSL-LICS
ICLP
IJCAR
ITP
RTA-TLCA
SAT
Workshops
Olympic Games
SAT/SMT School

Mathematical Logic:

LC
LATD
GeTFun 2.0
INFINITY
LG
NCPROOFS
KG Fellowship Competition

Logic in Artificial Intelligence:

KR
DL
NMR
KR4HC

Logic in Austria:

Funded PhD Positions
Public Events

Menu

Skip to content

Home
Blog
At a Glance
Program
- Calendars
Speakers
Public Events
Local Information
Brochure
Registration
Partners and Sponsors
Organization
- Honorary Committee
Media Relations
Contact

[Video] VSL Opening: Dana Scott & VSL Keynote: Christos Papadimitriou

The recording of the VSL Opening Talk & first VSL Keynote Talk is now online.

This entry was posted in News, VSL Blog on July 15, 2014 by admin.

Post navigation

← Welcoming Comments at the VSL Opening Reception Ackermann Award Ceremony →

Disclaimer · Offenlegung · Login · Powered by WordPress