List of workshops


CfP: 12th Interaction and Concurrency Experience (ICE 2019)
by Anastasia Mavridou, March 16, 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
by goessler, March 15, 2019

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
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.

ARRAY 2019
by Jeremy Gibbons, Feb. 27, 2019

ARRAY workshop at PLDI 2019, as part of FCRC: Phoenix, Arizona, 22nd June 2019

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.

https://sites.google.com/view/dars2019

HLPP-2019 Call for papers
by Christoph Kessler, Feb. 20, 2019

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
by Tarmo Uustalu, Feb. 16, 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
by Jurriaan Hage, Feb. 5, 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.

« previous123...1112next »