List of conferences - page 3


CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE
by Martin Leucker, April 27, 2019

RV Conference, part of Formal Methods Week in Porto
Deadline for Submission extended till 21st of May 2019

The Programming Journal, Volume 4, Issue 2
by smarr, April 23, 2019

The Art, Science, and Engineering of Programming aims at closing this
gap by focusing primarily on programming: the art itself (programming
styles, pearls, models, languages), the emerging science of understanding
what works and what doesn’t work in general and in specific contexts,
as well as more established engineering and mathematical perspectives.

46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): First Call for Papers
by George Angelos Papadopoulos, April 20, 2019

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science. The first SOFSEM was
organized in 1974. SOFSEM consists of invited talks by prominent
researchers, of contributed talks selected from the submitted papers, and of
the Student Research Forum. The program is organized in plenary talks and
parallel tracks devoted to original research in the selected research areas.

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
http://www.discotec.org/2019/ice

Paper 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

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
development

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 https://staticanalysis.org/sas2019 with a special call for Trends in Static Analysis on static analysis and machine learning.