First order interpretations in groups, rings and algebras Speaker: Mihai Prunescu (IMAR/ FMI) Thursday, December 14, 2017, 10:00 FMI, Hall 202

Modal logic as higher-order logic Speaker: Mircea Dumitru (University of Bucharest) Thursday, December 7, 2017, 10:00 FMI, Hall 202

Fuzzy and more. Modelling philosophical theories of vagueness on a computer Speaker: Marian Calborean (University of Bucharest) Thursday, November 23, 2017, 10:00 FMI, Hall 202

Lukasiewicz logic and MV-algebras II Speaker: Ioana Leustean (University of Bucharest) Thursday, November 16, 2017, 10:00 FMI, Hall 202

Lukasiewicz logic and MV-algebras Speaker: Ioana Leustean (University of Bucharest) Thursday, November 9, 2017, 10:00 FMI, Hall 202

Proof mining in convex optimization and nonlinear analysis Speaker: Laurentiu Leustean (FMI/ IMAR) Thursday, November 2, 2017, 10:00 FMI, Hall 202

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