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

Logic seminar 2017

  • Modal logic as higher-order logic
    Speaker: Mircea Dumitru (University of Bucharest)
    Thursday, October 12, 2017, 10:00
    FMI, Hall 202
  • New coloring problems in graphs
    Speaker: Ruxandra Marinescu-Ghemeci (University of Bucharest)
    Thursday, June 15, 2017, 10:00
    FMI, Hall 202
  • Random Graphs and Zero-One Laws
    Speaker: Irina Gutanu (University of Bucharest)
    Thursday, June 8, 2017, 10:00
    FMI, Hall 202
  • Proof mining in convex optimization II: the uniform case
    Speaker: A. Sipos (IMAR/UB)
    Thursday, May 25, 2017, 10:00
    FMI, Hall 202
  • Proof mining in convex optimization
    Speaker: Andrei Sipos (IMAR
    Thursday, May 18, 2017, 10:00
    FMI, Hall 220
  • A logic-programming approach to graph transformation
    Speaker: Ionut Tutu (Royal Holloway, University of London)
    Thursday, May 4, 2017, 10:00
    FMI, Hall 202
  • An application of p-adic norms in geometry
    Speaker: Mihai Prunescu (IMAR)
    Thursday, April 6, 2017, 10:00
    FMI, Hall 220
  • Predicting Human Personality from Social Media using a Fuzzy Neural Network
    Speaker: Iuliana Iatan (Technical Univ. of Civil Engineering)
    Thursday, March 30, 2017, 10:00
    FMI, Hall 202
  • Theories of Compositionality. Kit Fine`s Semantic Relationism
    Speaker: Mircea Dumitru (University of Bucharest)
    Thursday, March 16, 2017, 10:00
    FMI, Hall 202
  • Approximation algorithms for NP-hard problems
    Speaker: Alex Popa
    Thursday, March 9, 2017, 10:00
    FMI, Hall 202
  • Treewidth vs. Treelength
    Speaker: Guillaume Ducoffe
    Thursday, March 2, 2017, 10:00
    FMI, Hall 202
  • Exact and exhaustive Boolean minimization algorithms applied in fuzzy set QCA
    Speaker: Adrian Dusa
    Thursday, February 23, 2017, 10:00
    FMI, Hall 202
  • Knowability and Fitch`s Paradox in Dynamic Epistemic Logic
    Speaker: Alexandru Dragomir
    Thursday, February 16, 2017, 10:00
    FMI, Hall 202
  • An introduction to dynamic epistemic logic
    Speaker: Alexandru Dragomir
    Thursday, February 9, 2017, 10:00
    FMI, Hall 202