9th–24th 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
    • Travel to Vienna
    • Travel in Vienna
    • Meeting Locations
    • Food and Drinks
    • Cultural Program
    • Tourism
    • Techy Stuff
    • Useful Information
  • Brochure
  • Registration
  • Partners and Sponsors
  • Organization
    • Honorary Committee
  • Media Relations
  • Contact

Disclaimer · Offenlegung · Login · Powered by WordPress