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
Research in Pairs – Bucharest