Logic, Algebra and Fundamentals of Computer Science

May 16, 2008
IMAR, 21, Calea Grivitei Street, Bucharest
Miron Nicolescu Lecture Room

Chairman Sergiu Rudeanu

9.00 – 9.40 Serban Basarab (Institute of Mathematics “Simion Stoilow”): “From elimination of quantifiers to arboreal structures in groups and fields”

9.50 – 10.30 Luca Spada (University of Salerno): “Fixed points in many-valued logic”

Chairman Serban Basarab

11.00 – 11.20 Dragos Vaida (University of Bucharest): “Programs as partial functions and order properties”

11.30 – 11.50 Dana Piciu (University of Craiova): “Localizations of MTL algebras”

12.00 – 12.20 Dumitru Busneag (University of Craiova): “Hilbert algebras with supremum”

12.30 – 12.50 Afrodita Iorgulescu (Academy of Economic Studies, Bucharest): “Partially-ordered implicative-groups”

Lunch

Chairman Dragos Vaida

15.00 – 15.40 Sergiu Rudeanu (University of Bucharest): “Axioms in lattice theory”
15.50 – 16.30 Razvan Diaconescu (Institute of Mathematics “Simion Stoilow”): “What is a formal proof ?”

Chairman Razvan Diaconescu (Institute of Mathematics “Simion Stoilow”)

17.00 – 17.20 Denisa Diaconescu (“Scoala Normala Superioara Bucuresti”, University of Bucharest): “Institution of fuzzy logic”

17.30 – 17.50 Claudia Muresan (University of Bucharest): “The reticulation of a residuated lattice”

18.00 – 18.20 Mircea Sularia (“Politehnica” University, Bucharest): “On some generalization of symmetric Boolean algebras”

18.30 – 18.50 Carmen Stama (University of Bucharest): “The representation of tense Q -valued Lukasiewicz-Moisil algebras”

Chairman Paul Flondor (“Politehnica” University, Bucharest)

19.00 – 19.20 Catalin Ionita (“Politehnica” University, Bucharest): “Remarks on axiomatisations of Boolean algebras and Huntington’s problem”

19.30 – 19.50 Rodica Ceterchi (University of Bucharest): “On some parallel sorting devices”

20.00 – 20,20 Florin Manea (University of Bucharest): “Algorithmic properties of partial words”