VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Amla, Nina	FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change?
B
Baader, Franz	VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems
Baaz, Matthias	Welcome Address by the Organizers
Bacchus, Fahiem	FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
Biere, Armin	FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
C
Calimeri, Francesco	FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Clarke, Edmund	VSL Keynote Talk: Verification of Computer Systems with Model Checking
Cok, David	FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
Cook, Byron	FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
Cortier, Véronique	FLoC Plenary Talk: Electronic voting: how logic can help?
D
Deharbe, David	FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
Depauli-Schimanovich, Werner	Lifetime Achievement Award
E
Eiter, Thomas	Welcome Address by the Organizers
European Masters Program In Computational Logic,	EMCL Distinguished Alumni Award
F
Floc Olympic Games,	FLoC Olympic Games Award Ceremony 2 FLoC Olympic Games Award Ceremony 1
G
Gebser, Martin	FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Giesl, Jürgen	FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
Glimm, Birte	FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
Gottlob, Georg	FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change?
K
Kupfermann, Orna	FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory
Kurt Gödel Research Prize Fellowships Program,	Foundations and Technology Competitions Award Ceremony
M
Maratea, Marco	FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Matentzoglu, Nicolas	FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
Mesnard, Frederic	FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
O
Ouaknine, Joel	FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
P
Papadimitriou, Christos	VSL Keynote Talk: Computational Ideas and the Theory of Evolution
Parsia, Bijan	FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
R
Reckling, Falk	FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change?
Ricca, Francesco	FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Roffel, Sweitze	FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change?
Rubio, Albert	FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
S
Sakallah, Karem	FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
Scott, Dana	VSL Opening
Seidler, Sabine	Welcome Address by the Rector
Sigmund, Karl	VSL Public Lecture: Gödel in Vienna
Stadler, Friedrich	VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context
Steigmiller, Andreas	FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
Sutcliffe, Geoff	FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
T
Thiemann, René	FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
Truszczynski, Mirek	FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
V
Veith, Helmut	Welcome Address by the Organizers FLoC Closing Week 1 FLoC Closing Week 2
von der Krone, Stefan	FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
Voronkov, Andrei	FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change?
W
Waldmann, Johannes	FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
Weber, Tjark	FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
Wilkie, Alex	VSL Keynote Talk: The theory and applications of o-minimal structures
Z
Zhang, Mingyi	Lifetime Achievement Award

Disclaimer | Powered by EasyChair Smart Program