List of conferences - page 2


24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): Last Call for Papers
by George Angelos Papadopoulos, May 11, 2018

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 34th ACM Symposium on Applied Computing (SAC 2019): Call for Track Proposals
by George Angelos Papadopoulos, May 9, 2018

SAC is based on a flexible structure of mostly self-contained and
self-managed tracks. Over the past years SAC hosted tracks on a variety
of timely topics such as Artificial Intelligence, Bioinformatics, Computer
Security, Database Technology, Data Mining, Embedded Systems,
Evolutionary Computing, Distributed Systems and Grid Computing, Mobile
Computing, Programming Languages, Software Engineering, and Web
Technologies. SAC 2018 included 40 tracks that attracted 931 paper
submissions from 50 countries; 235 submissions were finally accepted as
full papers (25% acceptance rate). More information on past SAC events
can be found at https://www.sigapp.org/conferences/sac .

CfP: ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
by Andreas Wortmann, May 8, 2018

ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering

Where: At MODELS'18, Copenhagen, Denmark
When: Full papers due July 17, 2018
What: http://www.mrtc.mdh.se/ModComp18/

------------------------------------------------------------
IMPORTANT DATES
------------------------------------------------------------

Deadline for submission of papers: 17 July, 2018
Notification for acceptance of papers: 17 August, 2018
Workshop dates: 14 October, 2018

<Programming> 2019: Call for Papers & Call for Workshop Proposals
by Fabio Niephaus, May 7, 2018

Research paper submissions: June 1, 2018
Research paper first notifications: August 1, 2018
Research paper final notifications: September 7, 2018
http://programming-journal.org/submission/

Workshop proposals: July 1st, 2018 (first deadline)
Workshop proposals: September 1st, 2018 (second deadline)
https://2019.programming-conference.org/track/programming-2019-Workshops

ICTAC 2018 call for papers, extended deadlines
by Tarmo Uustalu, May 7, 2018

New deadlines: abstracts 18 May, papers 25 May.

CALL FOR PAPERS

15th International Colloquium on Theoretical Aspects of Computing
ICTAC 2018
Stellenbosch, South Africa, 16-19 October 2018
https://www.ictac.org.za/

CfP TAPAS18: 9th Workshop on Tools for Automatic Program Analysis
by Fausto Spoto, April 26, 2018

TAPAS 2018
9th Workshop on Tools for Automatic Program Analysis
August 28, Freiburg im Breisgau, Germany
A satellite workshop of SAS 2018

Call for abstracts- Discrete models and formal verification in biology
by Ben Hall, April 20, 2018

Call for abstracts for MGMS (http://mgms.org/) meeting on formal verification in biology. To be held in Cambridge, UK 29-31 August 2018

ICTAC 2018 2nd call for papers
by Tarmo Uustalu, April 13, 2018

CALL FOR PAPERS

15th International Colloquium on Theoretical Aspects of Computing
ICTAC 2018
Stellenbosch, South Africa, 16-19 October 2018
https://www.ictac.org.za/