List of conferences


SBMF 2019, Deadline Extension, New Publication Model
by Mohammad Mousavi, July 18, 2019

NEW DATES

Paper Submission Deadline: **Tuesday 30 July 2019**
Paper Acceptance Notification: Tuesday 10 September 2019
Paper Camera-ready Version: Tuesday 24 September 2019

SBMF 2019 PUBLICATION MODEL
All papers will go through the review process of Science of Computer Programming and if accepted, will appear as a journal paper.

46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Fourth Call for Papers
by George Angelos Papadopoulos, July 18, 2019

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science. The first SOFSEM was
organized in 1974. SOFSEM consists of invited talks by prominent
researchers, of contributed talks selected from the submitted papers, and of
the Student Research Forum. The program is organized in plenary talks and
parallel tracks devoted to original research in the selected research areas.

23rd Pan-Hellenic Conference on Informatics (PCI 2019): Third Call for Papers
by George Angelos Papadopoulos, July 12, 2019

The University of Nicosia, the University of Cyprus, the Open University
Cyprus and the Greek Computer Society organize the 23rd Pan-Hellenic
Conference on Informatics (PCI 2019) in Nicosia, Cyprus on November
28-30, 2019.

PCI 2019 aims to provide an effective channel of communication among
researchers, practitioners, decision-makers and entities concerned with the
latest research, scientific development and practice on ICT to discuss current,
state-of-the-art topics that are of relevance and significance for national
competitiveness as well as for sustainable, robust and equitable regional
development.

Call for Papers: PPoPP 2020
by Vijay Nagarajan, July 10, 2019

Call for Papers
PPoPP 2020: 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
San Diego, California, USA. (collocated with HPCA-2020 and CGO-2020)
Conference URL: https://ppopp20.sigplan.org
* Paper registration and abstract submission: July 31, 2019
* Full paper submission: August 6, 2019

16th International Conference on Formal Aspects of Component Software (FACS 2019)
by sungshik, June 20, 2019

FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

8th International Conference on Model-Driven Engineering and Software Development
by Calendar_Sites_INSTICC, June 19, 2019

The purpose of the International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for Software Development. Model-Driven Development (MDD) is an approach to the development of IT systems in which models take a central role, not only for analysis of these systems but also for their construction. MDD has emerged from modelling initiatives, most prominently the Model-Driven Architecture (MDA) fostered by the Object Management Group (OMG). In the scope of MDA, a couple of technologies have been developed that became the cornerstones of MDD, like metamodelling and model transformations. MDD relies on languages for defining metamodels, like the Meta-Object Facility (MOF) and Ecore (developed in the scope of the Eclipse Modelling Framework), and transformation specification languages like QVT and ATL.

CGO 2020 - Call for Papers
by fabian_gruber, June 12, 2019

IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
co-located with PPoPP and HPCA
San Diego, CA, USA
February 22 - 26, 2020

Details at http://cgo.org/

IMPORTANT DATES
* Submission of abstracts: August 30, 2019
* Submission of papers: September 6, 2019
* Paper notification: October 22, 2019

FM Tool Exhibition: Call for Tools
by Stephan Merz, June 11, 2019

Are you developing a software tool that supports the application of formal methods? Please consider participating in the Tool Exhibition during the 3rd World Congress on Formal Methods in Porto. Both academic and industrial tools are welcome.

« previous123...1819next »