List of workshops - page 3

F-IDE 2019 - 5th Workshop on Formal Integrated Development Environments - CfP
by Jose Proenca, March 14, 2019

The workshop is open to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It welcomes the presentation of tools, methods, techniques and experiments.

Design and Analysis of Robust Systems (DARS 2019)
by Justin Hsu, Feb. 26, 2019

4th International Workshop on the Design and Analysis of Robust Systems (DARS 2019). Co-located with CAV 2019 in New York, New York in mid-July, exact dates TBD.

7th Workshop on Advances in Programming Languages
by Maria João Varanda Pereira, Jan. 29, 2019

Programming languages are programmers' most basic tools. With appropriate programming languages one can drastically reduce
the cost of building new applications as well as maintaining
existing ones. In the last decades there have been many advances
in programming languages technology in traditional programming
paradigms such as functional, logic, and object-oriented programming, as well as the development of new paradigms such as aspect-oriented programming. The main driving force was and will be to better express programmers' ideas. Therefore, research in programming languages is an endless activity and the core of computer science. New language features, new programming paradigms, and better compile-time and run-time mechanisms can be foreseen in the future.

The aim of this event is to provide a forum for exchange of ideas and experience in topics concerned with programming languages and systems. Original papers and implementation reports are invited in all areas of programming languages.

CfP RoSE 2019
by Andreas Wortmann, Dec. 11, 2018

Second International Workshop on Robotics Software Engineering
Co-located with ICSE 2019
May 27, 2019, Montréal, QC, Canada

17th International Business Process Management Conference (BPM 2019)-CALL FOR WORKSHOP PROPOSALS
by KarolinWinter, Nov. 1, 2018

BPM 2019 is soliciting proposals for one-day or half-day workshops to be held before the main conference. Workshops facilitate the exchange of ideas and experiences among active researchers and stimulate discussions on new and emerging perspectives in line with the conference topics. Workshops may focus on specific research topics or be devoted to applications or standardization issues. Workshop proposals covering broad topics and that expand the scope of topics and paradigms traditionally represented at the BPM conference series are encouraged.

2nd CfP - SEMS'18: 5th International Workshop on Software Engineering Methods in Spreadsheets
by Jorge Mendes, June 26, 2018

* Second Call for Papers *
5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18)
October 1st, 2018, Lisbon, Portugal
Co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

* Important Dates *
Paper submission: July 13th, 2018
Authors notification: August 3rd, 2018
Camera ready version: August 17th, 2018
Workshop day: October 1st, 2018

Workshop on Model-Based Design of Cyber Physical Systems (CyPhy'18)
by Abd-Elhamid Taha, June 11, 2018

The workshop brings together researchers and practitioners working on model-based design of cyber physical system, based on a broad interpretation of the area, to collect and exchange expertise from a diverse set of disciplines.

DataMod 2018 - Call for Presentation Reports and Call for Participation
by Oana Andrei, May 31, 2018

Call for Presentations and Call for Participation -- DataMod 2018 : From Data to Models and Back -- Toulouse, France, 25-26 June 2018. The submission deadline for presentation reports is Thursday 7 June 2018 and the notifications will be sent out on Monday 11 June 2018.