LaSh Workshop on Logic and Search in Oxford - Call for Participation

[David Mitchell]

You are invited to participate in the 2018 LaSh Workshop on Logic and Search,
July 18 at FLoC in Oxford.  The program consists of the following sessions
and talks:

Practical MSO Model Checking
  Bruno Courcelle, LaBri, CNRS
   - Monadic Second-Order Model Checking with Fly-Automata
  Lukas Holik, Brno Univeristy of Technology
   - Lazy Automata Techniques for WS1S
  Peter Rossmanith, RWTH Aachen
   - Courcelle's Theorem - A Game-Theoretic Approach
  Dmitriy Traytel, ETH Zurich
   - A Derivative-Based Procedure for WS1S

Frameworks Session:
  Robert Giegerich, Bielefeld
   - Declarative Dynamic Programming with Inverse Coupled Rewrite Systems
  Eugenia Ternovska, SFU
   - A Logic of Information Flows

Modelling and Solving Session:
  Alan Frisch, York
   - ESSENCE, A Language For Specifying Combinatorial Problems
  Osgur Akgun, St. Andrews
   - Automatic Constraint Modelling with Conjure
  Johannes Fichte, Vienna University of Technology
   - Solving #SAT by Parameterized Algortithms: Exploiting Small Treewidth
  Sabine Bauer, Ludwig Maximilian University of Munich
   - Decidable Linear Tree Constraints

Early Registration ends on June 6.

Details may be seen at the LaSh 2018 web page:
   http://www.logicandsearch.org/LaSh2018/
or in the FLoC Live Program:
   https://easychair.org/smart-program/FLoC2018/LaSh-program.html

The LaSh Workshops on Logic and Search are devoted to the study, from
the point of view of logic, of declarative languages for defining or
representing search and optimization problems, problem-solving systems
that use these languages, and related issues regarding reductions, search
algorithms, problem transformations, and others. For details of previous
meetings, please see the LaSh home page: http://www.logicandsearch.org/

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20180605/f69dff68/attachment.html>