List of workshops - page 11


[email protected] 2015: Call for talk proposals
by Ali Afroozeh, July 13, 2015

The goal of this workshop is to bring together today's experts in the fields of
parser construction and parser application from across the diverse application
areas. Participants will present ongoing work as well as explore the challenges
that lie ahead. By bringing the whole community together (a rare occurrence,
given the diversity of domain-specific conferences/workshops), we hope to have
a wide-ranging collection of talks on parsing-related topics, and forge new
collaborations.

Call for Papers: WODA 2015
by Yudi Zheng, June 22, 2015

The 13th International Workshop on Dynamic Analysis (WODA'15)

5th International Workshop on Cyber-Physical Systems (Extended Deadline: June 17)
by Mohammad Mousavi, June 11, 2015

===========================================

The Fifth International Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)

Amsterdam, The Netherlands

http://www.cyphy.org/

Extended Deadline: June 17, 2015 (Anywhere on Earth)

===========================================

AVoCS 2015: Extended Paper Deadline
by Yuhui Lin, June 8, 2015

======================================================================
---------------|*** AVoCS 2015: Deadline Extension ***|---------------
======================================================================

*NEW* Submission of abstract (full papers): 15th June 2015
*NEW* Submission of full papers: 19th June 2015

======================================================================

The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UK

https://sites.google.com/site/avocs15/
[email protected]

-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Student support from FME/SICSA sponsorships
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================

FINAL CALL FOR PAPERS
by Yuhui Lin, May 27, 2015

======================================================================
FINAL CALL FOR PAPERS

The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015

1-4 September 2015, Edinburgh, UK

https://sites.google.com/site/avocs15/
[email protected]

-----------------------|*** HIGHLIGHTS ***|----------------------------

+ Paper deadline: 12th June (with abstract due 5th June)
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Student support from FME/SICSA sponsorships
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================

CALL FOR PAPERS: FHPC 2015
by Greg Michaelson, April 7, 2015

The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations.

AVoCS 2015: Second Call for Papers
by Yuhui Lin, March 27, 2015

SECOND CALL FOR PAPERS

The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015

1-4 September 2015, Edinburgh, UK

https://sites.google.com/site/avocs15/
[email protected]

Final CFP: Workshop on Generic Programming (WGP) 2014
by José Pedro Magalhães, May 2, 2014

Apologies for multiple postings.

======================================================================
CALL FOR PAPERS

WGP 2014

10th ACM SIGPLAN Workshop on Generic Programming
Gothenburg, Sweden
Sunday, August 31, 2014

http://www.wgp-sigplan.org/2014

Co-located with the
International Conference on Functional Programming (ICFP 2014)
======================================================================