conference

EuroSys 2018 | 13th Edition of European Conference on Computer Systems

Date: 
Monday, April 23, 2018, 8:00am - Thursday, April 26, 2018, 1:00pm

The EuroSys conference series brings together professionals from academia and industry. It has a strong focus on systems research and development: operating systems, database systems, real-time systems, network middleware, distributed, parallel, or embedded computing systems. EuroSys has become a premier forum for discussing various issues of systems software research and development, including implications related to hardware and applications.

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

Date: 
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

Date: 
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.

http://ramics2015.di.uminho.pt/

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: