The 8th International Workshop on Many-Valued Logic

ManyVal 2019

Bucharest · Romania · 1-3 November 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.

poster ManyVal2019
Click to see a larger version.

Download: Program and Book of Abstracts

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

George Metcalfe

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

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

FRIDAY   ·   Faculty of Mathematics and Computer Science, Amf. Pompeiu , 2nd Floor
9:00-9:30
Registration
9:30-9:50
Opening
9:50-10:40
Melvin Fitting
There Are Many Strict/Tolerant Logics
10:40-10:50
Coffee break
10:50-11:40
Daniele Mundici
Computing on AF C*-Algebras
11.40-12.05
Stefano Bonzio
Sure-wins under coherence: geometry, MV-algebras and state theory.
12.05-12.30
Serafina Lapenta
Stochastic processes in Riesz MV-algebras
12:30-14:00
Lunch buffet
14:00-14:25
Stefano Aguzzoli
Gödel−Dummett logic, the category of forests, and topoi
14:25-14:50
Brunella Gerla
A categorical duality for finite semilinear Hilbert algebras
14:50 -15.00
Coffee break
15:00-15:25
Carles Noguera
Type omission and saturation in models of fuzzy logics
15:25-15:50
Petr Cintula
Rosser's undecidability theorem for very weak (fuzzy) arithmetics
18:00-19:30
Guided Tour - Old City Center

Meeting point at 18.00: The Romanian Athenaeum (address: Benjamin Franklin 1-3)
Meeting point at 18.30: Casa Capsa (address: Calea Victoriei 36)
19:30
Dinner at Hanu' lui Manuc
SATURDAY   ·   University of Bucharest − Faculty of Law, Amf. Stoicescu, 1st Floor
10:00-10:50
Viorica Sofronie-Stokkermans
On Automated Reasoning in Classes of Algebras Related to Non-Classical Logics
10:50-11:15
Afrodita Iorgulescu
Generalizations of MV algebras, ortholattices and Boolean algebras
11:15-11:40
Matteo Bianchi
Strictly join irreducible varieties of BL-algebras
11:40-11:55
Coffee break
11:55-12:20
Tommaso Flaminio
Gödel algebras with operators and their logics
12:20-12:45
Lluis Godo
On paraconsistent extensions of degree-preserving Gödel logics with an involution
12:45-14:15
Lunch buffet
14:15-15:05
Alexander Kurz
Stone duality of relations
15:05-15:30
Diego Valota
Tackling Spectra Problems via Duality: Two Concrete Examples
15:30-16.00
Coffee break
16:30-19:00
Special Event
Philosophers-Logicians on New Approaches to Vagueness
16:30-17:00
Mircea Dumitru Aristotle's Sea Battle. The Common Root of Modal and Many-Valued Logic
17:00-17:50
Graham Priest
Evans' argument and vague objects
17:50-18:00 Discussions
18:00-18:50
Graeme Forbes
Two new solutions to Chisholm's paradox
18:50-19:00 Discussions
19:30-21:30
Dinner at The National Bank of Romania
SUNDAY   ·   Faculty of Mathematics and Computer Science, Amf. Pompeiu, 2nd Floor
9:30-10:20
George Metcalfe
One-Variable Fragments of First-Order Many-Valued Logics
10:20-10:45
Olim Tuyt
An S5 Abelian Logic
10:45-11:10
Yaroslav Petrukhin
Dual Logic of Rational Agent and its Modal Extensions
11:10-11:25
Coffee break
11:25-11:50
Libor Behounek
A many-valued semantics for feasible knowledge
11:50-12:15
Martina Danková
A fuzzy semantic model for multi-agent probabilistic reasoning
12:15-12:40
Mircea Sularia
Combining probability distribution functions and membership functions using exponential operators

THE END

Committees

Steering Committee

Programme Committee

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

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

Bitdefender

Organizers

FMI ICUB AlumniUB

Contact

Email: manyval2019 at cs.unibuc.ro