INESC TEC organises international conference on Computer Science

INESC TEC organises international conference on Computer Science

INESC TEC’s High-Assurance Software Laboratory (HASLab) is organised 15th edition of RAMiCS – International Conference on Relational and Algebraic Methods in Computer Science, which took place between 28 September and 1 October, in the city of Braga, Porto.

09th October 2015

Several dozens of researchers from about 20 nationalities participated in the RAMiCS, an international forum in the areas of Mathematics and Computing, more specifically in the application of algebraic techniques to software engineering.

The events were attended by researchers such as Ernst-Erich Doberkat, professor at the Technical University of Dortmund, in Germany, Gheorghe Stefanescu, professor at the University of Bucharest, in Romania, and Ian Hodkinson, professor at Imperial College, United Kingdom.

The first edition of this conference took place in 1991, in Warsaw, as part of the “38th Banach Semester, Algebraic methods in logic and their computer science applications.” Ever since then, the conference is organised every 18th months. RAMiCS has taken place in all continents, except Oceania.

INESC TEC, September 2015