Evenimente intelectuale

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”

Brasov, July 8-11, 2008
Dedicated to the 65-th birthday of Prof. Dr. Bang-Yen Chen

Topics

• Geometry of Riemannian and Pseudo-Riemannian Manifolds;
• Submanifold Theory;
• Structures on Manifolds;
• Complex Geometry;
• Finsler, Lagrange and Hamilton Geometries;
• Applications to other fields.

Location: The conference will be held in the Aula of the Transilvania University of Brasov, Str. Iuliu Maniu.

Registration

On line registration (preferred)

Also you can submit the attached registration form by e-mail to Prof. Dr. Ion Mihai <imihai@fmi.unibuc.ro> and Prof. Dr. Emil Stoica <e.stoica@unitbv.ro>. There is no registration fee. The Programme of the Conference will be posted by end May.

Travel Information

The arrival date in Brasov is July 8, 2008. The organising committee will assist the participants for transfering from Bucharest to Brasov by train or bus (about 3 hours).
There are several hotels in Brasov within walking distance from the conference place. A list will be enclosed in the next announcement.

Proceedings

The Proceedings of the Conference RIGA 2008 will be published.

[Detalii suplimentare]

Conferinta este organizata de Universitatea din Bucuresti (finantata prin grantul CEEX-M3 nr.252/2006; director: Ion Mihai) si Universitatea Transilvania din Brasov.