Events & Workshops


Welcome to the home of the 2018 ACM SIGMOD/PODS Conference, to be held in Houston, TX, USA, on June 10th – June 15th, 2018.

The annual ACM SIGMOD conference is a leading international forum for database researchers, practitioners, developers, and users to explore cutting-edge ideas and results, and to exchange techniques, tools, and experiences. We invite the submission of original research contributions relating to all aspects of data management defined broadly, and particularly encourage submissions on topics of emerging interest in the research and development communities.


Topics of interest include but are not limited to the following:

  • Benchmarking and performance evaluation
  • Crowd sourcing
  • Data models, semantics, query languages
  • Data provenance
  • Data visualization
  • Data warehousing, OLAP, SQL Analytics
  • Database monitoring and tuning
  • Database security, privacy, access control
  • Database usability
  • Databases for emerging hardware
  • Distributed and parallel databases
  • Graph data management, RDF, social networks
  • Information extraction
  • Information retrieval and text mining
  • Knowledge discovery, clustering, data mining
  • Query processing and optimization
  • Schema matching, data integration, and data cleaning
  • Scientific databases
  • Semi-structured data
  • Spatio-temporal databases
  • Storage, indexing, and physical database design
  • Streams, sensor networks, complex event processing
  • Transaction processing
  • Uncertain, probabilistic, and approximate databases


All aspects of the submission and notification process will be handled electronically. Submissions must adhere to the paper formatting instructions. Research papers will be judged for quality and relevance through double-blind reviewing, where the identities of the authors are withheld from the reviewers. Author names and affiliations must not appear in the papers, and bibliographic references must be adjusted to preserve author anonymity. Submissions should be uploaded at:

 DEBS 2018

12th ACM Conference on Distributed Event-Based Systems

DEBS 2018 will take place at the University of Waikato in Hamilton, New Zealand,  Jun 25th–29th, 2018.

The ACM International Conference on Distributed and Event-based Systems (DEBS) has become the premier venue for contributions in the fields of distributed and event?based systems. The objectives of the ACM International Conference on Distributed and Event-Based Systems (DEBS) are to provide a forum dedicated to the dissemination of original research, the discussion of practical insights, and the reporting of experiences relevant to distributed systems and event-based computing. The conference aims at providing a forum for academia and industry to exchange ideas through industry papers and demo papers.

  • Abstract submission for research track Feb 21st, 2018
  • Research and industry paper submission Feb 26th, 2018
  • Tutorial proposal submission Mar 5th, 2018
  • Grand challenge solution submission Apr 15th, 2018
  • Research and industry paper notification Apr 17th, 2018
  • Poster, demo & doctoral workshop submission Apr 29th, 2018
  • Conference Jun 25th–29th, 2018

Artificial Intelligence and Theorem Proving,  AITP 2018
March 25-30, 2018, Aussois, France    Deadline: December 3, 2017

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP
conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

– AI, machine learning and big-data methods in theorem proving and mathematics.
– Collaboration between automated and interactive theorem proving.
– Common-sense reasoning and reasoning in science.
– Alignment and joint processing of formal, semi-formal, and informal libraries.
– Methods for large-scale computer understanding of mathematics and science.
– Combinations of linguistic/learning-based and semantic/reasoning methods
– Formal verification of AI and machine learning algorithms, explainable AI .

There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls.
Submission is via EasyChair (

Submission deadline: December 3, 2017
Author notification: January 10, 2018
Conference registration: January 24, 2018
Camera-ready versions: January 31, 2018
Conference: March 25-30, 2018

We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).


Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.