List of conferences - page 2


Call for Participation: SAS 2017
by Caterina Urban, July 5, 2017

Registration to SAS 2017 is now open. Please visit:
http://staticanalysis.org/sas2017/registration.html

16th World Conference on Mobile and Contextual Learning (mLearn 2017): Last Call for Papers
by George Angelos Papadopoulos, July 5, 2017

The International Association for Mobile Learning (IAmLearn)
(www.iamlearn.org) is the custodian of the mLearn conference series.
mLearn is the leading annual international conference for researchers,
policy makers, educators, developers and solutions providers in the fields
of mobile, ubiquitous and contextual learning, as well as learning with
emerging ambient and wearable technologies. mLearn attracts a large
number of participants from more than 60 countries representing all
continents, and is, therefore, the world's largest international conference
on mLearning and emerging ambient technologies.

ACM SIGPLAN Scala Symposium 2017: Deadline Extension
by Paolo G. Giarrusso, July 3, 2017

Scala is a general purpose programming language designed to express
common programming patterns in a concise, elegant, and type-safe way.
It smoothly integrates features of object-oriented and functional
languages.

The Scala Symposium is a forum for researchers and practitioners to
share new ideas and results of interest to the Scala community. We
welcome a broad spectrum of research topics and many formats.

HIGHLIGHTS 2017 - Call for Participation
by Nikos Tzevelekos, June 30, 2017

HIGHLIGHTS 2017 -- FIFTH CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA
Call for Participation
12-15 SEPTEMBER 2017, London, UK
http://highlights-conference.org

FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
by John Gallagher, June 29, 2017

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

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

13 November 2017 (AoE): Abstract Submission
20 November 2017 (AoE): Submission deadline
15 January 2018: Author notification

2018 IEEE/ACM International Symposium on Code Generation and Optimization
by Fabrice Rastello, June 27, 2017

2018 IEEE/ACM International Symposium on Code Generation and Optimization
February 24-28, 2018
Vienna, Austria
http://cgo.org/cgo2018

(Co-located with HPCA, PPoPP and CC)

The International Symposium on Code Generation and Optimization (CGO) provides a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conference spans the spectrum from purely static to fully dynamic approaches, and from pure software-based methods to specific architectural features and support for code generation and optimization.

*Important Dates*
Abstract Submission: Sep 8, 2017
Paper Submission: Sep 15, 2017
Notification: Oct 31, 2017

[iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017
by ChristophSeidl, June 26, 2017

We warmly invite you to take part in the 13th International Conference on integrated Formal Methods, which will take place at Turin University between Monday 18 and Friday 22 September, 2017.

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Call for Participation - 28th International Conference on Concurrency Theory
by Kirstin Peters, June 24, 2017

CONCUR 2017 - First Call for Participation
28th International Conference on Concurrency Theory
September 5-8, 2017, Berlin, Germany
https://www.concur2017.tu-berlin.de/