ManyVal 2015

Les Diablerets • Switzerland • 11 - 13 December 2015

Update: Some photos from the meeting can be found here.

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions. Contributed talks are allocated ample time.

ManyVal 2015 will focus on modal and first-order many-valued logics.

Important Dates

Deadline for abstracts:
25th September 2015
Notification of acceptance:
2nd October 2015
Registration deadline:
10th November 2015
Arrival day (no talks):
10th December 2015
Departure day (after lunch):
13th December 2015

Venue

The workshop 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.

Call for Abstracts

Participants who wish to give a talk should submit an extended abstract (max. 2 pages written in plain LaTeX) before 25th September 2015 via the Easychair website .

Registration

Full board accommodation at Hotel Les Sources, including all meals from dinner on December 10th to lunch on December 13th, will cost CHF 483 for a single room or CHF 411 for a shared double room.

Each participant should register via the workshop webpage before 10th November 2015, and pay their own bill at the hotel upon departure. If you are interested in taking part in ManyVal 2015, please fill in the registration form .

Program

Thursday, December 10th
19.15 Dinner
Friday, December 11th
07.30 Breakfast
09.00 - 10.00 Rafael Peñaloza, Feeding many values to light-weight description logics
10.00 - 10.30 Coffee
10.30 - 11.00 Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo, On modal expansions of left-continuous t-norm logics
11.00 - 11.30 Serafina Lapenta, Tommaso Flaminio, On MV-algebras with convexity operators
11.30 - 12.00 Olivia Caramello, Anna Carla Russo, Morita-equivalences for MV-algebras
12.00 - 12.30 Stefano Aguzzoli, Matteo Bianchi, Single chain completeness and some related properties
12.30 Lunch*
17.00 Coffee
18.00 - 19.00 Marta Bílková, Expressivity of many-valued coalgebraic logics
19.15 Dinner
Saturday, December 12th
07.30 Breakfast
09.00 - 10.00 Petr Cintula, Logics of graded predicates
10.00 - 10.30 Coffee
10.30 - 11.00 Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera, Back and forth conditions for elementary equivalence in model theory of non-classical logics
11.00 - 11.30 Umberto Rivieccio, Łukasiewicz public announcement logic
11.30 - 12.00 Tomáš Kroupa, Vincenzo Marra, Hájek’s fuzzy probability logic revisited
12.00 - 12.30 Lluís Godo, Ricardo Rodriguez, On possibilistic modal logics defined over MTL-chains
12.30 Lunch*
17.00 Coffee
18.00 - 19.00 Itaï Ben Yaacov, Many-valued reasoning, from model theory to topological dynamics
19.15 Dinner
Sunday, December 13th
07.30 Breakfast
09.00 - 10.00 Xavier Caicedo, The strength of Łukasiewicz predicate logic
10.00 - 10.30 Coffee
10.30 - 11.00 Michel Marti, A Hennessy-Milner property for many-valued modal logics
11.00 - 11.30 Adam Přenosil, The lattice of super-Belnap logics
11.30 - 12.00 Leonardo Manuel Cabrer, Geometric description of projective MV-algebras
12.30 Lunch*
*Or a packed lunch may be ordered from the hotel before 9am the same day.

Participants

Contact