List of workshops
- CfP: 12th Interaction and Concurrency Experience (ICE 2019)
ICE 2019
12th Interaction and Concurrency Experience
June 20-21, 2019, Lyngby, Denmark
Satellite workshop of DisCoTec 2019
http://www.discotec.org/2019/ice
Paper submission: https://easychair.org/conferences/?conf=ice20190
- CFPart: [email protected] - 4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
Call for Participation: CREST 2019
4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
Prague, Czech Republic, April 7, 2019
https://conf.researchr.org/track/etaps-2019/crest-2019-papers
- F-IDE 2019 - 5th Workshop on Formal Integrated Development Environments - CfP
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.
- ARRAY 2019
ARRAY workshop at PLDI 2019, as part of FCRC: Phoenix, Arizona, 22nd June 2019
- Design and Analysis of Robust Systems (DARS 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.
https://sites.google.com/view/dars2019
- HLPP-2019 Call for papers
12th International Symposium on High-Level Parallel Programming and Applications (HLPP-2019)
3-5 July 2019, Linköping, Sweden
https://www.ida.liu.se/conferences/hlpp2019/
- Call for Applications: ETAPS Mentoring Workshop, 7 April 2019
*NEW* - ETAPS 2019 is running a mentoring workshop to encourage
students to pursue graduate studies.The workshop is held on Sunday April 7 in conjunction with ETAPS
in Prague.
In addition to the workshop on Sunday, attendees are invited to
mentoring breakfasts and evening lectures.- Trends in Functional Programming in Education (TFPIE) 2019
The 2019 edition of Trends in Functional Programming in Education will be held at University of British Columbia, Vancouver Canada, co-located with TFP. TFPIE takes place on June 11, followed by TFP June 12-14.
