BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5519/9-2
 4-July-2014-Vienna-Summer-of-Logic-Vienna-Austria
DTSTAMP:20140330T000000
SUMMARY:Vienna Summer of Logic, Vienna, Austria
DTSTART;VALUE=DATE:20140709
DTEND;VALUE=DATE:20140724
LOCATION:Vienna, Austria
DESCRIPTION:In the summer of 2014, Vienna will hos
 t the largest event in the history of logic. The V
 ienna Summer of Logic (VSL) will consist of twelve
  large conferences and numerous workshops, attract
 ing an expected number of 2500 researchers from al
 l over the world.   The conferences and workshops 
 will deal with the main theme, logic, from three i
 mportant aspects: logic in computer science, mathe
 matical logic and logic in artificial intelligence
 . This unique event will be organized by the Kurt 
 Goedel Society at Vienna University of Technology 
 from July 9 to 24, 2014   *Keynote Speakers* The V
 SL keynote speakers are Franz Baader (Technische U
 niversitaet Dresden), Edmund Clarke (Carnegie Mell
 on University), Christos Papadimitriou (University
  of California, Berkeley) and Alex Wilkie (Univers
 ity of Manchester). Dana Scott (Carnegie Mellon Un
 iversity) will speak in the opening session.   At 
 the Vienna Summer of Logic, the Kurt Goedel Societ
 y will award three fellowship prizes endowed with 
 100.000 Euro each to the winners of the Kurt Goede
 l Research Prize Fellowship Competition "Logical M
 ind: Connecting Foundations and Technology."    Th
 e Federated Logic Conference (FLoC) 2014 will host
  the 1st FLoC Olympic Games. Intended as a new FLo
 C tradition, the Games will bring together a multi
 tude of established solver competitions by differe
 nt research communities. In addition to the compet
 itions, the Olympic Games will facilitate the exch
 ange of expertise between communities, and increas
 e the visibility and impact of state-of-the-art so
 lver technology. The winners in the competition ca
 tegories will be awarded Kurt Goedel medals at the
  FLoC Olympic Games award ceremonies.    To ensure
  that all the scientific and social meetings takin
 g place in the course of the VSL can be conducted 
 successfully, the organizers of the VSL are sollic
 iting volunteers, to help with tasks such as the r
 egistration of the participants at the conference 
 or assisting with the use of the technical infrast
 ructure at the conference site. Volunteers may att
 end all the VSL conferences for free.   For more i
 nformation: http://vsl2014.at
X-ALT-DESC;FMTTYPE=text/html:\n      <p>In the sum
 mer of 2014, Vienna will host the largest event in
 \n      the history of logic. The Vienna Summer of
  Logic (VSL) will\n      consist of twelve large c
 onferences and numerous workshops,\n      attracti
 ng an expected number of 2500 researchers from all
  over\n      the world.\n      </p>\n      <p>The 
 conferences and workshops will deal with the main 
 theme,\n      logic, from three important aspects:
  logic in computer science,\n      mathematical lo
 gic and logic in artificial intelligence.\n       
 This unique event will be organized by the Kurt Go
 edel Society at Vienna\n        University of Tech
 nology from July 9 to 24, 2014\n      </p>\n      
 <p>*Keynote Speakers* The VSL keynote speakers are
  Franz Baader\n      (Technische Universitaet Dres
 den), Edmund Clarke (Carnegie\n      Mellon Univer
 sity), Christos Papadimitriou (University of\n    
   California, Berkeley) and Alex Wilkie (Universit
 y of\n      Manchester).  Dana Scott (Carnegie Mel
 lon University) will speak\n      in the opening s
 ession.\n      </p>\n      <p>At the Vienna Summer
  of Logic, the Kurt Goedel Society will\n      awa
 rd three fellowship prizes endowed with 100.000 Eu
 ro each to\n      the winners of the Kurt Goedel R
 esearch Prize Fellowship\n      Competition &quot;
 Logical Mind: Connecting Foundations and\n      Te
 chnology.&quot;\n      </p>\n      <p>\n        Th
 e Federated Logic Conference (FLoC) 2014 will host
  the 1st\n        FLoC Olympic Games.  Intended as
  a new FLoC tradition, the\n        Games will bri
 ng together a multitude of established solver\n   
      competitions by different research communitie
 s.  In addition\n        to the competitions, the 
 Olympic Games will facilitate the\n        exchang
 e of expertise between communities, and increase t
 he\n        visibility and impact of state-of-the-
 art solver\n        technology. The winners in the
  competition categories will be\n        awarded K
 urt Goedel medals at the FLoC Olympic Games award\
 n        ceremonies.\n      </p>\n      <p>\n     
    To ensure that all the scientific and social me
 etings taking\n        place in the course of the 
 VSL can be conducted successfully,\n        the or
 ganizers of the VSL are solliciting volunteers, to
  help\n        with tasks such as the registration
  of the participants at the\n        conference or
  assisting with the use of the technical\n        
 infrastructure at the conference site. Volunteers 
 may attend\n        all the VSL conferences for fr
 ee.\n      </p>\n    \n      <p>For more informati
 on: <a target="_blank" href="http://vsl2014.at">ht
 tp://vsl2014.at</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5519/9-2
 4-July-2014-Vienna-Summer-of-Logic-Vienna-Austria
END:VEVENT
END:VCALENDAR