List of conferences - page 3


ECOOP '20 Call for Artifact Evaluation Committee Members
by Manuel Rigger, Nov. 3, 2019

ECOOP' 20 solicits self-nominations from junior researchers for the Artifact Evaluation Committee to foster diversity and train the next generation of researchers. Nominations can be submitted at https://2020.ecoop.org/track/ecoop-2020-artifacts#Call-for-reviewers.

CfP TAP (Tests And Proofs), June 2020, Bergen
by Wolfgang Ahrendt, Nov. 1, 2019

1st Call for Papers
14th International Conference on Tests And Proofs
TAP 2020 Bergen (Norway), June 22-26, 2020
https://tap.sosy-lab.org/2020/

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.

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/

PADL 2020 (co-allocated with POPL 2020): first call for papers
by Ekaterina Komendantskaya, Aug. 12, 2019

Declarative programming languages is an umbrella term for functional, logic, answer-set and constraint-solving programming paradigms, as well as a range of verification and theorem proving methods that rely on such languages. These languages have been successfully applied to many different real-world situations, ranging from data base management and active networks to software engineering to decision support systems.

PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of declarative programming.

CGO 2020 - Call for Workshops and Tutorials
by fabian_gruber, Aug. 7, 2019

IEEE/ACM International Symposium on Code Generation and Optimization
(CGO) co-located with PPoPP, CC and HPCA
San Diego, CA, USA
February 22 - 26, 2020
http://cgo.org/

Call for Workshops and Tutorials

CGO 2020 will host co-located workshops and tutorials on Saturday and
Sunday (2/22 - 2/23/2020) before the main conference. This is your
event's chance to take advantage of the interdisciplinary audience of
CGO, HPCA, PPoPP, and CC. Please submit a proposal!

Submission deadline: 9/6/2019.
Notification date: 9/20/2019.

Details at https://cgo-conference.github.io/cgo2020/workshop