First-order logic and vagueness
Speaker: Marian Calborean (University of Bucharest) Abstract: The Sorites paradox is usually studied as a propositional paradox. However, the general form of the Sorites is second-order, with three main features. …
10 events found.
Seminar
Events
-
-
Facultatea de Matematica si Informatica, sala 202
-
Off-the-Record Communication (OTR) si CryptoGo (joc de carti de criptografie)
Facultatea de Matematica si Informatica, amf.2 (Pompei)Title: Off-the-Record Communication (OTR) Speaker: Mihail-Iulian Plesa Abstract: Off-the-Record Communication (OTR) este un protocol care modealeaza o discutie dintre doua entitati, care ar trebui sa satisfaca anumite proprietati de securitate. …
-
-
Challenges in Banking
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Horia Velicu (BRD - Groupe Societe Generale) Abstract: Presentation of topics of interest for 2020, objectives and data available at BRD. Proposals for the themes for the applied research …
-
-
A quantitative analysis of the “Lion-Man” game
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Ulrich Kohlenbach (Technische Universität Darmstadt) Title: A quantitative analysis of the “Lion-Man” game Abstract: We analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More …
-
-
BLOCKCHAIN – More than a buzzword
Facultatea de Matematica si Informatica, sala 219Title: BLOCKCHAIN - More than a buzzword Speaker: Ionut-Daniel Dobos (MBN Technologies) Abstract: In this presentation we will take a look at the concept of a blockchain as a mean …
-
POSTPONED: Securing Businesses and Critical Infrastructure
Facultatea de Matematica si Informatica, sala GooglePOSTPONED UNTIL FURTHER NOTICE. Speaker: Ioan Constantin (Orange Romania) Abstract: A brief walkthrough some of the challenges in offering advanced cyber security solutions for Business and Critical Infrastructures, from a …
-
POSTPONED: Protocols in Dynamic Epistemic Logic
Facultatea de Matematica si Informatica, sala 202POSTPONED UNTIL FURTHER NOTICE. Speaker: Alexandru Dragomir (University of Bucharest) Title: Protocols in Dynamic Epistemic Logic Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning …
-
-
Formalizing Gödel’s System T in Lean
Title: Formalizing Gödel's System T in Lean Speaker: Horațiu Cheval (University of Bucharest) Abstract: In 1958, Gödel introduced his functional interpretation as a method of reducing the consistency of first-order …
-
-
Unwinding of proofs
Title: Unwinding of proofs Speaker: Pedro Pinto (TU Darmstadt) Abstract: The unwinding of proofs program dates back to Kreisel in the fifties and rests on the following broad question: “What …
-
Exponential Diophantine equations over ℚ
Title: Exponential Diophantine equations over ℚ Speaker: Mihai Prunescu (University of Bucharest & IMAR) Abstract: In a previous exposition we have seen that the solvability over ℚ is undecidable for …