Here is a list of places to eat near the university.
- George Metcalfe (Chair)
- Thomas Studer (Chair)
- Bettina Choffat
- Almudena Colacito
- José Gil-Ferez
- Eveline Lehmann
- Nenad Savić
- Silvia Steila
- Olim Tuyt
- George Metcalfe, Universität Bern, Switzerland (Chair)
- Xavier Caicedo, Universidad de los Andes, Colombia
- Agata Ciabattoni, TU Wien, Austria
- Lluis Godo, IIIA-CSIC, Spain
- Peter Jipsen, Chapman University, USA
- Vincenzo Marra, Università degli Studi di Milano, Italy
- Carles Noguera, Czech Academy of Sciences, Czech Republic
- James Raftery, University of Pretoria, South Africa
- Philip Scott, University of Ottawa, Canada
- Kazushige Terui, Kyoto University, Japan
Call for Papers
Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
We invite contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal and quantum logics), in particular:
- Proof theory and computational complexity;
- Algebraic semantics and abstract algebraic logic;
- First-order, higher-order and modal formalisms;
- Applications and foundational issues;
- Geometric and game theoretic aspects.
Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via EasyChair.
The deadline for contributions is 2 May 2018 (Extended!), and the notification of acceptance will be sent by 25 May 2018.
RegistrationThe registration fee covers attendance at both AiML and LATD, the proceedings for the meetings, the welcome reception on August 28th and the conference dinner on August 30th.
|Before June 30th||After July 1st|
|Participant||CHF 200||CHF 250|
|Student||CHF 100||CHF 150|
The conference will be held at the Exakte Wissenschaften building, headquarters of the Mathematical Institute.
You can find here detailed information on how to reach Bern.
From your very first overnight stay in a tourist accommodation in Bern, you will receive a Bern ticket for your whole stay, which will allow you travel for free on public transport.
The Students Lodge does not provide a Bern ticket.
The best way to reach the Schloss is by taking the number 10 bus from Bern Bahnhof, direction Schliern, getting off at the bus stop Köniz Schloss after about 13 minutes. If you are staying in a hotel, you will receive a Bern Ticket that is valid for all buses and trams in Bern, otherwise you will need to buy a ticket from a machine by the bus stop.
It can be reached by public transport, taking tram 7 or 8* to Helvetiaplatz and walking down to the river, but is also an easy 25 minute walk from the university.
*Tram 7 and 8 do not operate due to a construction site. They are replaced by a tram replacement bus.
Click here for more information about Tscharnergut.
The available rooms are in category 5 (single rooms with shared bathroom). They cost CHF 235 per week.
To make a reservation please use the form and mention AiML & LATD in the Comments field.