Scientific Calendar
|
Algebra and Logic Seminar
Friday, 25. March 2016, 11:00
Hits : 448
Algebra and Logic Seminar
The next meeting of the seminar will be held on March 25, 2016 (Friday), at 11:00, in Room 578 of the Institute of Mathematics and Informatics.
A talk on
Embedding Models of Concurrency in ITL with State Projection
will be delivered by Assoc. Prof. Dimitar Guelev, IMI - BAS.
Everybody is invited.
Contact: Algebra and Logic Department, http://www.math.bas.bg/algebra/seminarAiL/
Location: Room 578, Institute of Mathematics and Informatics