Offside
Corporate

INESC TEC, in the words of our partners – Statement by Luís Barruncho from CGI.

Limelight

Bárbara Maia, Marta Barbas, Lídia Vilas Boas, Vanda Ferreira and Pedro Almeida (CM), Mário Rui Pereira (CTM), Luís Filipe Antunes (CRACS), Sérgio Costa (CITE), Héber Sobreira, Elisabete Fernandes e Carlos Costa (CROB), Lino Oliveira (CSIG), Luís Miguel Miranda and João Ramos (CPES)

Have your say

"I have always believed – and I still do – that the key to the success of any organisation is the quality of its human resources. And in our service this is no exception.", Inês Castro (CF)

Free Nonsense

"Now, Portuguese people, yes come here and listen to me well: I know that you know the basics so why do you have to drive me crazy?", Dario Messina (CESE)

Gallery of the Uncommon

In fact, the initialism ECMLPKDD2015 is, in itself, a big data problem. For that reason, the organising committee chose it instead of a more pompous name.

Where are you now?

Every month INESC TEC sends highly qualified individuals into the market...

Jobs 4 the Boys & Girls

In this section, the reader may find reference to public announcements made by INESC TEC offering grants, contracts and other opportunities of the same kind.

Biptoon

More scenes of how life goes merrily on...

Subscribe BIP
 
 

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.

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 18 months. RAMiCS has taken place in all continents, except Oceania.