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
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
\nThe 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
\n*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
\nAt 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 " Logical Mind: Connecting Foundations and\n Te chnology."\n
\n\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
\n\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
\n \nFor more informati on: ht tp://vsl2014.at\n
URL:/NewsandEvents/Archives/2014/newsitem/5519/9-2 4-July-2014-Vienna-Summer-of-Logic-Vienna-Austria END:VEVENT END:VCALENDAR