SAC 2017 : ACM Symposium On Applied Computing
Marrakech, Morocco
CORE: b   QUALIS: a1   閲覧: 482861   追跡: 24   出席: 0

SAC 2017: For the past thirsty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2017 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Pisa and Scuola Superiore Sant’Anna University, Italy.

Important Notice: An author or a proxy attending SAC MUST present the work. This is a requirement for all accepted papers, posters, and invited SRC submissions to be included in the ACM digital library. No-show of scheduled papers, posters, and student research abstracts will result in excluding them from the ACM digital library.

Papers: Authors are invited to submit original papers in all areas of experimental computing and application development for the technical program via the various tracks hosted by SAC 2017. Submissions fall into the following categories:

• Original and unpublished research work
• Reports of innovative computing applications in the arts, sciences, engineering, and business areas
• Reports of successful technology transfer to new problem domains • Reports of industrial experience and demos of new innovative systems

Peer groups with expertise in the tracks focus areas will blindly review submissions. Accepted papers will be published in the annual proceedings and ACM digital library. Submission guidelines can be found on SAC 2016 Website. Prospective papers should be submitted to the track using the START submission system. Submission of the same paper to multiple tracks is not allowed. For more information please visit SAC 2016 Website.

Tutorials: The Tutorials Program is an integral part of SAC 2016. The organizing committee solicits tutorials that tend to stress state-of-the-art technologies directly applied to the practitioners' field. Presenters are invited to submit proposals for tutorials in all areas of experimental computing and application development. Tutorial’s duration is either full- day or half-day. The tutorial proposal should include a brief summary and outline, specific goals and objectives, expected background of the audience, and a biographical sketch of the presenter(s). All tutorial proposals should be directed to the Tutorial Chair. Tutorial submission guidelines will be posted on SAC 2016 Website.

Sample Potential Tracks:

BioHealth Informatics
Cloud Computing
Computational Intelligence Video and Image Analysis Coordination Models, Languages and Applications Cooperative Systems
Constraint Solving and Programming
Dependable and Adaptive Distributed System
Data Mining and Data Streams
Database Theory, Technology, and Applications Evolutionary Computation
Embedded Systems
Heterogeneous Computing
Information Access and Retrieval
Mobile Computing and Applications
Multimedia and Visualization
OO Programming Languages and Systems Operating Systems
Programming Languages
Programming for Separation of Concerns Requirement Engineering
Recommender Systems: Theory and Apps Software Engineering
Computer Security
Software Eng. Aspects of Green Computing Smart Grids and Smart technologies Service-Oriented Archit. and Programming Software Verification and Testing
Semantic Web and its Applications
Web Technologies

Track on Knowledge Representation and Reasoning (KRR)
Track Website: http://www.dmi.unipg.it/bista/organizing/KR@sac2017/
SAC Website: http://www.sigapp.org/conferences/sac/sac2017/


The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications) of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate per track is under 25%.

Call for paper:
Knowledge-representation is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed.  In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include, but are not limited to:
-  Argumentation
-  Belief revision and update, belief merging, etc.
-  Commonsense reasoning
-  Constraint Programming and KRR
-  Contextual reasoning
-  Description logics
-  Diagnosis, abduction, explanation
-  Inconsistency- and exception tolerant reasoning, para-consistent logics
-  KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
-  KR and decision making, game theory, social choice
-  KR and machine learning, inductive logic programming, knowledge discovery and acquisition
-  Logic programming, answer set programming, constraint logic programming
-  Non-monotonic logics, default logics, conditional logics
-  Preferences: modeling and representation, preference-based reasoning
-  Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics
-  Reasoning systems and solvers, knowledge compilation
-  Spatial reasoning and temporal reasoning, qualitative reasoning
-  Uncertainty, representations of vagueness, many-valued and fuzzy logics

Submissions Instructions:
Original papers addressing any of the listed topics of interest (or related topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2017 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus. Submissions should be properly anonymized to facilitate blind reviewing: The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. Paper size is strictly limited to 6 pages in the SAC style. A maximum of 2 additional pages may be included for an additional fee only in the final version of the accepted paper.
Please check the author kit latex style on the main SAC website: http://www.acm.org/conferences/sac/sac2017/ (the format is usually the format used in the ACM templates). Papers failing to comply with length limitations risk immediate rejection.
Submissions will be in electronic format, via the website: https://www.softconf.com/h/sac2017/ BE CAREFULL TO SELECT THE KRR TRACK BY CHECKING THE KRR TRACK RADIO BUTTON!!
After completing the submission, please send also an email to: bista@dmi.unipg.it. The body of the email should include the title of the paper, the author(s) name(s) and affiliation(s), and the address (including e-mail, telephone, and fax) to which correspondence should be sent. The subject of the email should be "SAC2017 KRR track submission"

Graduate students are suggested to submit both a regular paper to the KRR track and a 2 page abstract with the same title at the Student Research Competition (SRC) Program, following the instructions published at SAC 2017 website. Authors of selected abstracts will have the opportunity to give poster presentations of their work and compete for three top-winning places. The winners will receive cash awards and SIGAPP recognition certificates during the conference banquet. The winners will also receive SRC travel support (US$500) and are eligible to apply to the SIGAPP Student Travel Award Program (STAP) for additional travel support.
Papers that received high reviews (that is acceptable by reviewer standards) but were not accepted due to space limitation can be invited for the poster session.

Stefano Bistarelli, University of Perugia, Italy
Martine Ceberio, University of Texas at El Paso, USA
Eric Monfroy, University of Nantes, France
Francesco Santini, University of Perugia, Italy

Program Committee:
Leila Amgoud, IRIT Toulouse, France
Ofer Arieli, Academic College of Tel Aviv, Israel
Roman Bartak, Charles University, Czech Republic
Elise Bonzon, LIPADE Paris Descartes, France
Martin Caminada, Cardiff, UK
Madalina Croitoru, LIRMM Montepellier, France
Claudia D'Amato, Università degli Studi di Bari, Italy
Pierpaolo Dondio, Dublin Institute of Technology, Ireland
Aditya K. Ghose, University of Wollongong, Australia
Massimiliano Giacomin, Università degli Studi di Brescia, Italy
Lluis Godo, Artificial Intelligence Research Institute (IIIA), Spain
Davide Grossi, University of Liverpool, UK
Anthony Hunter, University College London, UK
Gabriele Kern-Isberner, TU Dortmund, Germany
John Lawrence, University of Dundee, UK
Joao Leite, New University of Lisbon, Portugal
Beishui Liao, Zhejiang University, China
Loizos Michael, Open University of Cyprus, Cyprus
Aniello Murano, University of Naples Federico II, Italy
Barry O'Sullivan, University College Cork, Ireland
Guillermo R. Simari, Universidad Nacional del Sur, Argentina
Tran Cao Son, New Mexico State University, USA
Matthias Thimm, Universität Koblenz-Landau, Germany
Paolo Torroni, University of Bologna, Italy
Leon van der Torre, University of Luxembourg, Luxembourg
Serena Villata, Signaux et Systèmes de Sophia-Antipolis, France
Stefan Woltran, TU Vienna, Austria
Roland Yap , National University of Singapore, Singapore

SAC No-Show Policy:
An author or a proxy must attend SAC to present the work. This is a requirement for all accepted papers, posters, and invited SRC submissions to be included in the ACM digital library. No-show of scheduled papers, posters, and SRC submissions will result in excluding them from the ACM Digital Library.

Dr. Francesco Santini (Assistant Professor)
Department of Mathematics and Computer Science
University of Perugia
Via Vanvitelli 1
06123 Perugia
最終更新 Fuan Pu 2016-08-26
ca1ISCASInternational Symposium on Circuits and Systems2016-11-112017-02-242017-05-28
ACMSEACM Southeast Conference2013-12-022014-01-242014-03-28
bSOCCACM Symposium on Cloud Computing2016-05-172016-07-292016-10-05
b4CODASPYACM Conference on Data and Application Security and Privacy2016-09-082016-11-242016-03-09
cbHPCCInternational Conference on High Performance Computing and Communications2016-08-222016-09-252016-12-12
AIAAInternational Conference on Artificial Intelligence, Soft Computing and Applications2014-04-102014-05-102014-05-24
U-MediaInternational Conference on Ubi-media Computing2016-03-202016-04-152016-08-15
ICGIPInternational Conference on Graphic and Image Processing2015-08-102015-09-052015-10-23
HPCS'International Conference on High Performance Computing & Simulation2016-02-222016-04-072016-07-18
ccb1SCCInternational Conference on Service Computing2017-01-122017-03-272017-06-25
CCF完全な名前インパクト ・ ファクター出版社ISSN
cJournal of Grid Computing1.507Springer1570-7873
Journal of Big Data Springer2196-1115
IEEE Transactions on Cloud ComputingIEEE2168-7161
cReal-Time Systems0.550Springer0922-6443
Applied Computing and Informatics ELSEVIER2210-8327
aIEEE Transactions on Mobile Computing IEEE1536-1233
bIEEE Transactions on Affective Computing1.873IEEE1949-3045
aSIAM Journal on Computing SIAM0097-5397
Central European Journal of Computer Science Springer1896-1533
ACM Transactions on Autonomous and Adaptive SystemsACM1556-4665