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

FLoC Accepted Workshops

FLoC 2014 will host over 70 workshops, each affiliated with at least one of the eight FLoC conferences.

This entry was posted in News on December 19, 2013 by admin.

Post navigation

← Registration information VSL Official Carrier →

FLoC Poster

FLoC Poster

FLoC Poster

KR Poster

Disclaimer · Offenlegung · Login · Powered by WordPress