Title: Mutually exclusive nuances of truth in Moisil logic Speaker: Denisa Diaconescu (FMI and University of Bern) Friday, December 19, 2014, 13:00 FMI, Hall 220
Dealing with preferences: on constraint algebras and graded satisfaction Speaker: Claudia Chirita (Royal Holloway, University of London) Friday, December 19, 2014, 12:00 FMI, Hall 220
Self-assembling interactive modules: A research programme Speaker: Gheorghe Stefanescu (FMI) Friday, December 12, 2014, 12:00 FMI, Hall 220
Abstraction Refinement for Trace Inclusion of Data Automata Speaker: Radu Iosif (CNRS - VERIMAG, France) Friday, December 5, 2014, 12:00 FMI, Hall 220
Categorial Interpretations III Speaker: Andrei Sipos Friday, November 28, 2014, 12:00 FMI, Hall 220
Categorial Interpretations II Speaker: Andrei Sipos Friday, November 21, 2014, 12:00 FMI, Hall 220
Categorial Interpretations I Speaker: Andrei Sipos Friday, November 14, 2014, 12:00 FMI, Hall 220
Deciding Entailments in Inductive Separation Logic with Tree Automata Speaker: Radu Iosif (CNRS - VERIMAG, France) Friday, October 31, 2014, 12:00 FMI, Hall 220
Paraconsistent Logic, the Square of Opposition and Universal Logic Speaker: Jean-Yves Beziau (Federal University of Rio de Janeiro) Wednesday, June 11, 2014, 10:30 Amfiteatrul "Miron Nicolescu", IMAR
Finding generalised periodicities in words Speaker: Florin Manea (Kiel University) Tuesday, June 3, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
The ubiquity of trees: from relative quantifier elimination to deformations of groups and rings III Speaker: Serban Basarab Tuesday, May 27, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
The ubiquity of trees: from relative quantifier elimination to deformations of groups and rings II Speaker: Serban Basarab (IMAR) Tuesday, May 20, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
The ubiquity of trees: from relative quantifier elimination to deformations of groups and rings Speaker: Serban Basarab Tuesday, May 13, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Independence-friendly logic and the Monty Hall problem Speaker: Silviu Velica (University of Bucharest) Tuesday, May 6, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Silogistica booleana a judecatilor de predicatie Speaker: Sergiu Rudeanu (Universitatea din Bucuresti) Tuesday, April 29, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Some progress in 3-SAT Speaker: Mihai Prunescu (IMAR) Tuesday, April 1, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Baker-Beynon duality for Riesz MV-algebras Speaker: Serafina Lapenta (Universita` degli studi della Basilicata) Tuesday, March 18, 2014, 15:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Secret sharing and secret-sharing based group key establishment Speaker: Ruxandra Olimid (University of Bucharest) Thursday, March 6, 2014, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Public Announcement Logic II Speaker: Alexandru Dragomir (University of Bucharest) Thursday, February 13, 2014, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Public Announcement Logic Speaker: Alexandru Dragomir (University of Bucharest) Thursday, February 6, 2014, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Unit Cost Complexity II Speaker: Mihai Prunescu (IMAR) Thursday, January 23, 2014, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Unit Cost Complexity I Speaker: Mihai Prunescu (IMAR) Thursday, January 16, 2014, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR
Research in Pairs – Bucharest