posted by organizer: eoikarin || 839 views || tracked by 2 users: [display]

LaSh 2014 : Workshop on Logic and Search

FacebookTwitterLinkedInGoogle

Link: http://vsl2014.at/lash/
 
When Jul 18, 2014 - Jul 18, 2014
Where Vienna, Austria
Submission Deadline May 15, 2014
Notification Due May 21, 2014
Final Version Due May 27, 2014
 

Call For Papers

WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems

Final Call For Submissions

With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers

Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/

A FLoC 2014 Workshop, Associated with SAT and ICLP

OVERVIEW

The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.

Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).

Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.

Topics of interest include, but are not limited to:

- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections

CONFIRMED SPEAKERS
Plenary: Konstantin Korovin, University of Manchester
Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien

IMPORTANT DATES

Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18

ORGANIZERS

Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University

PROGRAM COMMITTEE

David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti Järvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (Computer Science Department, University of Kentucky)

SUBMISSION INFORMATION

To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.

Related Resources

IJCAI 2017   International Joint Conference on Artificial Intelligence
WSDM 2017   International Conference on Web Search and Data Mining
WSDM 2018   The 11th ACM International Conference on Web Search and Data Mining
LaSh 2017   LaSh 2017 Workshop on Logic and Search
IEA/AIE 2018   Industrial, Engineering & Other Applications Applied Intelligent Systems
LICS 2018   Logic in Computer Science
ICCD 2017   International Conference on Computer Design
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
INISTA 2018   IEEE International Conference on Innovations in Intelligent SysTems and Applications
LOGLEG 2018   Logic, Law and Legal Reasoning