List of conferences - page 16
- 16th International Conference on Formal Aspects of Component Software (FACS 2019)
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.
- GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22
18th International Conference on Generative Programming: Concepts & Experiences (GPCE 2019)
October 21-22, 2019
Athens, Greece
(co-located with SPLASH 2019)https://conf.researchr.org/home/gpce-2019
http://twitter.com/GPCECONFIMPORTANT DATES
* Submission of abstracts: June 14, 2019
* Submission of papers: June 21, 2019
* Paper notification: August 9, 2019Submission site: https://gpce19.hotcrp.com/
- ECSS 2019 - First Call for Participation
The first call for participation has been released for the ECSS 2019. The 15th European Computer Science Summit - ECSS 2019 - will take place in Rome, Italy, Oct 28-30, dedicated to "Social Responsibility of Informatics".
- PPDP'19 Deadline Extension 10th May
DEADLINE EXTENSION TO *10 MAY* - PPDP 2019
21st International Symposium on
Principles and Practice of Declarative Programming7–9 October 2019, Porto, Portugal
Collocated with FM'19
http://ppdp2019.macs.hw.ac.uk
- 12th Interaction and Concurrency Experience (ICE 2019): 2nd CfP
ICE 2019
12th Interaction and Concurrency Experience
June 20-21, 2019, Lyngby, Denmark
Satellite workshop of DisCoTec 2019
http://www.discotec.org/2019/icePaper submission: https://easychair.org/conferences/?conf=ice20190
=== Highlights ===
- Distinctive selection procedure involving friendly forum interaction
- ICE welcomes full papers to be included in the proceedings
- ICE also welcomes oral communications of already published or preliminary work
- Publication of full papers in EPTCS
- Special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier)=== Important Dates === EXTENDED DEADLINE ====
April 26, 2019 ......................... abstract submission for research papers (>5pp + references)
April 29, 2019 ......................... paper submission for research papers (>5pp + references)
May 3, 2019 abstract submission for oral communications and short papers (<=5pp+references)
May 6, 2019 ... paper submission for oral communications and short papers (<=5pp+references)
May 24, 2019...............................Notification to authors
June 20-21, 2019.........................ICE in Lyngby, Denmark
July 15, 2019…............................Camera-ready for post-proceedings=== Scope ===
Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions.
The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.
We solicit contributions relevant to Interaction and Concurrency, including but not limited to:
* Formal semantics
* Process algebras and calculi
* Models and languages
* Protocols
* Logics and types
* Expressiveness
* Model transformations
* Tools, implementations, and experiments
* Specification and verification
* Coinductive techniques
* Tools and techniques for automation
* Synthesis techniques- Principles and Practice of Declarative Programming
The PPDP 2019 symposium brings together researchers from the declarative
programming communities, including those working in the functional, logic,
answer-set, and constraint handling programming paradigms. The goal is to
stimulate research in the use of logical formalisms and methods for analyzing,
performing, specifying, and reasoning about computations, including mechanisms
for concurrency, security, static analysis, and verification.- SAS 2019, EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact: 26th Static Analysis Symposium, CfP
SAS 2019: EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact. Submit at https://staticanalysis.org/sas2019 with a special call for Trends in Static Analysis on static analysis and machine learning.
- 16th International Conference on Formal Aspects of Component Software (FACS 2019)
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.
