The formalization of system engineering models and approaches.
tearline
Submitted by volgy on Fri, 01/08/2021 - 12:19pm
tearline
Submitted by volgy on Thu, 10/22/2020 - 8:16am
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:15pm
Software Engineering and Formal Methods (SEFM 2020)
SEFM 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.
SEFM 2020 will be an entirely virtual event
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:07pm
17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)
SEFM 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.
Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:
Software Development Methods
forum
Submitted by knamuduri on Mon, 07/27/2020 - 9:46pm
An Innovation Challenge in Small Unmanned Aircraft System Communications for Students
event
Submitted by Anonymous on Fri, 07/24/2020 - 4:01pm
5th International Conference on Intelligent Transportation Engineering (IEEE ICITE2020)
!Notification about COVID-19! As the coronavirus(COVID-19) spreads worldwide and taking into account the various circumstances of the participants, this year the conference will be held in full virtual conference. We are creating a customized "ICITE online platform" that is a virtual environment where the attendees can present the papers and can participate in all the sessions that will be organized in a full immersive experience.
forum
Submitted by Anonymous on Fri, 07/24/2020 - 3:49pm
event
Submitted by Anonymous on Fri, 07/24/2020 - 3:29pm
26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020)
The 26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020) will be held in Hong Kong in December 2020. The conference provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:45pm
The 23rd IEEE International Conference on Intelligent Transportation (ITST 2020)
The 2020 annual flagship conference of the IEEE Intelligent Transportation Systems Society (ITSS) will be held in Rhodes, Greece. The International Conference on Intelligent Transportation Systems (ITSC) welcomes papers and presentations in the field of Intelligent Transportation Systems, dealing with new developments in theory, analysis, simulation and modeling, experimentation, demonstration, case studies, field operational tests, and deployments.
