BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/578
5/17-18-July-2014-2014-Summer-School-on-Computatio
nal-Logic-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/Events/Conferences/newsitem/578
5/17-18-July-2014-2014-Summer-School-on-Computatio
nal-Logic-Vienna-Austria
END:VEVENT
END:VCALENDAR