List of conferences


25th Static Analysis Symposium (SAS 2018) - First Call for Papers
by Caterina Urban, Jan. 17, 2018

---------------------------------------------------------------------

SAS 2018

25th Static Analysis Symposium

Freiburg im Breisgau, Germany, August 29th-August 31st, 2018

http://staticanalysis.org/sas2018

---------------------------------------------------------------------

2018 European Conference on Ambient Intelligence (AmI 2018): First Call for Papers
by George Angelos Papadopoulos, Jan. 16, 2018

The 2018 European Conference on Ambient Intelligence (AmI 2018) has a
focus on the role of Ambient Intelligence

"Towards a Smart and Human Centered Internet of Things".

We invite submissions of full and short papers as well as posters, presenting
original research. AmI 2018 is an interdisciplinary venue for leading
international researchers, designers, and practitioners that present and
discuss new results in Ambient Intelligence.

AmI builds on the success of thirteen predecessor conferences, which
started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More
information about the AmI series can be found here:
http://ami-conferences.org .

The Proceedings of AmI 2018 will be published by Springer in the Lecture
Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor
the Best Paper Award with 1,000 EUR.

COORDINATION 2018
by Francesco Tiezzi, Jan. 16, 2018

======================================================================

COORDINATION 2018
20th International Conference on Coordination Models and Languages

Madrid, Spain, June 18 - 21 2018

http://2018.discotec.org

======================================================================

Modern information systems rely increasingly on combining concurrent,
distributed, mobile, adaptive, reconfigurable and heterogeneous
components. New models, architectures, languages and verification
techniques are necessary to cope with the complexity induced by the
demands of today's software development. Coordination languages have
emerged as a successful approach, in that they provide abstractions that
cleanly separate behaviour from communication, therefore increasing
modularity, simplifying reasoning, and ultimately enhancing software
development.

Building on the success of the previous editions, this conference
provides a well-established forum for the growing community of
researchers interested in models, languages, architectures, and
implementation techniques for coordination.

24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): First Call for Papers and Special Sessions
by George Angelos Papadopoulos, Jan. 15, 2018

ISMIS is an established and prestigious conference for exchanging the latest
research results in building intelligent systems. Held twice every three years,
the conference provides a medium for exchanging scientific research and
technological achievements accomplished by the international community.

The scope of ISMIS is intended to represent a wide range of topics on
applying Artificial Intelligence techniques to areas as diverse as decision
support, automated deduction, reasoning, knowledge based systems,
machine learning, computer vision, robotics, planning, databases,
information retrieval, etc. The focus is on research in intelligent systems.
The conference addresses issues involving solutions to problems that are
complex to be solved through conventional approaches and that require the
simulation of intelligent thought processes, heuristics and applications of
knowledge. The integration of these multiple approaches in solving
complex problems is of particular importance. ISMIS provides a forum and a
means for exchanging information for those interested purely in theory,
those interested primarily in implementation, and those interested in specific
research and industrial applications.

The 6th International Conference on Enterprise Systems (ES 2018): First Call for Papers and Special Sessions
by George Angelos Papadopoulos, Jan. 14, 2018

Welcome to the 6th International Conference on Enterprise Systems.
Enterprise Systems (ES), also referred to as Enterprise Information Systems,
has become increasingly popular over the last 20 years because it integrates
and extends business processes across the boundaries of business functions
and corporate walls, as well as country border lines. The International
Conference on Enterprise Systems (ES) has been held every year since 2013.
The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus,
8-9 October, 2018. The conference is hosted by the Department of Computer
Science, University of Cyprus.

This conference series is focusing on both the technical and application
aspects of enterprise systems, the complex and cross-disciplinary
problems of enterprise integration, and the new technological frontiers
such as Industrial Integration, Industrial Information Integration, and
Industry 4.0. The objectives of the conference are to provide high quality
research and professional interactions for the advancement of science
and technology. The main features of the conference include Keynote
Speeches, Regular and Special Sessions. It has been highlighted by the
IEEE Systems, Man, and Cybernetics Society: http://ieeesmc.org/ .

SACLA 2018: Programming Languages and Systems _Education_
by Stefan Gruner, Jan. 8, 2018

International Call for Papers:
SACLA 2018: 47th Annual Conference of the Southern African Computer Lecturers' Association.
18-20 June 2018,
Krystal Beach Hotel, Harbour Island, Gordon's Bay
(Western Cape, South Africa).

SLATE 2018 - Symposium on Languages, Applications and Technologies
by Maria João Varanda Pereira, Jan. 6, 2018

We often use languages. First, to communicate between ourselves. Later, to communicate with computers. And more recently, with the advent of networks, we found a way to make computers communicate between themselves. All these different forms of communication use languages, different languages, but that still share many similarities. In SLATE we are interested in discussing these languages.
Being languages such a broad subject, SLATE is organized in three main tracks:

  1) HCL Track: Processing Human-Computer Languages The HCL track is where researchers, developers and educators exchange ideas and information on the latest academic or industrial work on language design, processing, assessment and applications.
  2) CCL Track: Processing Computer-Computer Languages The CCL track main goal is to provide a broad space for discussion about the XML mark-up language: examples of usage and associated technologies.
  3) HHL Track: Processing Human-Human Languages The HHL track is dedicated to the discussion of research projects and ideas involving natural language processing and their industrial application.

Euro-Par 2018 Conference, Turin, Italy (opening talk by Turing award SIlvio Micali)
by Massimo Torquati, Jan. 5, 2018

Euro-Par 2018 -- Call for Papers

« previous123...1213next »