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/5785/17-
 18-July-2014-2014-Summer-School-on-Computational-L
 ogic-Vienna-Austria
DTSTAMP:20140525T000000
SUMMARY:2014 Summer School on Computational Logic,
  Vienna, Austria
DTSTART;VALUE=DATE:20140717
DTEND;VALUE=DATE:20140718
LOCATION:Vienna, Austria
DESCRIPTION:Students interested in research in com
 putational logic are invited to attend the 2014 Su
 mmer School on Computational Logic. The 2-day summ
 er school is suited for those who wish to learn ad
 vanced topics in computational logic and logic pro
 gramming. The summer school will consist of four h
 alf-day tutorials on the following topics: Probabi
 listic Logic Programming (C.R. Ramakrishnan), Answ
 er Set Programming (Martin Gebser), Horn Clauses a
 nd Verification (Andrey Rybalchenko), and Constrai
 nt Logic Programming (Roman Bartak).    A number o
 f scholarships for students that cover local expen
 ses for the duration of the summer school are avai
 lable. To apply, send a short vita along with a le
 tter of recommendation for the faculty advisor to 
 Prof. Gopal Gupta at gupta at utdallas.edu by May 
 31st. The letter should also certify that the appl
 icant is a full-time student. Significant travel s
 upport is also available through the FLoC organiza
 tion.   For more information, see http://utd.edu/~
 gupta/summer_school.html
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 Students interested in research in computational l
 ogic are\n        invited to attend the 2014 Summe
 r School on Computational\n        Logic. The 2-da
 y summer school is suited for those who wish to\n 
        learn advanced topics in computational logi
 c and logic\n        programming.  The summer scho
 ol will consist of four half-day\n        tutorial
 s on the following topics: Probabilistic Logic\n  
       Programming (C.R. Ramakrishnan), Answer Set 
 Programming\n        (Martin Gebser), Horn Clauses
  and Verification (Andrey\n        Rybalchenko), a
 nd Constraint Logic Programming (Roman Bartak).\n 
      </p>\n      <p>\n        A number of scholars
 hips for students that cover local\n        expens
 es for the duration of the summer school are\n    
     available. To apply, send a short vita along w
 ith a letter of\n        recommendation for the fa
 culty advisor to Prof. Gopal Gupta at\n        <a 
 class="email">gupta <span class="at">at</span> utd
 allas.edu</a> by May 31st. The letter\n        sho
 uld also certify that the applicant is a full-time
  student.\n        Significant travel support is a
 lso available through the FLoC\n        organizati
 on.\n      </p>\n    \n      <p>For more informati
 on, see\n        <a target="_blank" href="http://u
 td.edu/~gupta/summer_school.html">http://utd.edu/~
 gupta/summer_school.html</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5785/17-
 18-July-2014-2014-Summer-School-on-Computational-L
 ogic-Vienna-Austria
END:VEVENT
END:VCALENDAR