< BuCal 2017

The aim of this workshop is to start a fruitful collaboration and interaction between the research groups in logic from Bucharest and Cagliari and from some other reputed Italian universities. The talks of the workshop will cover important topics in logic: fuzzy logics, quantum logic, algebraic logic and philosophical logic.

The organizers of the event are Roberto Giuntini (University of Cagliari) and Laurențiu Leuștean (University of Bucharest).

Conference venue

Faculty of Mathematics and Computer Science, "Spiru Haret" amphitheater, ground floor

Denisa Diaconescu
University of Bucharest
Abstract
Bogdan Dicher
University of Lisbon
Abstract
Davide Fazio
University of Cagliary
Abstract
Afrodita Iorgulescu
The Bucharest University of Economic Studies
Abstract
Antonio Ledda
University of Cagliari
Abstract
Ioana Leuștean
University of Bucharest
Abstract
Giuseppe Sergioli
University of Cagliari
Abstract
Andrei Sipoș
IMAR and University of Bucharest
Abstract
Karl Svozil
Vienna University of Technology
Abstract
  • Roberto Giuntini, University of Cagliari
  • Laurențiu Leuștean, University of Bucharest

  • Local organizers

  • Natalia Moangă, University of Bucharest
  • Oana Peiu, ICUB representative

Programme

Monday, 25 September, 2017

14:00-14:15

Registration
14:15-15:00

Antonio Ledda (University of Cagliari)
The Archimedean Property: New Horizons and Perspectives
15:00-15:45

Afrodita Iorgulescu (The Bucharest University of Economic Studies)
Implicative-groups vs. groups and generalizations
15:45-16:15

Coffee Break
16:15-17:00

Davide Fazio (University of Cagliari)
On the structure theory of Lukasiewicz (near) semirings
17:00-17:45

Karl Svozil (Vienna University of Technology)
Varieties of quantum indeterminism, as perceived from two-values measures on propositional structures
17:45-18:30

Denisa Diaconescu (University of Bucharest)
Adding modalities to many-valued logics
19.00

Social dinner at "Casa Universitarilor" (Strada Dionisie Lupu 46)


Tuesday, 26 September, 2017

09:30-10:15

Andrei Sipoș (University of Bucharest)
Playing with the logic of Moisil: nuances, games and representations
10:15-11:00

Giuseppe Sergioli (University of Cagliari)
An operational approach to quantum circuits
11:00-11:30

Coffee break
11:30-12:15

Bogdan Dicher (University of Lisbon)
The original sin of the proof-theoretic semantics
12:15-13.00

Ioana Leuștean (University of Bucharest)
Riesz MV-algebras and their logic
13:00

Lunch

Transportation
There are non-stop flights to Bucharest from most major European cities and in the Middle-East 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 virtually 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

Top