Taxonomic Search: franz OR frachetti

Results 1 - 10 of 23

Results

profile
event

Visible to the public  FroCoS 2015
Sep 21, 2015 8:00 am - Sep 24, 2015 5:00 pm CEST

10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)

GENERAL INFORMATION

The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015) will be held in Wroclow, Poland, from September 21 to September 24, 2015. Its main goal is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis.

event

Visible to the public  SANCS 2015
Sep 07, 2015 8:00 am - 5:00 pm CEST

1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems (SANCS 2015)

co-located with the 9th European Conference on Software Architecture (ECSA 2015)

forum

Visible to the public FroCoS 2015: second call for papers (extended submission deadline)

10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)

Wroclaw, Poland | September 21-24, 2015

Submission Deadlines:

  • May 4, 2015 (abstracts)
  • May 10, 2015 (full papers)

http://frocos2015.ii.uni.wroc.pl/

GENERAL INFORMATION

forum

Visible to the public CfP: SANCS 2015 - 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems

1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems (SANCS 2015)

Dubrovnik/Cavtat, Croatia | September 7, 2015
co-located with the 9th European Conference on Software Architecture (ECSA 2015)

event

Visible to the public  EUC 2015
Oct 21, 2015 8:00 am - Oct 23, 2015 5:00 pm CEST

13th IEEE/IFIP International Conferences on Embedded and Ubiquitous Computing (EUC'2015)

Porto, Portugal on October 21-23, 2015. http://www.fe.up.pt/euc2015

Important Dates:

forum

Visible to the public Extended Deadline - FMICS'15: 20th International Workshop onFormal Methods for Industrial Critical Systems

CALL FOR PAPERS (incl. deadline extension due to popular demand)

FMICS 2015
20th International Workshop on Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)

22-23 June 2015, Oslo, Norway

In co-location with FM 2015: 20th International Symposium on Formal Methods