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 \n For more informati
on, see\n http://utd.edu/~
gupta/summer_school.html\n

\n
URL:/NewsandEvents/Archives/2014/newsitem/5785/17-
18-July-2014-2014-Summer-School-on-Computational-L
ogic-Vienna-Austria
END:VEVENT
END:VCALENDAR