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"