Yes, No, Perhaps: A logical introduction to quantum computation Speaker: Roberto Giuntini Monday, November 28, 2016, 17:00 FMI, Hall 202

Decidability and definability in number theory II Speaker: Mihai Prunescu Thursday, November 24, 2016, 10:00 FMI, Hall 202

Decidability and definability in number theory Speaker: Mihai Prunescu Thursday, November 17, 2016, 10:00 FMI, Hall 202

QCA - Qualitative Comparative Analysis. An application of boolean algebra and fuzzy sets Speaker: Adrian Dusa Thursday, November 10, 2016, 10:00 FMI, Hall 202

Skolemization for Substructural Logics Speaker: Denisa Diaconescu (University of Bucharest) Thursday, June 9, 2016, 10:00 FMI, Hall 202

Proof mining and families of mappings Speaker: Andrei Sipos (IMAR and University of Bucharest) Thursday, May 19, 2016, 10:00 FMI, Hall 202

Partial Membership Equational Logic II Speaker: Traian Serbanuta (University of Bucharest) Thursday, April 21, 2016, 10:00 FMI, Hall 202

Partial Membership Equational Logic Speaker: Traian Serbanuta (University of Bucharest) Thursday, April 14, 2016, 10:00 FMI, Hall 202

Finitely presented structures in Lukasiewicz logic Speaker: Ioana Leustean (University of Bucharest) Thursday, April 7, 2016, 10:00 FMI, Hall 202

Free logic for Fictionalism II Speaker: Mircea Dumitru (University of Bucharest) Thursday, March 31, 2016, 10:00 FMI, Hall 220

A many-sorted approach to the Special Theory of Relativity III Speaker: Mihai Prunescu Thursday, March 24, 2016, 10:00 FMI, Hall 220

Free logic for Fictionalism Speaker: Mircea Dumitru (University of Bucharest) Thursday, March 17, 2016, 10:00 FMI, Hall 220

A many-sorted approach to the Special Theory of Relativity II Speaker: Mihai Prunescu Thursday, March 10, 2016, 10:00 FMI, Hall 220

A many-sorted approach to the Special Theory of Relativity Speaker: Mihai Prunescu Thursday, March 3, 2016, 10:00 FMI, Hall 220

Distribution calculus: maxitive probabilities vs. additive probabilities Speaker: Laura Franzoi (Univ. of Bucharest and Univ. of Trieste) Thursday, February 25, 2016, 10:00 FMI, Hall 220

Applied Proof Theory V Speaker: Andrei Sipos Thursday, February 18, 2016, 10:00 FMI, Hall 220

Applied Proof Theory IV Speaker: Andrei Sipos Thursday, February 11, 2016, 10:00 FMI, Hall 220

Applied Proof Theory III Speaker: Andrei Sipos Thursday, February 4, 2016, 10:00 FMI, Hall 220

Applied Proof Theory II Speaker: Andrei Sipos Thursday, January 28, 2016, 10:00 FMI, Hall 220

Applied Proof Theory I Speaker: Andrei Sipos Thursday, January 21, 2016, 10:00 FMI, Hall 220

Matching logic VII Speaker: Traian Serbanuta Thursday, January 14, 2016, 10:00 FMI, Hall 220

Free Jazz and Service-Oriented Improvisations Speaker: Claudia Chirita (Royal Holloway University of London) Thursday, January 7, 2016, 12:00 FMI, Hall 220

Multiple-parameterized behavioural specifications Speaker: Ionut Tutu (Royal Holloway University of London) Thursday, January 7, 2016, 13:00 FMI, Hall 220