List of conferences


CfP: SEFM 2018
by Einar Broch Johnsen, Nov. 13, 2017

SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods
will be part of STAF 2018 in Toulouse, France, 27-29 June 2018.

https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
Twitter: @SEFM_conf

************************
CALL FOR PAPERS
************************

SEFM aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

*** IMPORTANT DATES ***
Abstract Submission: Friday 23 February 2018
Full Paper Submission: 2 March 2018
Notification: Monday 9 April 2018
Camera ready: Monday 23 April 2018
Conference: 27-29 June 2018

FLOPS 2018: Final Call for Papers - DEADLINE EXTENSION
by John Gallagher, Nov. 13, 2017

=========================
NOTE: DEADLINE EXTENSION
=========================

FLOPS 2018: 14th International Symposium on Functional and Logic Programming

In-Cooperation with ACM SIGPLAN
===============================

9-11 May, 2018, Nagoya, Japan

http://www.sqlab.jp/FLOPS2018/

FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, 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.

Important dates
29 November 2017 (any time zone): Abstract Submission (extended)
4 December 2017 (any time zone): Submission deadline (extended)
22 January 2018: Author notification
9-11 May 2018: FLOPS Symposium

DisCoTec 2018
by Ivan Lanese, Oct. 28, 2017

DisCoTec 2018

13th International Federated Conference on
Distributed Computing Techniques

http://2018.discotec.org

Madrid, Spain, 18-21 June 2018

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

The DisCoTec series of federated conferences is one of the major events
sponsored by the International Federation for Information Processing
(IFIP). The main conferences are:

* COORDINATION
* DAIS
* FORTE

* Important Dates *

COORDINATION, DAIS & FORTE (LNCS publication)

- February 2, 2018: Submission of abstract
- February 9, 2018: Submission of papers
- March 30, 2018: Notification of accepted papers
- June 18-20, 2018: Conferences in Madrid

* General Chair *

Manuel Núñez (Universidad Complutense de Madrid, Spain)

* Publication *

Each paper will undergo a thorough process of review and the conference
proceedings will be published by Springer-Verlag in the LNCS series.

2nd Workshop on Trusted Smart Contracts 2018 (WTSC18@FC)
by Andrea Bracciali, Oct. 23, 2017

CfP for the Workshop on Trusted Smart Contracts, associated with Financial Cryptography 2018.

APLAS 2017: Call for Participation
by Xinyu Feng, Oct. 6, 2017

Early registration deadline is extended to Oct. 10, 2017, due to the public holiday in China from Oct. 1 to 8.

15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
November 27-29, 2017, Suzhou, China
https://www-aplas.github.io/

Early registration deadline: 10 October 2017
Register at https://www-aplas.github.io/registration.html

ETAPS 2018 final joint call for papers
by Tarmo Uustalu, Oct. 4, 2017

NEW! The proceedings of ETAPS 2018 will appear in gold open access in
LNCS/ARCoSS (with no added cost for authors specifically).

As an exception for this year only, the important dates of POST differ
from those of the other member conferences!

POST solicits regular research papers, systematization of knowledge
papers, position papers and tool demonstration papers.

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

JOINT CALL FOR PAPERS

21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018

Thessaloniki, Greece, 14-21 April 2018

http://www.etaps.org/2018

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

APLAS 2017: Call for Participation
by Xinyu Feng, Sept. 27, 2017

15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
November 27-29, 2017, Suzhou, China
https://www-aplas.github.io/

Early registration deadline: 8 October 2017
Register at https://www-aplas.github.io/registration.html

ETAPS 2018 2nd joint call for papers
by Tarmo Uustalu, Sept. 11, 2017

NEW! The proceedings of ETAPS 2018 will appear in gold open access.

As an exception for this year only, the important dates of POST differ
from those of the member conferences!

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

JOINT CALL FOR PAPERS

21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018

Thessaloniki, Greece, 14-21 April 2018

http://www.etaps.org/2018

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

« previous123...1213next »