ManyVal 2019

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.

ManyVal 2019 will focus on probabilities, modalities, and algebraic structures in many-valued logics.

Click to see a larger version.

Download: Program and Book of Abstracts

News

Associated Event: Philosophers-Logicians on New Approaches to Vagueness

Saturday, 2 November

Invited Speakers

Antonio Di Nola

University of Salerno
The Spectrum Problem for Abelian l-Groups and MV-Algebras

Melvin Fitting

City University of New York
There Are Many Strict/Tolerant Logics

Alexander Kurz

Chapman University
Stone Duality of Relations

George Metcalfe

University of Bern
One-Variable Fragments of First-Order Many-Valued Logics

Daniele Mundici

University of Florence
Computing on AF C*-Algebras

Viorica Sofronie-Stokkermans

University of Koblenz · Landau
On Automated Reasoning in Classes of Algebras Related to Non-Classical Logics

Associated Event

Graeme Forbes

University of Colorado Boulder
Two New Solutions to Chisholm's Paradox

Graham Priest

City University of New York
Evans' Argument and Vague Objects

Important Dates

• Registration deadline :   16 September 2019
Registration opens on :   2 September 2019
• Notification of acceptance:   31 July 2019
• New deadline for abstracts:   8 July2019
• Deadline for abstracts:   24 June 2019
• Notification of acceptance:   15 July 2019

Venues

The workshop will take place at the Faculty of Mathematics and Computer Science (Friday and Sunday) and University of Bucharest - Faculty of Law (Saturday).

Venue for Friday and Sunday: Str. Academiei nr.14, 010014 Bucharest.

Venue for Saturday: B-dul M. Kogalniceanu 36-46, 050107 Bucharest.

Call for abstracts [pdf]

Participants who wish to give a talk should submit an extended abstract (max. 2 pages written in plain LaTeX) before 8 July 2019 via Easychair: https://easychair.org/conferences/?conf=manyval2019.

Registration

The registration is closed. For any further inquiries, please contact the organizers.

The conference fee - 150 EUR - can be paid online (recommended) using the following LINK; alternatively, it can be paid onsite (in cash); the conference fee covers social events, lunches and conference materials.

Program
Friday    Saturday   Sunday
Download: Program and Book of Abstracts

Committees

Steering Committee

• Stefano Aguzzoli, University of Milan
• Brunella Gerla, University of Insubria
• Vincenzo Marra, University of Milan

Programme Committee

• Stefano Aguzzoli, University of Milan
• Petr Cintula, Institute of Computer Science, The Czech Academy of Sciences
• Denisa Diaconescu, University of Bucharest
• Mircea Dumitru , University of Bucharest (Co-Chair)
• Chris Fermüller, Vienna University of Technology
• Lluis Godo, Artificial Intelligence Research Institute (IIIA-CSIC Barcelona)
• Ioana Leuştean, University of Bucharest (Co-Chair)

Organising Committee

• Denisa Diaconescu,University of Bucharest
• Alexandru Dragomir, University of Bucharest
• Ioana Leuştean, University of Bucharest
• Natalia Moangă, University of Bucharest
• Claudia Mureşan, University of Bucharest
• Oana Peiu, University of Bucharest
• Ana Ţurlea, University of Bucharest

Past Editions

• ManyVal 2006, Gargnano, Italy
• ManyVal 2008, Milano, Italy
• ManyVal 2010, Varese, Italy
• ManyVal 2012, Salerno, Italy
• ManyVal 2013, Prague, Czech Republic
• ManyVal 2015, Les Diablerets, Switzerland
• ManyVal 2017, Toulouse, France

Travel Info

Transportation

There are frequent flights to Bucharest from most major European cities and connecting flights from the United States, Canada, Australia and New Zealand. Most international flights arrive at Henri Coanda (Otopeni) Airport. Airport facilities include ATM, currency exchange office, Taxi Desk and car rental. The airport is connected with the city center by official taxis and express buses. Bucharest's main train station - Gara de Nord - is a major rail centre with daily connections from/to cities throughout Europe and main cities in Romania. There are daily trains from/to Athens, Belgrade, Budapest, Istanbul, Kiev, Moscow, Prague, Sofia, and Vienna. Trains from/to Western European cities run via Budapest. Bucharest's public transportation network includes: bus (autobuz), tram (tramvai), trolley bus (troilebuz), subway (metrou) and taxi companies. Read more

Accommodation

Bucharest has a full range of accommodation facilities, at different rates and standards. The conference venue is downtown, so we reccomend you to book the accommodation in the center area.

Visas

Citizens of all European countries, as well as Australia, Canada, Israel, Japan, New Zealand and the USA, do not require visas to visit Romania for short-stays (up to 90 days). For citizens from other countries, visas are issued at Romanian consulates. The bearers of a visa with 2 or multiple entries, a long-term visa or a residence permit issued by Schengen Member States shall no longer be required to hold a short-stay visa. If you need an official invitation to get the visa, please contact the conference organisers well in advance. Read more

Sponsor

Organizers

Contact