The old site
>> Research >> Scientific Seminars >> Archive >> Logic seminar >> 2015

Logic seminar 2015

  • 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