Logic Seminar
Scope
The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.
Format
All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 214 (“Google”) of the Faculty of Mathematics and Computer Science, University of Bucharest, but can also be occasionally held remotely.
To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.
Organizers
Laurențiu Leuștean
Andrei Sipoș
Talks
A Language-Theoretic Approach to the Heapability of Signed Permutations
Speaker: Gabriel Istrate
(University of Bucharest)
Apr 10, 2025, 14:00
FMI, Hall 214, IMAR
Distinguishability Operation, Properties and Perspectives
Speaker: Cezar Câmpeanu
(University of Prince Edward Island)
Mar 27, 2025, 14:00
FMI, Hall 214, IMAR
Applications of C-recursive sequences to number theory
Speaker: Mihai Prunescu
(University of Bucharest, ILDS and IMAR)
Mar 13, 2025, 14:00
FMI, Hall 214, IMAR
Trees, algorithms and logics II: Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic
Speaker: Marian Călborean
(University of Bucharest)
Feb 27, 2025, 14:00
FMI, Hall 214, IMAR
Regularity and complete distributivity in fuzzy metric spaces and formal contexts
Speaker: Adriana Bălan
(Politehnica Bucharest)
Dec 12, 2024, 14:00
FMI, Hall 214, IMAR
Around Herbrand’s Theorem II
Speaker: Andrei Sipoș
(University of Bucharest and IMAR)
Dec 5, 2024, 14:00
FMI, Hall 214, IMAR
Around Herbrand’s Theorem I
Speaker: Andrei Sipoș
(University of Bucharest and IMAR)
Nov 28, 2024, 14:00
FMI, Hall 214, IMAR
Intuitionistic propositional logic II
Speaker: Dafina Trufaș
(University of Bucharest and ILDS)
Nov 21, 2024, 14:00
FMI, Hall 214, IMAR
Intuitionistic propositional logic
Speaker: Dafina Trufaș
(University of Bucharest)
Nov 14, 2024, 14:00
FMI, Hall 214, IMAR
Arithmetic Terms III
Speaker: Mihai Prunescu
(University of Bucharest and IMAR)
Oct 31, 2024, 14:00
FMI, Hall 214, IMAR
Proof mining and applications to optimization and nonlinear analysis
Speaker: Horațiu Cheval
(University of Bucharest)
Oct 17, 2024, 14:00
FMI, Hall 214, IMAR
Trees, algorithms and logics
Speaker: Marian Călborean
(University of Bucharest)
Jun 6, 2024, 14:00
FMI, Hall 214, IMAR
The sharp power law of local search on expanders
Speaker: Simina Brânzei
(Purdue University)
May 23, 2024, 14:00
FMI, Hall 214, IMAR
On recurrent sequences of integers
Speaker: Mihai Prunescu
(University of Bucharest and IMAR)
May 16, 2024, 14:00
FMI, Hall 214, IMAR
On representability by arithmetic terms
Speaker: Mihai Prunescu
(University of Bucharest and IMAR)
Apr 18, 2024, 14:00
FMI, Hall 214, IMAR
Partial (co)recursive functions in Coq and Lean
Speaker: Horatiu Cheval
(University of Bucharest)
Apr 4, 2024, 14:00
FMI, Hall 214, IMAR
Equilibria in multiagent online problems with predictions
Speaker: Gabriel Istrate
(University of Bucharest)
Mar 28, 2024, 14:00
FMI, Hall 214, IMAR
Modal logic for program specification
Speaker: Natalia Ozunu
(University of Bucharest)
Mar 21, 2024, 14:00
FMI, Hall 214, IMAR
An institution-theoretic approach to bisimilarity
Speaker: Ionuț Țuțu
(IMAR)
Mar 14, 2024, 14:00
FMI, Hall 214, IMAR
(Post-)Quantum Cryptography II
Speaker: Nicoleta Dumitru
(University of Bucharest)
Mar 7, 2024, 14:00
FMI, Hall 214, IMAR
A Free Logic for Fictionalism
Speaker: Mircea Dumitru
(University of Bucharest/Romanian Academy)
Feb 29, 2024, 14:30
FMI, Hall 214, IMAR
(Post-)Quantum Cryptography
Speaker: Nicoleta Dumitru
(University of Bucharest)
Feb 22, 2024, 14:00
FMI, Hall 214, IMAR
The logic of gradable adjectives II
Speaker: Marian Călborean
(University of Bucharest)
Feb 8, 2024, 14:00
FMI, Hall 214, IMAR
The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory
Speaker: Marian Călborean
(University of Bucharest)
Jan 25, 2024, 14:00
FMI, Hall 214, IMAR
Formalizing Hybrid Modal Logic in Lean
Speaker: Alexandru Oltean
(University of Bucharest)
Jan 11, 2024, 14:00
FMI, Hall 214, IMAR
A Free Logic for Fictionalism
Speaker: Mircea Dumitru
(University of Bucharest/Romanian Academy)
Dec 14, 2023, 14:00
FMI, Hall 214, IMAR
Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture for e(7)=33
Speaker: Bogdan Dumitru
(University of Bucharest/BitDefender)
Dec 7, 2023, 14:00
FMI, Hall 214, IMAR
Inversion results and base-completeness for two approaches to proof-theoretic validity
Speaker: Antonio Piccolomini d’Aragona
(Univ. Siena/Aix-Marseille)
Nov 23, 2023, 14:00
Online, IMAR
Yet another formalization of matching logic in Coq
Speaker: Traian Șerbănuță
(Univ. Bucharest/Runtime Verification)
Nov 9, 2023, 14:00
FMI, Hall 214, IMAR
Using Z3 to Verify Inferences in Fragments of Linear Logic
Speaker: Mihai Prunescu
(University of Bucharest)
Nov 2, 2023, 14:00
FMI, Hall 214, IMAR
Conway`s Army Percolation
Speaker: Gabriel Istrate
(University of Bucharest)
Oct 26, 2023, 14:00
FMI, Hall 214, IMAR
Matching Logic in Lean
Speaker: Horațiu Cheval
(University of Bucharest)
Oct 19, 2023, 14:00
FMI, Hall 214, IMAR
Quantum Randomness
Speaker: Cristian Calude
(University of Auckland)
Sep 28, 2023, 14:00
FMI, Hall 214, IMAR
Reasoning by brute force
Speaker: Marian Călborean
(University of Bucharest)
Jun 22, 2023, 14:00
FMI, Room 214, IMAR
VLSM: A General Framework for Reasoning About Faulty Distributed Systems II
Speaker: Denisa Diaconescu
(Univ. Bucharest/Runtime Verification)
Apr 6, 2023, 14:00
FMI, Hall 214, IMAR
VLSM: A General Framework for Reasoning About Faulty Distributed Systems I
Speaker: Denisa Diaconescu
(Univ. Bucharest/Runtime Verification)
Mar 30, 2023, 14:00
FMI, Hall 214, IMAR
Zero-knowledge proofs
Speaker: Mihai Prunescu
(Univ. Bucharest/IMAR)
Mar 16, 2023, 14:00
FMI, Hall 214, IMAR
Implementing Program Verification in the K Framework
Speaker: Traian Șerbănuță
(FMI/Runtime Verification)
Mar 9, 2023, 14:00
FMI, Hall 214, IMAR
Semantics for Quantified Modal Logics
Speaker: Mircea Dumitru
(Univ. Bucharest/Romanian Academy)
Mar 2, 2023, 14:00
FMI, Room 214, IMAR
A short guide to implementing theorem provers
Speaker: Ionuț Țuțu
(IMAR)
Feb 16, 2023, 14:00
FMI, Hall 214, IMAR
A notational extension of classical first-order logic to deal with vague language
Speaker: Marian Călborean
(Univ. of Bucharest)
Nov 17, 2022, 14:00
FMI, Room 214, IMAR
Possibility theory and the arithmetic of fuzzy numbers
Speaker: Andrea Sgarro
(DMG University of Trieste)
Nov 10, 2022, 14:00
FMI, Room 214, IMAR
Lean-certified Dynamic Epistemic Logic with Actions for Security Protocols
Speaker: Bogdan Macovei
(Univ. of Bucharest)
Nov 3, 2022, 14:00
FMI, Hall 214, IMAR
Bounds on strong unicity for Chebyshev approximation with bounded coefficients
Speaker: Andrei Sipoş
(IMAR/TU Darmstadt)
Jun 27, 2019, 10:00
FMI, Hall 202, IMAR
Good for a conclusion, not good enough for a premise. Natural-language reasoning and the logic of vagueness
Speaker: Marian Calborean
(Univ. Bucharest)
May 16, 2019, 10:00
FMI, Hall 202, IMAR
Lindström`s Theorems
Speaker: Mihai Prunescu
(Univ. Bucharest/IMAR)
Mar 14, 2019, 10:00
FMI, Hall 202, IMAR
The frontier between decidability and undecidability for logics for strategic reasoning in the presence of imperfect information
Speaker: Cătălin Dima
(Université Paris-Est Créteil)
Jan 31, 2019, 10:00
FMI, Hall 202, IMAR
The finitary content of sunny nonexpansive retractions
Speaker: Andrei Sipoş
(TU Darmstadt/IMAR)
Dec 20, 2018, 10:00
FMI, Hall 202, IMAR
Verification of hybrid systems using KeYmaeraX
Speaker: Adriana Stancu
(FMI)
Jun 14, 2018, 10:00
FMI, Hall 202, IMAR
An operational-semantics-based approach to program verification using dynamic logic
Speaker: Traian Șerbănuță
(FMI)
Jun 7, 2018, 10:00
FMI, Hall 202, IMAR
Continuous choice
Speaker: Mihai Prunescu
(FMI/ IMAR)
May 24, 2018, 10:00
FMI, Hall 202, IMAR
Foundations for Natural Proofs and Quantifier Instantiation III
Speaker: Traian Şerbănuță
(FMI)
May 10, 2018, 10:00
FMI, Hall 202, IMAR
The bounded functional interpretation and the elimination of weak compactness
Speaker: Pedro Pinto
(University of Lisbon)
Apr 26, 2018, 10:00
FMI, Hall 202, IMAR
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
Speaker: Cătălin Dima
(Université Paris-Est Créteil)
Apr 19, 2018, 10:00
FMI, Hall 202, IMAR
Foundations for Natural Proofs and Quantifier Instantiation II
Speaker: Traian Serbanuta
(FMI)
Mar 29, 2018, 10:00
FMI, Hall 202, IMAR
Foundations for Natural Proofs and Quantifier Instantiation
Speaker: Traian Serbanuta
(FMI)
Mar 22, 2018, 10:00
FMI, Hall 202, IMAR
Dynamic logic of hybrid systems
Speaker: Adriana Stancu
(FMI)
Mar 15, 2018, 10:00
FMI, Hall 202, IMAR
On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic
Speaker: Radu Iosif
(CNRS - VERIMAG, France)
Mar 2, 2018, 12:00
FMI, Hall 202, IMAR
Many-sorted polyadic modal logic
Speaker: Natalia Moanga
(Univ. of Bucharest)
Feb 22, 2018, 10:00
FMI, Hall 202, IMAR
Modal logic as higher-order logic III
Speaker: Mircea Dumitru
(Univ. of Bucharest)
Feb 8, 2018, 10:00
FMI, Hall 202, IMAR
First order interpretations in groups, rings and algebras II
Speaker: Mihai Prunescu
(Univ. of Bucharest/IMAR)
Jan 18, 2018, 10:00
FMI, Hall 202, IMAR
Modal logic as higher-order logic II
Speaker: Mircea Dumitru
(Univ. of Bucharest)
Jan 11, 2018, 10:00
FMI, Hall 202, IMAR
First order interpretations in groups, rings and algebras
Speaker: Mihai Prunescu
(IMAR/ FMI)
Dec 14, 2017, 10:00
FMI, Hall 202, IMAR
Modal logic as higher-order logic
Speaker: Mircea Dumitru
(University of Bucharest)
Dec 7, 2017, 10:00
FMI, Hall 202, IMAR
Fuzzy and more. Modelling philosophical theories of vagueness on a computer
Speaker: Marian Calborean
(University of Bucharest)
Nov 23, 2017, 10:00
FMI, Hall 202, IMAR
Lukasiewicz logic and MV-algebras II
Speaker: Ioana Leustean
(University of Bucharest)
Nov 16, 2017, 10:00
FMI, Hall 202, IMAR
Lukasiewicz logic and MV-algebras
Speaker: Ioana Leustean
(University of Bucharest)
Nov 9, 2017, 10:00
FMI, Hall 202, IMAR
Proof mining in convex optimization and nonlinear analysis
Speaker: Laurentiu Leustean
(FMI/ IMAR)
Nov 2, 2017, 10:00
FMI, Hall 202, IMAR
Modal logic as higher-order logic
Speaker: Mircea Dumitru
(University of Bucharest)
Oct 12, 2017, 10:00
FMI, Hall 202, IMAR
New coloring problems in graphs
Speaker: Ruxandra Marinescu-Ghemeci
(University of Bucharest)
Jun 15, 2017, 10:00
FMI, Hall 202, IMAR
Random Graphs and Zero-One Laws
Speaker: Irina Gutanu
(University of Bucharest)
Jun 8, 2017, 10:00
FMI, Hall 202, IMAR
Proof mining in convex optimization II: the uniform case
Speaker: A. Sipos
(IMAR/UB)
May 25, 2017, 10:00
FMI, Hall 202, IMAR
Proof mining in convex optimization
Speaker: Andrei Sipos
(IMAR)
May 18, 2017, 10:00
FMI, Hall 220, IMAR
A logic-programming approach to graph transformation
Speaker: Ionuț Țuțu
(Royal Holloway, University of London)
May 4, 2017, 10:00
FMI, Hall 202, IMAR
An application of p-adic norms in geometry
Speaker: Mihai Prunescu
(IMAR)
Apr 6, 2017, 10:00
FMI, Hall 220, IMAR
Predicting Human Personality from Social Media using a Fuzzy Neural Network
Speaker: Iuliana Iatan
(Technical Univ. of Civil Engineering)
Mar 30, 2017, 10:00
FMI, Hall 202, IMAR
Theories of Compositionality. Kit Fine`s Semantic Relationism
Speaker: Mircea Dumitru
(University of Bucharest)
Mar 16, 2017, 10:00
FMI, Hall 202, IMAR
Approximation algorithms for NP-hard problems
Speaker: Alex Popa
Mar 9, 2017, 10:00
FMI, Hall 202, IMAR
Treewidth vs. Treelength
Speaker: Guillaume Ducoffe
Mar 2, 2017, 10:00
FMI, Hall 202, IMAR
Exact and exhaustive Boolean minimization algorithms applied in fuzzy set QCA
Speaker: Adrian Dusa
Feb 23, 2017, 10:00
FMI, Hall 202, IMAR
Knowability and Fitch`s Paradox in Dynamic Epistemic Logic
Speaker: Alexandru Dragomir
(University of Bucharest)
Feb 16, 2017, 10:00
FMI, Hall 202, IMAR
An introduction to dynamic epistemic logic
Speaker: Alexandru Dragomir
(University of Bucharest)
Feb 9, 2017, 10:00
FMI, Hall 202, IMAR
Yes, No, Perhaps: A logical introduction to quantum computation
Speaker: Roberto Giuntini
Nov 28, 2016, 17:00
FMI, Hall 202, IMAR
Decidability and definability in number theory II
Speaker: Mihai Prunescu
Nov 24, 2016, 10:00
FMI, Hall 202, IMAR
Decidability and definability in number theory
Speaker: Mihai Prunescu
Nov 17, 2016, 10:00
FMI, Hall 202, IMAR
QCA - Qualitative Comparative Analysis. An application of boolean algebra and fuzzy sets
Speaker: Adrian Dusa
Nov 10, 2016, 10:00
FMI, Hall 202, IMAR
Skolemization for Substructural Logics
Speaker: Denisa Diaconescu
(University of Bucharest)
Jun 9, 2016, 10:00
FMI, Hall 202, IMAR
Proof mining and families of mappings
Speaker: Andrei Sipos
(IMAR and University of Bucharest)
May 19, 2016, 10:00
FMI, Hall 202, IMAR
Partial Membership Equational Logic II
Speaker: Traian Serbanuta
(University of Bucharest)
Apr 21, 2016, 10:00
FMI, Hall 202, IMAR
Partial Membership Equational Logic
Speaker: Traian Serbanuta
(University of Bucharest)
Apr 14, 2016, 10:00
FMI, Hall 202, IMAR
Finitely presented structures in Lukasiewicz logic
Speaker: Ioana Leustean
(University of Bucharest)
Apr 7, 2016, 10:00
FMI, Hall 202, IMAR
Free logic for Fictionalism II
Speaker: Mircea Dumitru
(University of Bucharest)
Mar 31, 2016, 10:00
FMI, Hall 220, IMAR
A many-sorted approach to the Special Theory of Relativity III
Speaker: Mihai Prunescu
Mar 24, 2016, 10:00
FMI, Hall 220, IMAR
Free logic for Fictionalism
Speaker: Mircea Dumitru
(University of Bucharest)
Mar 17, 2016, 10:00
FMI, Hall 220, IMAR
A many-sorted approach to the Special Theory of Relativity II
Speaker: Mihai Prunescu
Mar 10, 2016, 10:00
FMI, Hall 220, IMAR
A many-sorted approach to the Special Theory of Relativity
Speaker: Mihai Prunescu
Mar 3, 2016, 10:00
FMI, Hall 220, IMAR
Distribution calculus: maxitive probabilities vs. additive probabilities
Speaker: Laura Franzoi
(Univ. of Bucharest and Univ. of Trieste)
Feb 25, 2016, 10:00
FMI, Hall 220, IMAR
Applied Proof Theory V
Speaker: Andrei Sipos
Feb 18, 2016, 10:00
FMI, Hall 220, IMAR
Applied Proof Theory IV
Speaker: Andrei Sipos
Feb 11, 2016, 10:00
FMI, Hall 220, IMAR
Applied Proof Theory III
Speaker: Andrei Sipos
Feb 4, 2016, 10:00
FMI, Hall 220, IMAR
Applied Proof Theory II
Speaker: Andrei Sipos
Jan 28, 2016, 10:00
FMI, Hall 220, IMAR
Applied Proof Theory I
Speaker: Andrei Sipos
Jan 21, 2016, 10:00
FMI, Hall 220, IMAR
Matching logic VII
Speaker: Traian Serbanuta
(University of Bucharest)
Jan 14, 2016, 10:00
FMI, Hall 220, IMAR
Multiple-parameterized behavioural specifications
Speaker: Ionuț Țuțu
(Royal Holloway, University of London)
Jan 7, 2016, 13:00
FMI, Hall 220, IMAR
Free Jazz and Service-Oriented Improvisations
Speaker: Claudia Chirita
(Royal Holloway University of London)
Jan 7, 2016, 12:00
FMI, Hall 220, IMAR
Matching logic VI
Speaker: Traian Serbanuta
(University of Bucharest)
Dec 10, 2015, 10:00
FMI, Hall 220, IMAR
Matching logic V
Speaker: Traian Serbanuta
(University of Bucharest)
Dec 3, 2015, 10:00
FMI, Hall 220, IMAR
On MV-algebras with convexity operators
Speaker: Serafina Lapenta
(University of Salerno)
Nov 26, 2015, 11:15
FMI, Hall 220, IMAR
Theory of Logical Consequence - past, present and future
Speaker: Jacek Malinowski
(Polish Academy of Sciences)
Nov 26, 2015, 10:00
FMI, Hall 220, IMAR
Matching logic IV
Speaker: Traian Serbanuta
(FMI)
Nov 19, 2015, 10:00
FMI, Hall 220, IMAR
Matching logic III
Speaker: Traian Serbanuta
(FMI)
Nov 12, 2015, 10:00
FMI, Hall 220, IMAR
Matching logic II
Speaker: Traian Serbanuta
(FMI)
Nov 5, 2015, 10:00
FMI, Hall 220, IMAR
Matching logic
Speaker: Traian Serbanuta
(FMI)
Oct 29, 2015, 10:00
FMI, Hall 220, IMAR
Continuous p-adic functions II
Speaker: Mihai Prunescu
Oct 22, 2015, 10:00
FMI, Hall 220, IMAR
Continuous p-adic functions
Speaker: Mihai Prunescu
Oct 15, 2015, 10:00
FMI, Hall 220, IMAR
Coalgebraic logic over (po)sets
Speaker: Adriana Balan
(UPB)
Jun 19, 2015, 12:00
FMI, Hall 220, IMAR
Ultraproducts and metastability II
Speaker: Andrei Sipos
Jun 12, 2015, 12:00
FMI, Hall 220, IMAR
Ultraproducts and metastability I
Speaker: Andrei Sipos
Jun 5, 2015, 12:00
FMI, Hall 220, IMAR
Ellerman`s generalized ultraproducts II
Speaker: Andrei Sipos
May 29, 2015, 12:00
FMI, Hall 220, IMAR
Truely perfect recall and commitment in Alternating-Time Temporal Logics
Speaker: Matei Popovici
(University Politehnica of Bucharest)
May 22, 2015, 10:00
FMI, Hall 202, IMAR
Ellerman`s generalized ultraproducts I
Speaker: Andrei Sipos
May 15, 2015, 15:00
FMI, Hall 220, IMAR
A group of Thompson and one of its effects in model theory
Speaker: Mihai Prunescu
Apr 24, 2015, 12:00
FMI, Hall 220, IMAR
Forcing in Model Theory II
Speaker: Andrei Sipos
Apr 17, 2015, 12:00
FMI, Hall 220, IMAR
Forcing in Model Theory I: Finite Forcing
Speaker: Andrei Sipos
Apr 3, 2015, 12:00
FMI, Hall 220, IMAR
Edgington`s Verificationist Thesis and Fitch`s Paradox in an Epistemic-Temporal Framework
Speaker: Alexandru Dragomir
(University of Bucharest)
Mar 27, 2015, 12:00
FMI, Hall 220, IMAR
Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process
Speaker: Gabriel Istrate
(West Univ. of Timisoara and e-Austria)
Mar 20, 2015, 12:00
FMI, Hall 220, IMAR
Decidable Horn Systems with Difference Constraints
Speaker: Radu Iosif
(CNRS-VERIMAG, Franta)
Mar 6, 2015, 12:00
FMI, Hall 220, IMAR
Proving Morley`s Theorem III
Speaker: Andrei Sipos
Feb 27, 2015, 12:00
FMI, Hall 220, IMAR
Proving Morley`s Theorem II
Speaker: Andrei Sipos
Feb 20, 2015, 12:00
FMI, Hall 220, IMAR
Proving Morley`s Theorem I
Speaker: Andrei Sipos
Feb 13, 2015, 12:00
FMI, Hall 220, IMAR
Title: Mutually exclusive nuances of truth in Moisil logic
Speaker: Denisa Diaconescu
(FMI and University of Bern)
Dec 19, 2014, 13:00
FMI, Hall 220, IMAR
Dealing with preferences: on constraint algebras and graded satisfaction
Speaker: Claudia Chirita
(Royal Holloway, University of London)
Dec 19, 2014, 12:00
FMI, Hall 220, IMAR
Self-assembling interactive modules: A research programme
Speaker: Gheorghe Stefanescu
(FMI)
Dec 12, 2014, 12:00
FMI, Hall 220, IMAR
Abstraction Refinement for Trace Inclusion of Data Automata
Speaker: Radu Iosif
(CNRS - VERIMAG, France)
Dec 5, 2014, 12:00
FMI, Hall 220, IMAR
Categorial Interpretations III
Speaker: Andrei Sipos
Nov 28, 2014, 12:00
FMI, Hall 220, IMAR
Categorial Interpretations II
Speaker: Andrei Sipos
Nov 21, 2014, 12:00
FMI, Hall 220, IMAR
Categorial Interpretations I
Speaker: Andrei Sipos
Nov 14, 2014, 12:00
FMI, Hall 220, IMAR
Deciding Entailments in Inductive Separation Logic with Tree Automata
Speaker: Radu Iosif
(CNRS - VERIMAG, France)
Oct 31, 2014, 12:00
FMI, Hall 220, IMAR
Paraconsistent Logic, the Square of Opposition and Universal Logic
Speaker: Jean-Yves Beziau
(Federal University of Rio de Janeiro)
Jun 11, 2014, 10:30
Amfiteatrul "Miron Nicolescu", IMAR
Finding generalised periodicities in words
Speaker: Florin Manea
(Kiel University)
Jun 3, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
The ubiquity of trees: from relative quantifier elimination to deformations of groups and rings III
Speaker: Serban Basarab
May 27, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
The ubiquity of trees: from relative quantifier elimination to deformations of groups and rings II
Speaker: Serban Basarab
(IMAR)
May 20, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
The ubiquity of trees: from relative quantifier elimination to deformations of groups and rings
Speaker: Serban Basarab
May 13, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Independence-friendly logic and the Monty Hall problem
Speaker: Silviu Velica
(University of Bucharest)
May 6, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Silogistica booleana a judecatilor de predicatie
Speaker: Sergiu Rudeanu
(Universitatea din Bucuresti)
Apr 29, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Some progress in 3-SAT
Speaker: Mihai Prunescu
(IMAR)
Apr 1, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Baker-Beynon duality for Riesz MV-algebras
Speaker: Serafina Lapenta
(Universita` degli studi della Basilicata)
Mar 18, 2014, 15:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Secret sharing and secret-sharing based group key establishment
Speaker: Ruxandra Olimid
(University of Bucharest)
Mar 6, 2014, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Public Announcement Logic II
Speaker: Alexandru Dragomir
(University of Bucharest)
Feb 13, 2014, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Public Announcement Logic
Speaker: Alexandru Dragomir
(University of Bucharest)
Feb 6, 2014, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Unit Cost Complexity II
Speaker: Mihai Prunescu
(IMAR)
Jan 23, 2014, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Unit Cost Complexity I
Speaker: Mihai Prunescu
(IMAR)
Jan 16, 2014, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Model-theoretic foundations of logic programming
Speaker: Ionuț Țuțu
(Royal Holloway, University of London)
Dec 19, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Introduction to Descriptive Complexity III
Speaker: Claudia Chirita
(Univ. of Bucharest)
Dec 12, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Introduction to Descriptive Complexity II
Speaker: Claudia Chirita
(Royal Holloway University of London)
Dec 5, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Introduction to Descriptive Complexity
Speaker: Claudia Chirita
(University of Bucharest)
Nov 28, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Recurent and automatic n-dimensional sequences over finite alphabets II
Speaker: Mihai Prunescu
(IMAR)
Nov 14, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Recurent and automatic n-dimensional sequences over finite alphabets
Speaker: Mihai Prunescu
(IMAR)
Nov 7, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
A general approach to de Finetti`s criterion for uncertainty measures on many-valued events
Speaker: Tommaso Flaminio
(Università dell`Insubria)
Oct 31, 2013, 12:00
Sala 306-307 "Constantin Banica", IMAR
A proposal of a unified theory for the foundations of mathematics
Speaker: Alexandru Muresan
Jun 27, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
First steps into non-standard analysis (III)
Speaker: Andrei Sipos
Jun 6, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
First steps into non-standard analysis (II)
Speaker: Andrei Sipos
May 30, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
First steps into non-standard analysis
Speaker: Andrei Sipos
May 23, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
An invitation to ultraproducts II
Speaker: Andrei Sipos
Apr 25, 2013, 12:00
Sala 306-307 "Constantin Banica", IMAR
An invitation to ultraproducts
Speaker: Andrei Sipos
Apr 18, 2013, 12:00
Sala 306-307 "Constantin Banica", IMAR
Logical metatheorems for metric spaces II
Speaker: Daniel Ivan
Mar 28, 2013, 12:00
Sala 306-307 "Constantin Banica", IMAR
Logical metatheorems for metric spaces I
Speaker: Daniel Ivan
Mar 21, 2013, 12:00
Sala 306-307 "Constantin Banica", IMAR
2. Institution theory: internal logic
Speaker: Razvan Diaconescu
Mar 7, 2013, 14:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
1. Institution theory: introduction
Speaker: Razvan Diaconescu
Mar 7, 2013, 11:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
The use of modal operators for more efficient functional synthesis I
Speaker: Dan Hernest
Feb 28, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
An application of proof mining to nonlinear iterations IV
Speaker: Laurentiu Leustean
Feb 21, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
An application of proof mining to nonlinear iterations III
Speaker: Laurentiu Leustean
Feb 14, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
An application of proof mining to nonlinear iterations II
Speaker: Laurentiu Leustean
Feb 7, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
An application of proof mining to nonlinear iterations I
Speaker: Laurentiu Leustean
Jan 31, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Proof interpretations IV
Speaker: Daniel Ivan
Jan 24, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Omitting types theorem for a non-commutative many-valued logic
Speaker: Denisa Diaconescu
(FMI)
Jan 17, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Proof interpretations III
Speaker: Daniel Ivan
Jan 10, 2013, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Proof interpretations II
Speaker: Daniel Ivan
Dec 20, 2012, 14:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Proof interpretations I
Speaker: Daniel Ivan
Dec 12, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR