List of conferences - page 2

12th Interaction and Concurrency Experience (ICE 2019): 2nd CfP
by Anastasia Mavridou, April 18, 2019

ICE 2019
12th Interaction and Concurrency Experience
June 20-21, 2019, Lyngby, Denmark

Satellite workshop of DisCoTec 2019

Paper submission:

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

First CfP: Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems HICSS 2020 Minitrack
by Tim A. Majchrzak, April 17, 2019

We invite submissions to the Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems HICSS 2020 Minitrack. Articles related to programming languages and systems are particularly welcomed!

23rd Pan-Hellenic Conference on Informatics (PCI 2019): First Call for Papers
by George Angelos Papadopoulos, April 14, 2019

The University of Nicosia, the University of Cyprus, the Open University
Cyprus and the Greek Computer Society organize the 23rd Pan-Hellenic
Conference on Informatics (PCI 2019) in Nicosia, Cyprus on November
28-30, 2019.

PCI 2019 aims to provide an effective channel of communication among
researchers, practitioners, decision-makers and entities concerned with the
latest research, scientific development and practice on ICT to discuss current,
state-of-the-art topics that are of relevance and significance for national
competitiveness as well as for sustainable, robust and equitable regional

Principles and Practice of Declarative Programming
by Ekaterina Komendantskaya, April 12, 2019

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.

Deadlines Extension TOOLS50+1 : Technology of Object-Oriented Languages and Systems 2019
by Sophie Ebersold, April 12, 2019

Deadlines for submissions to TOOLS 50+1 have been extended: Abstract registration deadline: April 12, 2019 / Submission deadline: April 26, 2019

SAS 2019, EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact: 26th Static Analysis Symposium, CfP
by Bor-Yuh Evan Chang, April 11, 2019

SAS 2019: EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact. Submit at with a special call for Trends in Static Analysis on static analysis and machine learning.

HackConf 2019
by Teodora Georgieva, April 9, 2019

A software development conference for developers, by developers.

16th International Conference on Formal Aspects of Component Software (FACS 2019)
by sungshik, April 9, 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.