The old site
>> Research >> Scientific Seminars >> Archive >> Logic and Computation Seminar >> 2023
Home
Activities This Week
People
Research Staff
Honorary Members
Administration
Visitors/Collaborators
Research
Research Groups
Research Projects
Research in Pairs – Bucharest
Lucian Bădescu Prize
LEA CNRS Franco-Roumain
GDRI ECO-Math
Scientific Seminars
Conferences/Workshops
Talks & Events
Other Events
PhD Programs
Outreach
Publications
Mathematical Reports
Revue Roumaine Math. Pures Appl.
Journal of Operator Theory
IMAR Preprints and Books
IMAR Newsletter
Library
About Us
Presentation
History
Photo Album
Contact
Links

 

 

 

 

 

 

 

Logic and Computation Seminar 2023
  • An introduction to experimental theorem proving
    Speaker: Ionuț Țuțu (IMAR)
    Wednesday, December 20, 2023, 18:30
    Online via Webex
  • J. Goguen’s Concept of Proof Events: Current State of Research and Perspectives
    Speaker: Ioannis Vandoulakis (Hellenic Open University)
    Wednesday, November 29, 2023, 18:30
    Online via Webex
  • Two recent logic-based verification languages
    Speaker: Răzvan Diaconescu (IMAR)
    Wednesday, September 27, 2023, 15:00
    Online via Webex