List of conferences - page 2


Practical Aspects of Declarative Languages PADL2020: 2nd CFP
by Ekaterina Komendantskaya, Sept. 18, 2019

22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020)
https://popl20.sigplan.org/home/PADL-2020,
20-21 January 2020, New Orleans, Louisiana, United States
Co-located with ACM POPL 2020 (https://popl20.sigplan.org/)

FLOPS 2020 First Call for papers
by Keisuke Nakano, Sept. 17, 2019

[Call for Papers]
FLOPS 2020: 15th International Symposium on Functional and Logic Programming
23-25 April, 2020, Akita, Japan

FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming paradigm, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.

Call for Participation - Formal Aspects of Component Software (FACS 2019), Amsterdam
by sungshik, Sept. 17, 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.

Invited speakers: Carlo Ghezzi, Kim Larsen, Wan Fokkink. Tutorial: Jan Friso Groote & Tim Willemse.

23rd Pan-Hellenic Conference on Informatics (PCI 2019): Last Mile for Paper Submission
by George Angelos Papadopoulos, Sept. 13, 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.

Call for Posters for APLAS'19 (Bali, Indonesia)
by Andreea Costea, Sept. 9, 2019

>>> Call for Posters <<<

APLAS 2019
17th Asian Symposium on Programming Languages and Systems

Bali, Indonesia
1st - 4th December 2019

TAPAS 2019 - Call for Participation - Register Early by Sep 10
by David Delmas, Sept. 7, 2019

Register early by September 10 to the 10th Workshop on Tools for Automatic Program Analysis (Porto, Portugal, part of the FM Week)
https://staticanalysis.org/tapas2019/

23rd Pan-Hellenic Conference on Informatics (PCI 2019): Final Call for Papers
by George Angelos Papadopoulos, Sept. 3, 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.

ETAPS 2020 2nd joint call for papers
by Tarmo Uustalu, Aug. 31, 2019

******************************************************************

JOINT CALL FOR PAPERS

23rd European Joint Conferences on Theory and Practice of Software
ETAPS 2020

Dublin, Ireland, 25-30 April 2020

http://www.etaps.org/2020

******************************************************************