EMCL Student Workshop 2010

A printable version of the schedule (with abstracts) is available here.

Preliminary Schedule
	Thursday, 11/02	Friday, 12/02	Saturday, 12/02
9:00 - 10:30	Welcome Student talks, session 1	Student talks, session 3	Joint consortium meeting (no activities for students)
10:30 - 11:00	Coffee Break	Coffee Break
11:00 - 12:30	Student talks, session 2	"Life after EMCL" Session, PhD panel Q & A Session
12:30 - 14:00	Lunch (provided at the workshop)	Lunch (free)
14:00 - 15:00	Computer Science Logic @ Vienna	Students: social event (City walk 14:30 - 16:30) Joint consortium: meeting
15:00 - 16:00	Best thesis award & talk
16:30 - 20:00	Students: social event (Ice skating 16:30-19:00) Joint consortium: meeting
20:00 -		Social dinner

Student Talks

Session 1, Thursday 9:30 - 10:30

Simplification of Herbrand Sequents, Tsvetan Dunchev
Verification of Message Sequence Graphs, Clemens Dubslaff
Modelling Job Shop scheduling problem for symmetry breaking and SMT solvers, Oana Tifrea

Session 2, Thursday 11:00 - 12:30

A Translational Approach to Constraint Answer Set Solving, Christian Drescher
Adaptive DPLL-Fwd Calculi for Knowledge Compilation, Model Counting and Projection/Forgetting, Fareed Arif
Decomposition of Distributed Non-monotonic Multi-Context Systems, Seif El-Din Bairakdar

Session 3, Friday 9:00 - 10:30

Polynomial and efficient query rewriting framework: open issues, Evgeny Sherkhonov and Nhung Ngo
Efficient query answering on large medical ontologies, Julian Mendez
Formalization for Natural Language Fuzzy Queries and Crisp Multi-Criteria Queries, Waheed Ghumman

This schedule may still be modified in the next days!