LaSh 2010: July 15

3rd International Workshop on Logic and Search

associated with ICLP and SAT

Overview

The goal of the LaSh workshops is to bring together researchers from all relevant areas to foster the exchange and development of ideas in both theory and practice of logic-based methods for combinatorial problem solving. LaSh is an occasion to discuss specific technical problems, formulate challenges and opportunities, compare and contrast techniques of different groups, and examine possible synergies and integrations.

More information can be found here.

Programme

Program Chairs

David Mitchell, Simon Fraser University, Canada
Eugenia Ternovska, Simon Fraser University, Canada

Program Committee:

Peter Baumgartner, National ICT Australia, Australia
Koen Claessen, Chalmers University of Technology, Sweden
Adnan Darwiche, University of California, Los Angeles, United States
Marc Denecker, K.U.Leuven, Belgium
Thomas Eiter, Institute of Information Systems, TU Vienna, Austria
Alan Frisch, University of York, United Kingdom
Enrico Giunchiglia, DIST - Univ. Genova, Italy
Tomi Janhunen, Aalto University, Finland
Daniel LeBerre, Université d'Artois, France
Ines Lynce, Technical University of Lisbon, Portugal
Tony Mancini, Sapienza Università di Roma, Italy
Victor Marek, University of Kentucky, United States
Pierre Marquis, CRIL-CNRS and Université d'Artois, France
Ilkka Niemela, Aalto University, Finland
Robert Nieuwenhuis, Technical University of Catalonia (UPC), Spain
Barry O'Sullivan, 4C, University College Cork, Ireland, Ireland
Torsten Schaub, University of Potsdam, Germany
Emina Torlak, IBM, United States
Mirek Truszczynski, University of Kentucky, United States
Toby Walsh, NICTA and UNSW, Australia