List of conferences


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.

POPL 2020: Student Research Competition -- Call for submissions
by Fritz Henglein, Sept. 15, 2019

POPL 2020 (January 19-25, 2020, New Orleans, Louisiana) will again host an ACM Student Research Competition, where undergraduate and graduate students can present their original research
before a panel of judges and conference attendees. Abstract submission deadline: November 15th, 2019.

POPL 2020: Call for tutorials
by Fritz Henglein, Sept. 15, 2019

Tutorials for POPL 2020 to be held January 20, 2020, are solicited on any topic relevant to the POPL community. In particular, tutorials describing emerging topics or novel tools have been especially successful in the past. Deadline for submission: October 18, 2019.

SAC 2020 Programming Languages Track
by Barrett Bryant, Sept. 14, 2019

SAC 2020, the 34th ACM Symposium on Applied Computing will be held in Brno, Czech Republic, March 30-April 3, 2020. The 27th Technical Track on Programming Languages will be pafrt of this. For further details, please see http://www.cse.unt.edu/~bryant/sac2020.

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/

« previous123...1819next »