ICLP ON FRIDAY, JULY 18TH, 2014
Days:
previous day
next day
all days
View: session overviewtalk overviewside by side with other conferences
08:45-10:15 Session 86C: Summer School on Computational Logic: Probabilistic Logic Programming I
Location: Seminarraum 1/3 OPG
08:45 | Summer School Opening SPEAKER: Gopal Gupta |
08:50 | Probabilistic Logic Programming I SPEAKER: C.R. Ramakrishnan |
09:00-18:00 Session 87D: FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (joint with 9 other meetings)
Location: EI, Foyer
09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
10:15-10:45Coffee Break
10:45-13:00 Session 90AE: Summer school on Computational Logic: Probabilistic Logic Programming II
Location: Seminarraum 1/3 OPG
10:45 | Probabilistic Logic Programming II SPEAKER: C.R. Ramakrishnan |
13:00-14:30Lunch Break
14:30-16:00 Session 96AE: Summer School on Computational Logic: Answer Set Programming I
Location: Seminarraum 1/3 OPG
14:30 | Answer Set Programming I SPEAKER: Martin Gebser |
16:00-16:30Coffee Break
16:30-18:35 Session 99AD: Summer School on Computational Logic: Answer Set Programming II
Location: Seminarraum 1/3 OPG
16:30 | Answer Set Programming II SPEAKER: Martin Gebser |
18:30 | Summer School Closing SPEAKER: Gopal Gupta |