Lindström’s Theorems II
Speaker: Mihai Prunescu (University of Bucharest) Abstract: Regular logic systems which are strictly stronger than the first order predicate calculus cannot satisfy in the same time Löwenheim-Skolem for statements and …
10 events found.
Seminar
Events
-
-
Facultatea de Matematica si Informatica, sala 202
-
-
Verifying security protocols using BAN logic – Part 2
Facultatea de Matematica si Informatica, sala 202Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Epistemic logics - logics aimed at reasoning about knowledge and belief - are widely considered to be suitable for modelling, analyzing and predicting …
-
How to find bugs in your (x86) code: Applications that use RIVER
Facultatea de Matematica si Informatica, sala 202Speaker: Bogdan Ghimiș (University of Bucharest) Abstract: From a security perspective, discovering bugs before shipping a product is crucial. This presentation will be about RIVER, a tool that can help …
-
Around Hilbert’s Tenth Problem
Speaker: Mihai Prunescu (University of Bucharest) Abstract: We discuss different implications of the negative answer of Hilbert's Tenth Problem: the exponential Diophantine equation over ℕ and ℚ, the minimal number …
-
Blockchain – Intro
Facultatea de Matematica si Informatica, sala 219Speaker: Ruxandra Olimid (University of Bucharest) Abstract: Short (crypto) introduction in Blockchain. Mostly a reading group, discussing the original bitcoin paper: https://bitcoin.org/bitcoin.pdf
-
Anti-Malware Machine Learning
Facultatea de Matematica si Informatica, sala 202Speaker: Andra Băltoiu (University of Bucharest) Abstract: In a previous seminar, we introduced Dictionary Learning (DL), a machine learning method capable of handling the requirements of IoT-related tasks, motivated by …
-
-
An introduction to hybrid-dynamic first-order logic
Facultatea de Matematica si Informatica, sala 202Speaker: Ionuţ Ţuţu (Royal Holloway, University of London) Abstract: We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, …
-
House of clouds – sau cum sa auditezi un sistem in cloud
Facultatea de Matematica si Informatica, sala 219Speaker: Georgel Gheorghe este absolvent al facultatii de Electronica, Telecomunicatii si Tehnologia a informatiei. Este membru ISACA si detine certificari precum CISA (Certified Information Systems Auditor), CGEIT (Certified in the …
-
Protocols in Dynamic Epistemic Logic
Facultatea de Matematica si Informatica, sala 202Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed …
-
Dynamic Code Analysis
Speaker: Radu Velea (BitDefender) Abstract: Static code analysis methods have the advantage of providing deterministic and reliable results. Malware has evolved beyond the point where simple pattern matching algorithms or …