Systems able to process data as it comes in, typically without buffering delays.
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:23pm
Call For Papers
Trento, Italy | September 6-10, 2017 | http://sefm17.fbk.eu/
The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:16pm
CALL FOR WORKSHOP PROPOSALS
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:16pm
CALL FOR WORKSHOP PROPOSALS
event
Submitted by Anonymous on Fri, 01/20/2017 - 12:14pm
15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017)
The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
forum
Submitted by akarns on Fri, 01/20/2017 - 11:45am
forum
Submitted by Anonymous on Fri, 01/20/2017 - 11:16am
CALL FOR WiP PAPERS - Deadline Extended (Jan 24)
The 23rd IEEE Real-Time Embedded Technology & Applications Symposium Work-in-Progress Session (RTAS-WIP 2017)
18 April, 2017 - Pittsburgh, PA, USA
forum
Submitted by Anonymous on Fri, 01/20/2017 - 11:03am
CALL FOR PAPERS AND ANNOUNCEMENT
event
Submitted by Anonymous on Fri, 01/20/2017 - 11:02am
17th International Conference on Application of Concurrency to System Design (ACSD 2017)
CONFERENCE SCOPE
The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:
* Formal models of computation and concurrency for the above systems and
event
Submitted by Anonymous on Wed, 12/28/2016 - 5:03pm
8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017)
The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial
forum
Submitted by Anonymous on Wed, 12/28/2016 - 4:47pm
CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS CALL FOR TUTORIALS & WORKSHOPS
***** Submissions of regular & special sessions papers due: April 9, 2017 *****
***** Submissions of work-in-progress papers: May 20, 2017 *****
