Archive for January 5th, 2009

(PN) ICECCS09 : CALL FOR PAPERS

========================================================================== Call for Papers for the Fourteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS09) www.iceccs.org ========================================================================== The goal of ICECCS is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines’ problems and solution techniques interact within the whole system. [...]

Re: [Concurrency] Temporal logic formula conflict detection

Vaughan’s answer made me realize that you can look at this question from very different perspectives, so I would like to add mine. The question of conflict detection in temporal logic is normally asked in the setting of something like Linear Temporal Logic (LTL). A “model” is usually one of two things: an infinite trace [...]

(PN) UML&AADL’2009 : CALL FOR PAPERS

********************************************************************** CALL FOR PAPERS: UML&AADL?2009 http://www.artist-embedded.org/artist/UML-AADL-2009.html Workshop held in conjunction with ICECCS 2009 The fourteenth IEEE International Conference on Engineering of Complex Computer Systems http://www.iceccs.org/ June 02, 2009 Potsdam, Germany ************************************************************************ Submission deadline: February 20, 2009 ————————————– Topics ====== New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features [...]

[Concurrency] PSI 2009 Call for Papers

[apologies for cross-posting] CALL FOR PAPERS Seventh International Andrei Ershov Memorial Conference PERSPECTIVES OF SYSTEM INFORMATICS 15-19 June, 2009, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru/psi09/index.shtml [AIMS AND SCOPE] PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps [...]

(PN) PSI 2009 Call for Papers

[apologies for cross-posting] CALL FOR PAPERS Seventh International Andrei Ershov Memorial Conference PERSPECTIVES OF SYSTEM INFORMATICS 15-19 June, 2009, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru/psi09/index.shtml [AIMS AND SCOPE] PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps [...]