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
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
19.15 | Dinner |
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 |
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 |
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
- Itaï Ben Yaacov, Lyon 1
- Matteo Bianchi, Università degli studi di Milano
- Marta Bílková, Institute of Computer Science, The Czech Academy of Sciences in Prague
- Leonardo Manuel Cabrer, TU-Wien
- Xavier Caicedo, Universidad de los Andes, Bogotá
- Petr Cintula, Institute of Computer Science, Czech Academy of Sciences
- Denisa Diaconescu, University of Bern, University of Bucharest
- Dragan Doder, University of Luxembourg
- Tommaso Flaminio, DiSTA - University of Insubria
- Lluís Godo, IIIA - CSIC
- Tomáš Kroupa, University of Milan
- Agnieszka Kulacka, Imperial College London
- Serafina Lapenta, University of Salerno
- Vincenzo Marra, University of Milan
- Michel Marti, University of Bern, Institute of Computer Science and Applied Mathematics
- George Metcalfe, University of Bern
- Daniele Mundici, Dept. Math. Univ. Florence
- Carles Noguera, Institute of Information Theory and Automation, Czech Academy of Sciences
- Rafael Peñaloza, KRDB Research Centre, Free University of Bozen-Bolzano
- Adam Přenosil, Institute of Computer Science, Academy of Sciences of the Czech Republic
- Luca Reggio, LIAFA, Université Paris Diderot
- Umberto Rivieccio, UFRN
- Jonas Rogger, University of Bern
- Anna Carla Russo, University of Salerno, University Paris Diderot
- Laura Schnüriger, University of Bern
- Luca Spada, University of Salerno
- Bruno Teheux, University of Luxembourg
- Amanda Vidal, Institute of Computer Science, Czech Academy of Sciences
Committees
Program Committee
Organizing Committee
Past Editions
Contact
George Metcalfe
Mathematisches Institut Sidlerstrasse 5, CH-3012 Bern Switzerland
Phone: +41 (0)31 631 88 23 Fax: +41 (0)31 631 85 10 Secretariat: +41 (0)31 631 88 21
E-mail: george.metcalfe@math.unibe.ch
Denisa Diaconescu
Mathematisches Institut Sidlerstrasse 5, CH-3012 Bern Switzerland
Phone: +41 (0)31 631 88 47 Fax: +41 (0)31 631 85 10 Secretariat: +41 (0)31 631 88 21
E-mail: denisa.diaconescu@math.unibe.ch