ODBASE 2017 – The 16th International Conference on Ontologies, DataBases, and Applications of Semantics
24-25 October 2017, Rhodes, GreeceCheck the website http://www.otmconferences.org for the latest news on program, keynote speakers and tutorial!Keynotes by
Markus Lanthaler, Software Engineer at Google; creator of JSON-LD and Hydra “Pragmatic Semantics at Web Scale”
Stephen Mellor, Industrial Internet Consortium CTO “Evolution of the Industrial Internet of Things: Preparing for Change”
Michael Brodie, Research Scientist, CSAIL, MIT “On Data, The World’s Most Valuable Resource, and Data Science”
Ronald Stamper “Semiotics and BREXIT” – Pre-banquet keynoteTutorial by
Harold Boley, University of New Brunswick, Canada “Tutorial on Port Clearance Rules in PSOA RuleML”
You can find the overall OTM program and the program of the 16th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2017) here:
This year a part of the OTM program is specifically oriented to industry participants eager to be informed and to explore the impact of such emerging information technology.
Business Tickets (NOT available for presenting authors!) are offered that give access to:
– all of the four keynotes, by illustrious speakers
– participation in the Industry Case Studies Workshop
– the plenary Keynote Panel
– the technical tutorial on Port Clearance Rules
ICSAI 2017 Hangzhou, China
The 2017 4th International Conference on Systems and Informatics (ICSAI 2017) will be held from 11-13 November 2017 in Hangzhou, China. Submission remains open until 30 October 2017.
ICSAI 2017 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science.
All papers in the conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore. Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal.
An old Chinese saying goes, “There is heaven above, Suzhou and Hangzhou below.” (Suzhou is about 100 kilometers north of Hangzhou). Famous for its scenic splendor, Hangzhou attracts more than 20 million tourists from home and abroad every year. West Lake is completely man-made in the imperial garden style. “Impressions of the West Lake” is an evening spectacle of light and dance staged outdoors at West Lake, created by award-winning director Zhang Yimou and musician Kitaro. Peak Flown in from Afar and Lingyin Temple are well-known for Buddhist carvings. Hangzhou is among the six oldest cities in China and is the southern end of the Beijing-Hangzhou Grand Canal, the longest canal ever built in the world. Boating on the old Canal is one of the best ways to get a panoramic view of river towns, with ancient dwellings, traditional stone bridges, and historical relics. Explore Chinese culture at the museums of tea, silk and Chinese medicine.
Topics include (but are not limited to):
· Control and Automation Systems
· Power and Energy Systems
· Intelligent Systems
· Computer Systems and Applications
· Communications and Networking
· Image, Video, and Signal Processing
· Data Engineering and Data Mining
· Software Engineering
For more information, visit the conference web page:
http://126.96.36.199:8088/index.aspx or http://icsai.sdju.edu.cn/ (temporary problem)
If you have any questions after visiting the conference web page, please email the secretariat at email@example.com
SIGMOD 2018 CALL FOR RESEARCH PAPERS
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
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: https://cmt3.research.microsoft.com/SIGMOD2018.
12th ACM Conference on Distributed Event-Based Systems
DEBS 2018 will take place at the University of Waikato in Hamilton, New Zealand.
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.
CALL FOR CONTRIBUTIONS
Artificial Intelligence and Theorem Proving, AITP 2018
March 25-30, 2018, Aussois, France
http://aitp-conference.org/2018 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 (https://easychair.org/conferences/?conf=aitp2018).
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).