Hybrid Models

Models having two kinds of components that produce the same or similar results.
forum

Visible to the public CALL FOR PAPERS: The 27th International Conference on Concurrency Theory (CONCUR2016)

CALL FOR PAPERS

The 27th International Conference on Concurrency Theory (CONCUR2016)

Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/

co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).

event

Visible to the public  CONCUR 2016
Aug 23, 2016 7:00 am - Aug 26, 2016 6:00 pm EDT

The 27th International Conference on Concurrency Theory (CONCUR2016)

The 27th International Conference on Concurrency Theory will take place in Quebec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).

forum

Visible to the public  CfP: Work-in-Progress Session in WFCS 2016. May 3-6, 2016.

CALL FOR PAPERS WORK-IN-PROGRESS SESSION

12th IEEE World conference on Factory Communication Systems (WFCS 2016)

May 3-6, 2016 | Aveiro, Portugal | http://www.av.it.pt/wfcs2016/

Sponsored by: University of Aveiro, Portugal Telecommunications Institute, Portugal IEEE Industrial Electronics Society

Author's Schedule:

event

Visible to the public  FORMATS 2016
Aug 24, 2016 7:00 am - Aug 25, 2016 6:00 pm EDT

14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016)

FORMATS'16 takes place at Hotel Chateau Laurier in Quebec City, Canada, where it is colocated with CONCUR'16 and QEST'16.

Objectives