FACS 2017 | 14th International Conference on Formal Aspects of Component Software

Tuesday, October 10, 2017, 9:00am - Friday, October 13, 2017, 1:00pm

The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of Things has brought to the fore new dimensions.

RAMiCS 2015 - 15th International Conference on Relational and Algebraic Methods in Computer Science

Monday, September 28, 2015 (All day) - Thursday, October 1, 2015 (All day)

The HASLab (INESC TEC / UM) is organizing the 15th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS'15.

RAMiCS 2015 will take place in Braga from Sep 28th to October 1st, 2015, in the Park Hotel near the Bom Jesus Sanctuary.

The scope of the conference covers, but is not limited to the theory of: