Logic List Mailing Archive

ManyVal 2019: Many-Valued Logic

1-3 Nov 2019
Bucharest, Romania

Call for papers
===============================

ManyVal 2019
The 8th International Workshop on Many-Valued Logic https://cs.unibuc.ro/events/manyval2019

1-3 November 2019

Faculty of Mathematics and Computer Science, University of Bucharest

Deadline for abstracts:   24 June 2019

Notification of acceptance:   15 July  2019

Registration deadline:   2 September 2019


Aims and Scope

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

While many-valued logic is our main topic, contributions from adjacent 
areas are also welcome.


Invited speakers:

Antonio Di Nola, University of Salerno
Melvin Fitting, CUNY
Alexander Kurz, Chapman University
George Metcalfe, University of Bern
Daniele Mundici, University of Florence
Viorica Sofronie-Stokkermans, University of Koblenz-Landau


Submissions:

Regular contributions will be based on an extended abstract of 2 pages (written in plain LaTex), excepting the references. The abstract should be submitted before 24 June 2019, via EasyChair:

https://easychair.org/conferences/?conf=manyval2019


Registration:

The conference fee - 150 EUR - can only be paid in cash and covers social events, lunches and conference materials.

For details and updates see: https://cs.unibuc.ro/events/manyval2019

Please email all inquiries to: manyval2019@cs.unibuc.ro


COMMITTEES:

Steering Committee:
Stefano Aguzzoli, University of Milan
Brunella Gerla, University of Insubria
Vincenzo Marra, University of Milan

Program Committee:
Stefano Aguzzoli, University of Milan
Petr Cintula, Institute of Computer Science, The Czech Academy of Sciences Denisa Diaconescu, University of Bucharest (Chiar)
Mircea Dumitru, University of Bucharest
Christian Fermu?ller, Vienna University of Technology
Lluis Godo, The Artificial Intelligence Research Institute (IIIA-CSIC)
Ioana Leus?tean, University of Bucharest (Chair)

Organizing Committee
Denisa Diaconescu, University of Bucharest
Alexandru Dragomir, University of Bucharest
Ioana Leustean, University of Bucharest
Natalia Moanga, University of Bucharest
Claudia Muresan, University of Bucharest
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam