List of conferences - page 3


46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Last Mile for Paper Submission
by George Angelos Papadopoulos, Aug. 31, 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.

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

SOFSEM has a long-standing tradition of facilitating discussions and collegial
interactions. It is well-known for its familiar and inspiring atmosphere and as
a meeting place for active and leading computer scientists. SOFSEM is a
track-based conference. It features the traditional track on foundations of
computer science and a number of other tracks that cover contemporary
important areas, such as artificial intelligence, cryptography, security,
verification, data science, knowledge engineering, social computing and
human factors, software and web engineering, etc.

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.

Call for Papers, The Programming Journal, Volume 4, Issue 3
by smarr, Aug. 8, 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.

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

ETAPS 2020 1st joint call for papers
by Tarmo Uustalu, July 29, 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

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

46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Fourth Call for Papers
by George Angelos Papadopoulos, July 18, 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.

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