The old site
>> Research >> Scientific Seminars >> Archive >> Logic seminar >> 2012
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 seminar 2012
  • Proof interpretations II
    Speaker: Daniel Ivan
    Thursday, December 20, 2012, 14:00
    Sala 309-310 "Gheorghe Vranceanu", IMAR
  • Proof interpretations I
    Speaker: Daniel Ivan
    Wednesday, December 12, 2012, 12:00
    Sala 309-310 "Gheorghe Vranceanu", IMAR