Matching logic VI Speaker: Traian Serbanuta Thursday, December 10, 2015, 10:00 FMI, Hall 220
Matching logic V Speaker: Traian Serbanuta Thursday, December 3, 2015, 10:00 FMI, Hall 220
Theory of Logical Consequence - past, present and future Speaker: Jacek Malinowski (Polish Academy of Sciences) Thursday, November 26, 2015, 10:00 FMI, Hall 220
On MV-algebras with convexity operators Speaker: Serafina Lapenta (University of Salerno) Thursday, November 26, 2015, 11:15 FMI, Hall 220
Matching logic IV Speaker: Traian Serbanuta (FMI) Thursday, November 19, 2015, 10:00 FMI, Hall 220
Matching logic III Speaker: Traian Serbanuta (FMI) Thursday, November 12, 2015, 10:00 FMI, Hall 220
Matching logic II Speaker: Traian Serbanuta (FMI) Thursday, November 5, 2015, 10:00 FMI, Hall 220
Matching logic Speaker: Traian Serbanuta (FMI) Thursday, October 29, 2015, 10:00 FMI, Hall 220
Continuous p-adic functions II Speaker: Mihai Prunescu Thursday, October 22, 2015, 10:00 FMI, Hall 220
Continuous p-adic functions Speaker: Mihai Prunescu Thursday, October 15, 2015, 10:00 FMI, Hall 220
Coalgebraic logic over (po)sets Speaker: Adriana Balan (UPB) Friday, June 19, 2015, 12:00 FMI, Hall 220
Ultraproducts and metastability II Speaker: Andrei Sipos Friday, June 12, 2015, 12:00 FMI, Hall 220
Ultraproducts and metastability I Speaker: Andrei Sipos Friday, June 5, 2015, 12:00 FMI, Hall 220
Ellerman`s generalized ultraproducts II Speaker: Andrei Sipos Friday, May 29, 2015, 12:00 FMI, Hall 220
Truely perfect recall and commitment in Alternating-Time Temporal Logics Speaker: Matei Popovici (University Politehnica of Bucharest) Friday, May 22, 2015, 10:00 FMI, Hall 202
Ellerman`s generalized ultraproducts I Speaker: Andrei Sipos Friday, May 15, 2015, 15:00 FMI, Hall 220
A group of Thompson and one of its effects in model theory Speaker: Mihai Prunescu Friday, April 24, 2015, 12:00 FMI, Hall 220
Forcing in Model Theory II Speaker: Andrei Sipos Friday, April 17, 2015, 12:00 FMI, Hall 220
Forcing in Model Theory I: Finite Forcing Speaker: Andrei Sipos Friday, April 3, 2015, 12:00 FMI, Hall 220
Edgington`s Verificationist Thesis and Fitch`s Paradox in an Epistemic-Temporal Framework Speaker: Alexandru Dragomir (University of Bucharest) Friday, March 27, 2015, 12:00 FMI, Hall 220
Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process Speaker: Gabriel Istrate (West Univ. of Timisoara and e-Austria) Friday, March 20, 2015, 12:00 FMI, Hall 220
Decidable Horn Systems with Difference Constraints Speaker: Radu Iosif (CNRS-VERIMAG, Franta) Friday, March 6, 2015, 12:00 FMI, Hall 220
Proving Morley`s Theorem III Speaker: Andrei Sipos Friday, February 27, 2015, 12:00 FMI, Hall 220
Proving Morley`s Theorem II Speaker: Andrei Sipos Friday, February 20, 2015, 12:00 FMI, Hall 220
Proving Morley`s Theorem I Speaker: Andrei Sipos Friday, February 13, 2015, 12:00 FMI, Hall 220
Research in Pairs – Bucharest