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

Brochure

VSL Brochure

Day by Day Program

Photo Brochure – NEW

Disclaimer · Offenlegung · Login · Powered by WordPress