Aims & Scope

The second summer school for the EU RISE project SYSMICS (Syntax meets Semantics -- Methods, Interactions, and Connections in Substructural logics) will provide PhD students from across mathematics, philosophy, and computer science with the opportunity to learn from leading logicians about important active research topics in the field of non-classical logics.

Taking place in the secluded alpine village of Les Diablerets, the school will also provide the opportunity to interact both scientifically and socially with other students and lecturers of the courses.

The school precedes the co-located conferences LATD 2018 and AiML 2018 , taking place August 27-31 in Bern.

Invited Lectures

Evening Talks

Tutorials

Venue

The school will take place at Hotel Les Sources , Les Diablerets , Switzerland.

The nearest airport is Geneva, but there are also good train connections from Basel, Zurich and Bern. All train connections go via Aigles, where you have to change trains.

To reach Hotel Les Sources from the train station, take the road and then the path following the river upwards (you will have to cross the river). After passing the large Hotel Victoria building, Hotel Les Sources is on your right. The walk should take about 10 minutes.

Registration

Full board accommodation at Hotel Les Sources, including four nights accommodation, all meals from dinner on August 22nd to lunch on August 26th, and the fee for the school will cost CHF 652 for a single room or CHF 556 for a shared double room.

Each participant should register by completing this registration form before 30th April 2018, and pay their own bill at the hotel upon departure.

Registration is now closed.

Programme

Wednesday,   22 August 2018
19.15 Dinner
Thursday,   23 August 2018
07.30 Breakfast
09.00 - 10.00 Peter Jipsen,   Residuated frames for substructural logics (I)
10.00 - 10.30 Coffee
10.30 - 11.30 Alexandra Silva,   Kleene Algebra With Tests and Applications to Network Programming (I)
11.30 - 12.30 David J. Pym,   Logic as a modelling technology: separation and its uses (I)
12.30 Lunch*
17.00 Coffee
18.00 - 19.00 Johan van Benthem,   Logic in Games
19.15 Dinner
Friday,   24 August 2018
07.30 Breakfast
09.00 - 10.00 David J. Pym,   Logic as a modelling technology: separation and its uses (II)
10.00 - 10.30 Coffee
10.30 - 11.30 Peter Jipsen,   Residuated frames for substructural logics (II)
11.30 - 12.30 Alexandra Silva,   Kleene Algebra With Tests and Applications to Network Programming (II)
12.30 Lunch*
17.00 Coffee
18.00 - 19.00 Laura Kovács,   First-Order Interpolation in the Grey Area of Proofs
19.15 Dinner
Saturday,   25 August 2018
07.30 Breakfast
09.00 - 10.00 Alexandra Silva,   Kleene Algebra With Tests and Applications to Network Programming (III)
10.00 - 10.30 Coffee
10.30 - 11.30 David J. Pym,   Logic as a modelling technology: separation and its uses (III)
11.30 - 12.30 Peter Jipsen,   Residuated frames for substructural logics (III)
12.30 Lunch*
17.00 Coffee
18.00 - 19.00 Fred Wehrung,   Spectrum Problems for Structures Arising from Lattices and Rings
19.15 Dinner
Sunday,   26 August 2018
07.30 Breakfast
09.00 - 10.00 Peter Jipsen,   Residuated frames for substructural logics (IV)
10.00 - 10.30 Coffee
10.30 - 11.30 Alexandra Silva,   Kleene Algebra With Tests and Applications to Network Programming (IV)
11.30 - 12.30 David J. Pym,   Logic as a modelling technology: separation and its uses (IV)
12.30 Lunch*
*Or a packed lunch may be ordered from the hotel before 9am the same day.

A pdf version of the programme can be found here.

Committees

Contact

  • George Metcalfe

    Mathematical Institute
    University of Bern
    Sidlerstrasse 5, CH-3012 Bern
    Switzerland
    E-mail: george.metcalfe AT delete this part math.unibe.ch

  • Nick Bezhanishvili

    Institute for Logic, Language and Computation
    University of Amsterdam
    P.O. Box 94242, 1090 GE Amsterdam
    The Netherland
    Email: N.Bezhanishvili AT delete this part uva.nl