News
From vecolib
- Radu Iosif will attend a Bellairs Institute workshop on infinite-state systems.
- Radu Iosif will give an invited talk at the Logic Seminar of the University of Bucharest.
- The VECOLIB website has been restored, after previous shutdown due to piracy attempts.
- Prof. Chin Wei Ngan (National University of Singapore) will give an introductory course in Automatic Program Verification using Separation Logic on December 12, 16 and 18 at VERIMAG.
