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
\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
\n\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 gupta at utd allas.edu 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
\n \nFor more informati on, see\n http://utd.edu/~ gupta/summer_school.html\n
URL:/NewsandEvents/Archives/2014/newsitem/5785/17- 18-July-2014-2014-Summer-School-on-Computational-L ogic-Vienna-Austria END:VEVENT END:VCALENDAR