Name: Formalizing Gödel’s System T in Lean
Start: 2021-02-25T10:00:00+02:00
End: 2021-02-25T12:00:00+02:00

SECURITY & APPLIED LOGIC

Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest

Home
News
Seminars
Academic Staff
Contact

Loading view.

Events Search and Views Navigation

Enter Keyword. Search for Events by Keyword.

Event Views Navigation

List
Month
Day

Today

Select date.

8:30 am

December 12, 2019 @ 8:30 am - 11:00 am

Executarea, detecţia și prevenţia atacurilor de tip R.O.P

Facultatea de Matematica si Informatica, sala Google

Speaker: Sorin-Gabriel Radu (University of Bucharest) Abstract: Va fi prezentată o versiune extinsă a lucrări de licență ce va prezenta concepte de Return Orientated Programming, o tehnică de reciclare și combinare …

10:00 am

December 12, 2019 @ 10:00 am - 12:00 pm

Operational Semantics of Security Protocols II

Facultatea de Matematica si Informatica, sala 202

Speaker: Ioana Leustean (University of Bucharest) Abstract: We continue our presentation on operational semantics of security protocols, as developed in: C. Cremers, S. Mauw, Operational Semantics and Verification of Security …

Previous Day
Next Day

Google Calendar
iCalendar
Outlook 365
Outlook Live
Export .ics file
Export Outlook .ics file

Location

Faculty of Mathematics and Computer Science, University of Bucharest,
Academiei 14,
Sector 1, Bucharest 010014

About

Website for the Security and Applied Logic Master’s Program.