List of conferences - page 2


10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): First Call for Contributions
by George Angelos Papadopoulos, Feb. 4, 2018

CloudCom is the premier conference on Cloud Computing worldwide,
attracting researchers, developers, users, students and practitioners from
the fields of big data, systems architecture, services research, virtualization,
security and privacy, high performance computing, always with an emphasis
on how to build cloud computing platforms with real impact. The conference
is co-sponsored by the Institute of Electrical and Electronics Engineers (IEEE),
is steered by the Cloud Computing Association, and draws on the excellence
of its world-class Program Committee and its participants. CloudCom 2018
will be held in Nicosia, Cyprus between 10-13 December, 2018.

ICMT 2018 - 11th International Conference on Model Transformations - 2nd Call for Papers
by Jesús Sánchez Cuadrado, Feb. 3, 2018

CFP for the ICMT'18 conference.

CFP: VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing
by Rui Pereira, Feb. 2, 2018

CFP for VL/HCC 2018

2nd CfP VECoS 2018 || September 26-28, 2018 - Grenoble, France
by Simon Bliudze, Feb. 1, 2018

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.

Call for Submissions: MoDELS 2018: ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems
by ChristophSeidl, Jan. 24, 2018

Combined Call for Submissions (Papers, Workshops and Tutorials)

MoDELS 2018: ACM/IEEE 21st International Conference on Model Driven Engineering
Languages and Systems

Copenhagen, Denmark
October 14-19, 2018
http://www.modelsconference.org

Contributions related to all aspects of modeling, modeling languages and model-driven engineering are cordially invited to the 21st edition of MoDELS,
in Copenhagen, Denmark 14-19 October 2018.

MoDELS is the premier conference series for model-driven software and systems engineering. Since 1998, MoDELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MoDELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals. MoDELS 2018 is a forum for participants to exchange cutting-edge research results and innovative practical experiences around modeling and model-driven software and systems. This year’s edition will provide an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, security, open source, and sustainability. We invite you to join us at MoDELS 2018 and help shape the modeling methods and technologies of the future!

Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
by German Vidal, Jan. 24, 2018

Call for Papers

5th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Affiliated with ICLP at FLoC 2018

July 13, 2018 - Oxford, UK

https://www.sci.unich.it/hcvs18/

25th Static Analysis Symposium (SAS 2018) - First Call for Papers
by Caterina Urban, Jan. 17, 2018

---------------------------------------------------------------------

SAS 2018

25th Static Analysis Symposium

Freiburg im Breisgau, Germany, August 29th-August 31st, 2018

http://staticanalysis.org/sas2018

---------------------------------------------------------------------

2018 European Conference on Ambient Intelligence (AmI 2018): First Call for Papers
by George Angelos Papadopoulos, Jan. 16, 2018

The 2018 European Conference on Ambient Intelligence (AmI 2018) has a
focus on the role of Ambient Intelligence

"Towards a Smart and Human Centered Internet of Things".

We invite submissions of full and short papers as well as posters, presenting
original research. AmI 2018 is an interdisciplinary venue for leading
international researchers, designers, and practitioners that present and
discuss new results in Ambient Intelligence.

AmI builds on the success of thirteen predecessor conferences, which
started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More
information about the AmI series can be found here:
http://ami-conferences.org .

The Proceedings of AmI 2018 will be published by Springer in the Lecture
Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor
the Best Paper Award with 1,000 EUR.