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