LPNMR'09: Invited Speakers

Armin Biere (Johannes Kepler University, Austria)
"SAT, SMT and Applications" [Abstract (PDF)] [Slides (PDF)]
Alexander Bockmayr (Freie Universität Berlin, Germany)
"Logic-Based Modeling in Systems Biology" [Abstract (PDF)] [Slides (PDF)]
Ilkka Niemelä (Helsinki University of Technology, Finland)
"Integrating Answer Set Programming and Satisfiability Modulo Theories" [Abstract (PDF)] [Slides (PDF)]
Tom Schrijvers (KU Leuven, Belgium)
"Monadic Constraint Programming"
Neng-Fa Zhou (City University of New York, USA)
"What I have learned from all these solver competitions"
Gerhard Brewka (Universität Leipzig, Germany)
"Nonmonotonic Multi-Context Systems: State of the Art and Future Challenges"
Grigoris Antoniou (University of Crete, Greece)
"Reasoning about Context in Ambient Intelligence Environments"
Son Cao Tran (New Mexico State University, USA)
"On Building a Competitive Comformant Planner"

Previous page: LPNMR'09: Workshops
Next page: ASP Competition