List of workshops - page 13
- AVoCS 2015: Extended Paper Deadline
======================================================================
---------------|*** 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, UKhttps://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
======================================================================
FINAL CALL FOR PAPERSThe 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 20151-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
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
SECOND CALL FOR PAPERS
The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 20151-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
[email protected]- Final CFP: Workshop on Generic Programming (WGP) 2014
Apologies for multiple postings.
======================================================================
CALL FOR PAPERSWGP 2014
10th ACM SIGPLAN Workshop on Generic Programming
Gothenburg, Sweden
Sunday, August 31, 2014http://www.wgp-sigplan.org/2014
Co-located with the
International Conference on Functional Programming (ICFP 2014)
======================================================================- TAPAS 2014 - Workshop on Tools for Automatic Program Analysis
In the last ten years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation and static analysis tool users.
- CFP: Workshop on Real-world Domain Specific Languages
Workshop on Real World Domain Specific Languages
Thursday, 1st May, 2014
Heriot-Watt University, Edinburgh, ScotlandCall for Contributions
We’re pleased to invite contributions to a one day Workshop on Real World Domain Specific Languages to be held at Heriot-Watt University on 1st May, 2014. The Workshop is sponsored by the EPSRC Rathlin project and the Scottish Informatics & Computer Science Alliance (SICSA).
We are particularly interested in stand-alone DSLs that address some real world need, rather than experimental DSLs exemplifying language properties. We are also interested in discussion of the whole notion of a DSL, especially “embedded” DSLs.
- PLACES 2014: deadline extended until 3rd January 2014
CALL FOR PAPERS
PLACES'14
Programming Language Approaches to Concurrency and communication-cEntric Software
April 2014, Grenoble, France
Affiliated with ETAPS 2014
