List of conferences - page 19


CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software
by Ezio Ezio Bartocci, March 9, 2018

CALL FOR PARTICIPATION

ETAPS 2018

21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018

Thessaloniki, Greece, 14-20 April 2018

http://www.etaps.org/index.php/2018

Call for Papers -- ManLang'18: 15th International Conference on Managed Languages & Runtimes
by Rick Rabiser, Feb. 28, 2018

ManLang (formerly PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications).

ManLang'18 will be held in Linz, Austria, September 10-14. See http://ssw.jku.at/manlang18/ for more information.

Call for Posters - ECOOP / ISSTA 2018
by Lisa Nguyen Quang Do, Feb. 28, 2018

We call for posters for the co-located conferences ECOOP and ISSTA in Amsterdam!

Deadline: 18th May 2018

Papers accepted at ECOOP, ISSTA and their co-located workshops are pre-accepted if they wish to present a poster. In that case, authors should register their posters before the 22nd of June 2018.

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

CFP for VL/HCC 2018

Euro-Par 2018 Conference, Turin, Italy (opening talk by Turing award SIlvio Micali)
by Massimo Torquati, Jan. 5, 2018

Euro-Par 2018 -- Call for Papers

iFM 2018 Call For Paper
by Hao Wu, Dec. 11, 2017

iFM 2018 Call For Paper

CfP VECoS 2018 || September 26-28, 2018 - Grenoble, France
by Simon Bliudze, Dec. 3, 2017

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are interrelated. 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.

*last CFP* ESOCC 2017 / EU projects track
by Antonio Brogi, Aug. 29, 2017

*last CFP* ESOCC 2017 / EU projects track