From ijv at acm.org Mon Apr 2 11:08:09 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 2 Apr 2018 11:08:09 +0200 Subject: CfP: DARe-18 at IJCAI-ECAI Message-ID: <4A044A59-03CE-48C3-974F-F525AFB241F7@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI-ECAI 2018 Date: July 13, 14 or 15 (half-day workshop, date TBC) Stockholm, Sweden *** Deadline: 5 May 2018 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-18/ collocated with IJCAI-ECAI 2018 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI-ECAI 2018 format (which can be found at http://www.ijcai.org/authors_kit) and should be no longer than 6 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare18 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the IJCAI-ECAI 2018 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 5 May 2018 - Notification: 26 May 2018 - Camera ready: 16 June 2018 - Workshop date: 13/14/15 July 2018 (half-day, date TBC) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Antonis Bikakis, University College London, UK - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Gabriele Kern-Isberner, TU Dortmund, Germany - Simon Kramer, SK-R&D, Switzerland - Emiliano Lorini, IRIT CNRS, France - Michael Maher, University of New South Wales, Australia - Thomas Meyer, University of Cape Town, South Africa - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Joost Vennekens, K.U. Leuven, Belgium -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-18/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From irdta at irdta.eu Mon Apr 2 15:56:07 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 02 Apr 2018 15:56:07 +0200 Subject: DeepLearn 2018: early registration April 7 Message-ID: <545102060a010b05005e5302070a5a51505751005353570356550b01010351550656540f520a545752505451525358@grlmc_ip-zone_com-6> DeepLearn 2018: early registration April 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: April 7, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Sun-Yuan Kung (Princeton University), [introductory] Systematic (Analytical and Empirical) Optimization/Generalization of  Deep Learning Networks   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation can be found at   http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Apr 2 20:53:46 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 2 Apr 2018 14:53:46 -0400 (EDT) Subject: CICM 2018 - Call for Papers Message-ID: <20180402185346.3122E17010EB@cs.miami.edu> Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2018 will feature 3 invited speakers * Akiko Aizawa, National Institute of Informatics, University of Tokyo * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University * Adri Olde Daalhuis, University of Edinburgh and 5 affiliated workshops * Computer Algebra in the age of Types * Computer Mathematics in Education - Enlightenment or Incantation * Formal Mathematics for Mathematicians * Formal Verification of Physical Systems * Mathematical Models and Mathematical Software as Research Data We invite submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages) present digital artifacts 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters, mini-tutorials, and system demos will be presented in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. * Important Dates * Formal submissions - Abstract deadline: April 15 - Full paper deadline: April 22 - Reviews sent to authors: May 21 - Rebuttals due: May 27 - Notification of acceptance: June 4 - Camera-ready copies due: June 8 - Conference: August 13-17 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while others submit spontaneously. - First round submission deadline: April 22 - Second round submission deadline: July 31 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 From slucas at dsic.upv.es Tue Apr 3 09:02:38 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Tue, 3 Apr 2018 09:02:38 +0200 Subject: WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Message-ID: ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2017, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 15, 2018  * notification:         May 15, 2018  * final version due:    May 31, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich INVITED SPEAKERS:     tba SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From el-ghazali.talbi at univ-lille1.fr Wed Apr 4 09:18:53 2018 From: el-ghazali.talbi at univ-lille1.fr (El-ghazali Talbi) Date: Wed, 4 Apr 2018 09:18:53 +0200 Subject: META'2018 stay 1 week for the deadline Message-ID: <4ab76364-c958-fc8e-3df8-1bca15276bcf@univ-lille1.fr> Dear colleagues, please distribute the CFP of META'2018 in your networks. Thanks for your collaboration. Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **********************************************************************                           META'2018 International Conference on Metaheuristics and Nature Inspired Computing                          27-31 Oct 2018                        Marrakech, Morocco http://meta2018.sciencesconf.org/ ********************************************************************** META is one of the main event focusing on the progress of the area of metaheuristics and their applications. As in previous editions, META’2018 will provide an opportunity to the international research community in metaheuristics to discuss recent research results, to develop new ideas and collaborations, and to meet old friends and make new ones in a friendly and relaxed atmosphere. All selected papers will be published in the conference proceedings. Following the tradition, selected long papers will be published in a postponed Springer book as in META'2014 and META'2016. At least, 2 special special issues in ISI and SCOPUS journals are also confirmed: - Special issue in "Optimization and learning" in Wiley Journal ITOR - International Journal on Operational Research (deadline for submission: 31 May 2018) - Special issue in "Metaheuristics for 4.0 industry" in Elsevier Journal Swarm-and-Evolutionary-Computation (deadline for submission: 31 May 2018) META'2018 welcomes presentations that cover any aspects of metaheuristic research such as new algorithmic developments, high-impact applications, new research challenges, theoretical developments, implementation issues, and in-depth experimental studies. META'2018 strives for a high-quality program that will be completed by a number of invited talks, tutorials, workshops and special sessions. The scope of the META’2018 conference includes, but is not limited to:     * Local search, tabu search, simulated annealing, VNS, ILS, …     * Evolutionary algorithms, swarm optimization, scatter search, …     * Emergent nature inspired algorithms: quantum computing, artificial immune systems, bee colony, DNA computing, …     * Parallel algorithms     * Hybrid methods with machine learning, game theory, mathematical programming, constraint programming, co-evolutionary, …     * Application to: logistics and transportation, networks, scheduling, data mining, engineering design, energy, cloud, bio-medical, …     * Theory of metaheuristics, landscape analysis, convergence, problem difficulty, very large neighbourhoods, …     * Multi-objective optimization, bi-level optimization     * Dynamic optimization, problems with uncertainty, …     * Parameter tuning (static, dynamic, adaptive, self-adaptive)     * Hyper-heuristics, cross-domain metaheuristics     * Software frameworks for metaheuristics and nature inspired computing Submission of papers: ____________________ - Submission of papers via the website     S1) Short papers: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages.     S2) Long papers: Original research contributions of a maximum of 10 pages.     S3) Journal papers: High-quality manuscripts that have recently, within the last year, been submitted or accepted for journal publication. For this special case, the submission should have the same title that the accepted work, the abstract AND the complete reference of the work. - Proceedings of the conference will be provided. Selected papers of type S1 and S2 will be published in a Springer book and international journals (ISI journals). - Predefined styles are available on the website http://meta2018.sciencesconf.org/ Important dates _______________ - Submission deadline: April 13, 2018 - Notification of acceptance: May 15, 2018 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gvidal at dsic.upv.es Wed Apr 4 09:44:23 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Wed, 4 Apr 2018 09:44:23 +0200 Subject: Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018) Message-ID: Final Call for Papers: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis ---------------------------------------------------------------------- (apologies for multiple copies) 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 25 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 ---------------------------------------------------------------------- From sabel at ki.informatik.uni-frankfurt.de Thu Apr 5 09:03:59 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Thu, 5 Apr 2018 09:03:59 +0200 Subject: PPDP 2018: Second Call for Papers Message-ID: <405715b0-4b49-03be-4317-a3c15886a66b@ki.informatik.uni-frankfurt.de> ====================================================================== PPDP 2018: Second Call for Papers ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html (co-located with LOPSTR 2018 and WFLP 2018) http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks (NEW!) ==================== - Philippa Gardner, Imperial College: Testing and Verification for JavaScript (joint with LOPSTR) - Jorge Navas, SRI International: Constrained Horn Clauses for Verification (joint with LOPSTR) - Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM'€™s TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== - 23.04.2018 paper submission - 14.06.2018 rebuttal period (48 hours) - 25.06.2018 notification - 16.07.2018 final papers - 03.09.2018 conference starts From fabrizio.riguzzi at unife.it Thu Apr 5 20:02:25 2018 From: fabrizio.riguzzi at unife.it (Fabrizo Riguzzi) Date: Thu, 05 Apr 2018 11:02:25 -0700 (PDT) Subject: ACAI 2018 Summer School on Statistical Relational Artificial Intelligence Message-ID: <5ac664b1.58b8500a.748f2.d535@mx.google.com> The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Vibhav Gogate: TBA David Poole: TBA Up to date information can be found at the event website http://acai2018.unife.it/. The registration fees will be published shortly. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ . Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From jsabater at iiia.csic.es Fri Apr 6 11:17:51 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Fri, 6 Apr 2018 11:17:51 +0200 Subject: [AAMAS18] Call for Exhibition - EXTENDED DEADLINE Message-ID: <2696263508464264644420@Galvatron> AAMAS-2018 - CALL FOR EXHIBITION ************************************** EXTENDED DEADLINE: ***** April 30th ***** http://celweb.vuse.vanderbilt.edu/aamas18/exhibits/ In parallel with the AAMAS conference, there will be exhibitions on the days of main conference, where products such as books, devices, services and software can be presented. We call upon potential exhibitors to connect with AAMAS. AAMAS-18 will provide exhibitors with: - Exhibit space, in a special and easily accessible area of the conference venue, - Materials such as a table, chairs and poster board, - Other resources (on demand) such as an internet connection and electric power. The fee for exhibiting at AAMAS this year will be USD 1,200 (approx. 1000 EURO) which includes the above arrangements and the registration fee for one person excluding banquet. Potential exhibitors are encouraged to contact the exhibit chair for more details and any questions. Submission requirements Companies and publishers wishing to exhibit products or services of interest to the AAMAS-18 attendees are asked to submit a letter or e-mail of intent to exhibit with the following information: - A short description of the company - A description of the products or services to be exhibited - The minimum amount of exhibit space needed (e.g., the number of tables and size needed) - Any special requirements (e.g., internet connection, electric power plugs) All requests should be submitted by electronic mail to the Exhibits Chair (see below) no later than April 30, 2018. Important Dates ***************** Exhibits Registration Deadline: April 30, 2018 AAMAS-18 Exhibits: July 11-13, 2018 Letters of intent and inquiries can be sent by letter or email to the exhibits chair: Contact ********* Roie Zivan AAMAS 2018 Exhibits Chair, Ben Gurion University of the Negev, Israel E-mail : zivanr at bgu.ac.il Fax +972-8-6472958 Phone +972-8-6472953 From jpg at ruc.dk Fri Apr 6 16:43:41 2018 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 6 Apr 2018 14:43:41 +0000 Subject: CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming Message-ID: <3D315812-E820-4FBF-9ACA-D94AC92B61F4@ruc.dk> ======================= Call For Participation ======================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan Registration is now open for FLOPS 2018. http://www.sqlab.jp/FLOPS2018/#registration Deadline for early registration is 20 April, 2018. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. The list of accepted papers is at http://www.sqlab.jp/FLOPS2018/accepted.html Invited Speakers William E. Byrd (University of Alabama at Birmingham, USA) Zhenjiang Hu (National Institute of Informatics, SOKENDAI, Japan) Cédric Fournet (Microsoft) Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) From dgm at sfu.ca Mon Apr 9 02:10:16 2018 From: dgm at sfu.ca (David Mitchell) Date: Sun, 8 Apr 2018 17:10:16 -0700 (PDT) Subject: Call for Contributions, LaSh Workshop on Logic and Search at FLoC Message-ID: <223204128.344981234.1523232616344.JavaMail.zimbra@sfu.ca> Call for Contributions LaSh 2018 Workshop on Logic and Search, A FLoC 2018 Workshop, July 18 and 19, 2018, Oxford UK http://www.logicandsearch.org/LaSh2018/ The LaSh Workshops on Logic and Search are devoted to the study, from the point of view of logic, of declarative languages for defining or representing search and optimization problems, problem-solving systems that use these languages, and related issues regarding reductions, search algorithms, problem transformations, and others. There will be a special session on practical MSO Model Checking. Topics of Interest include: Descriptive Complexity: esp. over interesting classes of structures Specification and Modelling Languages: Design, Analysis, Application Reductions: e.g., theory of good reductions Structural Properties of Instances: tractabible families Reformulation and Specifiction-Level Reasoning Declarative Dynamic Programming Grounding: e.g., Efficient, Lazy and incremental grounding Modularity and Compositionality in languages and systems Ground Languages and Solvers SAT; SMT; ASP; ILP; etc. Applications and System Descriptions MSO Model Checking Session Confirmed Talks: - MSO Model Checking with Fly Automata Bruno Courcelle & Irene Durand - Practical algorithms for MSO model-checking on tree-decomp. graphs Peter Rossmanith - Lazy Automata Techniques for WS1S. (Tomas Vojnar, tentative) Important Dates Submission: April 23. Notification: May 12. Workshop: July 18, 19. Those interested in presenting at LaSh should submit a paper or extended abstract (pdf), on EasyChair (easychair.org/conferences/?conf=lash2018), or email organizers at lash2018 at easychair.org, no later than April 23. Program Committee Bart Bogaerts, KU Leuven Alan Frisch, University of York Marijn Heule, UT Austin Neil Immerman, University of Massachusetts Sima Jamali, SFU David Mitchell, SFU Peter Rossmanith, RWTH Aachen University Mirek Truszczynski, University of Kentucky Stefan Woltran, TU Wein ... Organizers David Mitchell, SFU Bart Bogaerts, KUL Sima Jamali, SFU Steering Committee Marc Denecker, Katholieke Universitat Leuven Victor Marek, University of Kentucky David Mitchell, Simon Fraser University Eugenia Ternvoska, Simon Fraser University Mirek Truszczynski, University of Kentucky ---------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rodrigo.roman.uma at gmail.com Mon Apr 9 10:06:39 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Mon, 9 Apr 2018 10:06:39 +0200 Subject: Deadline in a few days - CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security Message-ID: ======================================================================== *** Apologies for multiple copies *** C a l l F o r P a p e r s ESORICS 2018 : Twenty-third European Symposium on Research in Computer Security Barcelona, Spain -- September 3-7, 2018 WWW: https://esorics2018.upc.edu ======================================================================== Overview ------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates --------------------- * Paper submission deadline: April 18, 2018 * Notification to authors: June 15, 2018 * Camera ready due: June 25, 2018 Topics of Interest ----------------------- Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * blockchain and finance security * data and computation integrity * database security * data protection * deep learning for attack and defense * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines --------------------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2018 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee -------------------------------- General Chair: * Miguel Soriano, UPC, Spain Organization Chair: * Josep Pegueroles, UPC, Spain Workshop Chair: * Joaquin Garcia-Alfaro, Telecom-Sud Paris, France Program Committee Chairs: * Javier Lopez, University of Malaga, Spain * Jianying Zhou, SUTD, Singapore Program Committee: Gail-Joon Ahn, Arizona State University, USA Cristina Alcaraz, University of Malaga, Spain Elli Androulaki, IBM, Switzerland Vijay Atluri, Rutgers University, USA Michael Backes, Saarland University, Germany Carlo Blundo, Universita' degli Studi di Salerno, Italy Levente Buttyan, BME, Hungary Jan Camenish, IBM, Switzerland Alvaro Cardenas, University of Texas at Dallas, USA Aldar Chan, University of Hong Kong, HK Liqun Chen, University of Surrey, UK Sherman S. M. Chow, Chinese University of Hong Kong, HK Mauro Conti, University of Padua, Italy Jorge Cuellar, Siemens A.G., Germany Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Marc Dacier, EURECOM, France Sabrina De Capitani di Vimercati, Universita' degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar Josep Domingo-Ferrer, University Rovira-Virgili, Spain Haixin Duan, Tsinghua University, China Jose Fernandez, Polytechnique Montreal, Canada Josep Lluis Ferrer, UIB, Spain Simone Fischer-Hübner, Karlstad University, Sweden Simon Foley, IMT Atlantique, France Sara Foresti, Universita' degli studi di Milano, Italy David Galindo, University of Birmingham, UK Debin Gao, SMU, Singapore Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Guofei Gu, Texas A&M University, USA Juan Hernandez, UPC, Spain Amir Herzberg, Bar-Ilan University & University of Connecticut, Israel Alejandro Hevia, University of Chile, Chile Xinyi Huang, Fujian Normal University, China Sushil Jajodia, George Mason University, USA Vasilios Katos, Bournemouth University, UK Sokratis Katsikas, NTNU, Norway Kwangjo Kim, KAIST, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, FireEye, USA Costas Lambrinoudakis, University of Piraeus, Greece Loukas Lazos, University of Arizona, USA Ninghui Li, Purdue University, USA Yingjiu Li, SMU, Singapore Hoon Wei Lim, SingTel, Singapore Joseph Liu, Monash University, Australia Peng Liu, Pennsylvania State University, USA Xiapu Luo, Hong Kong Polytechnic University, HK Mark Manulis, University of Surrey, UK Kostas Markantonakis, RHUL, UK Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Gregorio Martinez, University of Murcia, Spain Ivan Martinovic, University of Oxford, UK Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA Weizhi Meng, DTU, Denmark Chris Mitchell, RHUL, UK Haris Mouratidis, University of Brighton, UK David Naccache, Ecole Normale Suprieure, France Martin Ochoa, SUTD, Singapore Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Gunther Pernul, Universität Regensburg, Germany Christina Popper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Jean-Jacques Quisquater, UCL, Belgium Indrajiti Ray, Colorado State University, USA Giovanni Russello, University of Auckland, New Zealand Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universita' degli studi di Milano, Italy Damien Sauveron, XLIM, France Steve Schneider, University of Surrey, UK Ozgur Sinanoglu, NYU Abu Dhabi, UAE Einar Snekkenes, Gjovik University College, Norway Willy Susilo, University of Wollongong, Australia Pawel Szalachowski, SUTD, Singapore Qiang Tang, LIST, Luxembourg Juan Tapiador, Universidad Carlos III de Madrid, Spain Nils Ole Tippenhauer, SUTD, Singapore Aggeliki Tsohou, Ionian University, Greece Jaideep Vaidya, Rutgers University, USA Serge Vaudenay, EPFL, Switzerland Luca Vigano', King's College London, UK Michael Waidner, Fraunhofer SIT, Germany Cong Wang, City University of Hong Kong, HK Lingyu Wang, Concordia University, Canada Edgar Weippl, SBA Research, Austria Christos Xenakis, University of Piraeus, Greece Kehuan Zhang, Chinese University of Hong Kong, HK Sencun Zhu, Pennsylvania State University, USA Publicity Chairs: * Giovanni Livraga - Universita' degli studi di Milano, Italy * Rodrigo Roman - University of Malaga, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Mon Apr 9 14:05:44 2018 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 9 Apr 2018 14:05:44 +0200 (CEST) Subject: CICM 2018, final CfP, Abstract submission deadline April 15, 2018 Message-ID: <20180409120544.3C6802927CC8@gigondas-5.local> Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2018 will feature 3 invited speakers * Akiko Aizawa, National Institute of Informatics, University of Tokyo * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University * Adri Olde Daalhuis, University of Edinburgh and 5 affiliated workshops * Computer Algebra in the age of Types * Computer Mathematics in Education - Enlightenment or Incantation * Formal Mathematics for Mathematicians * Formal Verification of Physical Systems * Mathematical Models and Mathematical Software as Research Data We invite submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages) present digital artifacts 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters, mini-tutorials, and system demos will be presented in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. * Important Dates * Formal submissions - Abstract deadline: April 15 - Full paper deadline: April 22 - Reviews sent to authors: May 21 - Rebuttals due: May 27 - Notification of acceptance: June 4 - Camera-ready copies due: June 8 - Conference: August 13-17 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while others submit spontaneously. - First round submission deadline: April 22 - Second round submission deadline: July 31 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 From christoph.lueth at dfki.de Mon Apr 9 16:45:55 2018 From: christoph.lueth at dfki.de (=?UTF-8?Q?Christoph_L=c3=bcth?=) Date: Mon, 9 Apr 2018 16:45:55 +0200 Subject: Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Message-ID: <6545cec4-9cf3-0b32-6aec-d131225a2548@dfki.de> [Apologies for multiple copies.] [Deadline coming up: April 15th] CALL FOR PAPERS: 13th INTERNATIONAL WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2018) http://www.informatik.uni-bremen.de/uitp/uitp2018/ July 13th, 2018. Oxford, UK A FLoC 2018 workshop. The User Interfaces for Theorem Provers workshop series (UITP) brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualization of mathematical objects and proof * System descriptions SUBMISSION ========== Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission is via EasyChair (https://www.easychair.org/conferences/?conf=uitp2018). All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present the work. IMPORTANT DATES =============== Submission deadline: 15.04.2018 Acceptance notification: 15.05.2018 Workshop: 13.07.2018 PROCEEDINGS =========== Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the post-proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS). PROGRAMME COMMITTEE =================== Mateja Jamnik, University of Cambridge, UK (co-Chair) Christoph Lüth, University of Bremen, Germany (co-Chair) Serge Autexier, DFKI Bremen, Germany David Aspinall, University of Edinburgh, UK Chris Benzmüller, Free University Berlin, Germany Yves Bertot, INRIA Sophia-Antipolis, France Maria Paola Bonacina, University of Verona, Italy Joachim Breitner, University of Pennsylvania, USA Ross Duncan, University of Strathclyde, UK Moa Johansson, Chalmers University, Sweden Zoltán Kovács, RISC, Austria Mohamed Yousri Mahmoud, University of Ottawa, Canada Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Larry Paulson, University of Cambridge, UK Alison Pease, University of Dundee, UK Pedro Quaresma, University of Coimbra, Portugal Gem Stapleton (University of Brighton, UK) Christian Sternagel, University of Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Théry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, Technical University Vienna, Austria CONTACT ======= uitp2018 at easychair.org From irdta at irdta.eu Tue Apr 10 05:39:33 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 10 Apr 2018 05:39:33 +0200 Subject: AlCoB 2018: call for posters Message-ID: <545102060a010b05015253060e0b5a50505f56555105500503030a540654525851545756010001015503510b0e0259@grlmc_ip-zone_com-6> AlCoB 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 5th International Conference on Algorithms for Computational Biology (AlCoB 2018) invites researchers to submit poster presentations. AlCoB 2018 will be held in Hong Kong on June 25-26, 2018. See  http://grammars.grlmc.com/AlCoB2018/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: May 18, 2018 Notification of poster acceptance or rejection: May 25, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2018. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955). REGISTRATION At least one author of each accepted poster must register to the conference by June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Cassia.Trojahn at irit.fr Wed Apr 11 09:14:15 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 11 Apr 2018 09:14:15 +0200 Subject: EKAW 2018 =?utf-8?q?=3A?= Second call for =?utf-8?q?research=2C?= in-use and position paper Message-ID: <190d-5acdb600-19-54e3b000@241277230> ** Second call for research, in-use, and position papers ** The 21th International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Proceedings ** The proceedings of the research track will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. The authors of selected best papers will be invited to submit an extended version of their manuscript to a special issue of the Semantic Web Journal by IOS Press. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award sponsored by Springer that will award a prize of 1,000 euros to the best paper of the main track. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies on the following topics: * AI and Knowledge * - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multi-media knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI * Knowledge Management * - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) * Knowledge Engineering and Acquisition * - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge * Social and Cognitive Aspects of Knowledge Representation * - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management * Applications in specific domains such as * - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** Abstract deadline: July 2nd, 2018 Submission deadline: July 9th, 2018 Notification of acceptance: August 31st, 2018 Camera-ready paper: September 10th, 2018 Conference days: November 13th-16th, 2018 All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Université de Lorraine, France) Program chairs Catherine Faron Zucker (Université Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy) From Cassia.Trojahn at irit.fr Wed Apr 11 09:16:45 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 11 Apr 2018 09:16:45 +0200 Subject: EKAW 2018 =?utf-8?q?=3A?= Second call for workshops ans tutorials Message-ID: <5a71-5acdb680-205-347a7c80@198200425> Call for workshops and tutorials In conjunction with EKAW 2018 https://project.inria.fr/ekaw2018/ November 12 - 16 Nancy, France Introduction The International Conference on Knowledge Engineering and Knowledge Management (EKAW) is concerned with all aspects of eliciting, acquiring, modelling and managing knowledge, as well its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. This year, EKAW will pay special attention to topics related to knowledge and artificial intelligence. Besides the regular conference tracks, EKAW will host a number of workshops and tutorials on topics related to the theme of the conference. We hope our workshops to provide an informal setting where participants have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas; and tutorials to enable attendees to fully appreciate current issues, main schools of thought, and possible application areas. Topics of Interest In order to meet these goals, workshop/tutorial proposals should address topics that satisfy the following criteria: the falls in the general scope of EKAW 2018; there is a clear focus on a specific technology, problem or application; there is a sufficiently large community interested in the topic. Submission Guidelines Proposals should be submitted via EasyChair at: https://easychair.org/conferences/?conf=ekaw2018wst Submissions should be a single PDF file of no more than 5 pages, specifying "Workshop Proposal" or "Tutorial Proposal", and should contain the following information. Workshop proposals: Title. Abstract (200 words). Motivation on why the topic is of particular interest at this time and its relation to the main conference topics. Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussion. Intended audience and expected number of participants. List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal, confirmed participants should be marked specifically). Indication of whether the workshop should be considered for a half-day or full-day. The tentative dates (submission, notification, camera-ready deadline, etc.) Past versions of the workshop, including URLs as well as number of submissions and acceptance rates. Details of the organisers (name, affiliation, email address, homepage) and short CV. We strongly advise having more than one organiser, preferably from different institutions, bringing different perspectives to the workshop topic. We welcome, and will prioritise, workshops with creative structures and organisations that attract various types of contributions and ensure rich interactions. Tutorial proposals: Title. Abstract (200 words). Relation to the conference topics, i.e. why it will be of interest to the conference attendants. If the tutorial, or a very similar tutorial, has been given elsewhere, explanation of the benefit of presenting it again to the EKAW community. Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge. Indication on whether the tutorial should be considered for a half-day or full-day. Intended audience and expected number of participants. Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters). Details of the presenters (name, affiliation, email address, homepage) and short CV including also their expertise, experiences in teaching and in tutorial presentation. Workshop Organiser Responsibilities The organisers of accepted workshops are expected to: prepare a workshop webpage (linked to the official EKAW website) containing the call for papers and detailed information about the workshop organisation and timelines. be responsible for the workshop publicity. be responsible for their own reviewing process, decide upon the final program content and report the number of submissions and accepted papers to the workshop chair. be responsible for publishing electronic proceedings (e.g. on the CEUR-WS website). ensure workshop participants are informed they have to register to the main conference and the workshop. schedule, attend and coordinate their entire workshop. Tutorial Organisers Responsibilities The proposers of accepted tutorials are expected to prepare a tutorial webpage (linked to the official EKAW website) containing detailed information about the tutorial prepare the tutorial materials publicity distribute materials to participants schedule, attend and coordinate their tutorial. Important Dates Proposals due: 9 May, 2018 Notifications: 23 May 2018 Suggested Timeline for Workshops Workshop website up and calls: 1 June 2018 Deadline to submit Papers to Workshops: 8 September 2018 Acceptance of Papers for Workshops: 1 October 2018 Workshop days: 12 or 13 November 2018 Chairs Manuel Atencia, Université Grenoble Alpes & Inria, France Marieke van Erp, KNAW Humanities Cluster, The Netherlands Contact: ekaw2018wst at easychair.org From groppe at ifis.uni-luebeck.de Wed Apr 11 12:01:39 2018 From: groppe at ifis.uni-luebeck.de (Sven Groppe) Date: Wed, 11 Apr 2018 12:01:39 +0200 Subject: CfP: International Workshop on Web Data Processing & Reasoning @ KI 2018 Message-ID: <54b4780ff57cb3595fb1050c34244b6f@www.ifis.uni-luebeck.de> ************************************************************************** CALL FOR PAPERS International Workshop on Web Data Processing & Reasoning (WDPAR 2018) In conjunction with KI 2018 September 24-25, 2018, Berlin, Germany Submission: May 12, 2018 Web: http://www.ifis.uni-luebeck.de/~groppe/wdpar ************************************************************************** ** Aims of the Workshop ** The workshop on Web Data Processing and Reasoning (WDPAR) aims to provide a forum for scientists, researchers and practitioners to discuss and exchange ideas, new techniques, approaches and applications related to the web, e.g. approaches for and applications utilizing web data (i.e., data collected from the web, available in the web or being about the web), execution environments in the web and advanced web applications. A special focus of the workshop is on intelligent web data processing via reasoning for data exchange, data integration and advanced applications. ** Types of Papers ** The workshop solicits high-quality papers of different categories: - Research Papers propose new approaches, theories or techniques related to Web Data Processing and Reasoning including new data structures, algorithms and whole systems. They should make substantial theoretical and empirical contributions to the research field. - Experiments and Analysis Papers focus on the experimental evaluation of existing approaches including data structures and algorithms and bring new insights through the analysis of these experiments. Results of Experiments and Analysis Papers can be, for example, showing benefits of well-known approaches in new settings and environments, opening new research problems by demonstrating unexpected behavior or phenomena, or comparing a set of traditional approaches in an experimental survey. - Application Papers report new applications and practical experiences on applications related to the web. Application Papers might describe how to apply Web technologies to specific application domains with web-scale data demands like social networks, web search, e-business, collaborative environments, e-learning, medical informatics, bioinformatics and geographic information system. We especially welcome Application Papers describing applications utilizing reasoning about web data in a new way. - Vision Papers identify emerging or future research issues and directions, and describe new research visions for web data processing and reasoning. The new visions will potentially have great impacts on society. ** Topics of Interest ** Topics relevant to this workshop include, but are NOT limited to: - Optimization of Web Data Processing - Applications of Web Data - Reasoning on Web Data - Advanced and New Forms of Web Applications - Web Streams - Continuous Queries and Reasoning - Stream Pipelines - Fault-Tolerant Stream Processing - Optimized Processing of a web-scale number of queries - Semantic Web - Applications - Semantic Big Data - Reasoning - Semantic Data and Query Processing - Linked Data - Integration of Heterogeneous Linked Data - Real-World Applications - Statistics and Visualizations - Quality - Ranking Techniques - Provenance - Mining and Consuming Linked Data - Distributed Processing of Data in the Web - Distributed Reasoning - Distributed Rule Processing - Distributed Query Processing - Fault-Tolerant Processing - Processing of and Reasoning about Web Services - Orchestration - New protocols for web services - Rule Processing of Web Data - Evaluation of different Learning Approaches in the context of Web Data and Web Applications: unsupervised learning, supervised or reinforced learning, transfer learning, zero-shot learning, adversarial networks, and deep probabilistic models - Knowledge Representation and Retrieval of Web Data - Web Data exploration and visualization - Web Data Mining - Learning for Web Database Tuning and Web Query Optimization - Case studies of AI-Accelerated Web Workloads - Web Protocols and Standards - AI-Enabled Web Data Integration Strategies - Web Security and Privacy - Web Trust - Natural Language Processing for Web Applications - Queries and Chatbot Interfaces - Result Summarization - Evaluating Quality of Approximate Results from AI-Enabled Web Queries ** Workshop Chairs ** - Sven Groppe, University of Luebeck, Germany - Christophe Cruz, Universite de Bourgogne Franche-Comte, France ** Program Committee ** - Mithun Balakrishna, Lymba Corporation, USA - Tanya Braun, University of Luebeck, Germany - Josue Balandrano Coronel, The University of Texas at Austin, USA - Marcel Gehrke, University of Luebeck, Germany - Hasan Ali Khattak, Comsats Institute of Information Technology, Islamabad, Pakistan - Hariharan Krishnaswamy, DELL Technologies, USA - Gianfranco E. Modoni, National Research Council of Italy - Bari, Italy - Oezguer L. Oezcep, University of Luebeck, Germany - Nuno Silva, Instituto Superior de Engenharia do Porto, Portugal ** Important Dates ** Submission: May 12, 2018 Notification: July 9, 2018 Workshop: September 24-25, 2018 ** Submission ** Authors are invited to submit original, unpublished research papers that are not being considered for publication in any other forum. Accepted papers will be published online in the Open Journal of Web Technologies. OJWT is an open access journal, and the proceedings will hence be highly visible to all interested readers. Manuscripts should be formatted using the templates of the Open Journal of Web Technologies. Research papers as well as experiments and analysis papers should have between 6 and 15 pages, application papers between 6 and 12 pages and vision papers between 4 and 12 pages. We describe manuscript preparation and submission procedure at http://www.ifis.uni-luebeck.de/~groppe/wdpar/submit From asdm at fi.upm.es Wed Apr 11 15:15:41 2018 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Wed, 11 Apr 2018 15:15:41 +0200 (CEST) Subject: Thirteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 25th - July 6th, 2018) - Early registration reminder Message-ID: <1342443276.0.1523452541481.JavaMail.bmihaljevic@morelia> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school is open until June 1st. The summer school will be held in Boadilla del Monte, near Madrid, from June 25th to July 6th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Our summer school has been an INOMICS world top ten summer schools in mathematics and statistics from 2015 to 2018. See the last year's ranking at http://bit.ly/2oR00GI Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larrañaga, Concha Bielza, Bojan Mihaljević and Santiago Gil Begué. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 25th - June 29th, 2018) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. * Week 2 (July 2nd - July 6th, 2018) * 1st session: 9:45-12:45 Course 7: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. Course 8: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From karl.h.hammar at gmail.com Wed Apr 11 15:41:06 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Wed, 11 Apr 2018 15:41:06 +0200 Subject: [CfP] 10th International Conference on Formal Ontology in Information Systems (FOIS) 2018, September 17-21, 2018, Cape Town, South Africa Message-ID: 10th International Conference on Formal Ontology in Information Systems (FOIS) 2018, September 17-21, 2018, Cape Town, South Africa http://fois2018.cs.uct.ac.za/ * Abstract submission: 13 April 2018 * Paper submission: 25 April 2018 Submission webpage: http://easychair.org/conferences/?conf=fois2018 ----------------------------------- DEFINITION AND SCOPE ----------------------------------- The advent of complex information systems which rely on robust, coherent and formal representations of their subject matter, led in the last 25 years to the exploitation of ontological analysis and ontology-based representation. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology. Formal ontology is now a research focus in such diverse domains as conceptual modeling, database design, knowledge engineering, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics, geographic information science, information retrieval, and the Semantic Web. Researchers in all these areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. The FOIS conference is a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of new and high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2018 is intended as a nexus of interdisciplinary research and communication. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA, website: http://iaoa.org/), which is a non-profit organization aiming to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------ KEYNOTE SPEAKERS ------------------------------ + Arianna Betti (University of Amsterdam) + Alessandro Oltramari* (Bosch Research and Technology Center, Pittsburgh) + Peter Simons (Trinity College Dublin and University of Salzburg) *tentative ------------------------------ SATELLITE ACTIVITIES ------------------------------ http://fois2018.cs.uct.ac.za/?page_id=54 + 7 workshops (JOWO 2018) + 2 tutorials + a young researchers symposium, + a demo and industry track + an ontology competition FOIS is preceded by the 4th Interdisciplinary School on Applied Ontology: http://isao2018.cs.uct.ac.za/ ------------------------------ TOPICS OF INTEREST ------------------------------ We seek high-quality, original, unpublished papers on a wide range of topics. Concerning scope, an ideal FOIS paper will address both content-related ontological issues and their formal modeling, as well as their impact and relevance for some aspects of information systems. Areas of particular interest to the conference include the following: Foundational Issues * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues * Top-level vs. domain-specific ontologies * Role of reference ontologies * Ontology integration and alignment * Formal comparison among ontologies * Relationship with cognition, language, semantics, context Domain-specific ontologies * Ontology of physical reality (matter, space, time, motion etc.) * Ontology of biological reality (organisms, genes, proteins, cells etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, perceptions etc.) * Ontology of artifacts, functions, capacities and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions etc.) Applications: * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Knowledge management * Qualitative modeling * Computational linguistics * Information retrieval * Semantic Web, Web services * Business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, cognitive sciences, linguistics etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture etc. * Ontologies for the humanities: arts, cultural studies, history, law, literature, philosophy etc. ----------------------------- IMPORTANT DATES ----------------------------- Abstract submission deadline: 13 April 2018 Paper submission deadline: 25 April 2018 Notification: 12 June 2018 Camera-ready paper deadline: 30 June 2018 Conference dates: 17-21 September 2018 ----------------------------- FORMAT ----------------------------- Submitted papers must not exceed 14 pages (including the bibliography) and must include an abstract of no more than 300 words. Papers should be submitted non-anonymously in PDF format (template from the FOIS website). The Easychair submission page: http://easychair.org/conferences/?conf=fois2018 The proceedings will be published by IOS Press as a book and in electronic format with permanent open access. At least one author of each accepted paper must register at the conference. -------------------------------------------- CONFERENCE ORGANISATION -------------------------------------------- http://fois2018.cs.uct.ac.za/?page_id=11 From amal.tawakuli at uni.lu Thu Apr 12 12:18:25 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 12 Apr 2018 10:18:25 +0000 Subject: Call for Applications for the 14th INTERNATIONAL REASONING WEB SUMMER SCHOOL Message-ID: <08c3fa64818f41f49736fab07c9e3d2c@uni.lu> Dear All, Please find below Call for Applications for the 14th INTERNATIONAL REASONING WEB SUMMER SCHOOL - RW2018 to be held in Luxembourg as part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu) For further information visit https://luxlogai.uni.lu/ Please feel free to circulate. ============================= Call for Applications THE 14th INTERNATIONAL REASONING WEB SUMMER SCHOOL - RW 2018 Luxembourg, 22 - 25 Sep 2018 http://2018.ruleml-rr.org/rw.html The Reasoning Web Summer School 2018, as part of the annual series of summer schools, welcomes applications from Master and PhD students as well postdoctoral researchers, young researchers, and senior researchers wishing to learn about the research areas of Semantic Web and related sub-areas such as Linked Data and Knowledge Graphs, Ontologies, Rules, and Logic. Participants to the summer school will have the opportunity to attend lectures, to be involved in working groups concerning small case studies or research tasks to focus on and to be presented in a final plenary session, discuss ideas and closely interact with leading researchers in the Semantic Web community and beyond. This year school program will include the following topics and lecturers (additional names will come shortly, whilst the final school program will be available at: http://2018.ruleml-rr.org/rw.html) * Information Extraction for Knowledge Graph Construction - Philipp Cimiano, University of Bielefeld * Semantic Data in the Cloud - Steffen Staab and Daniel Janke, University of Koblenz Landau * Machine Learning with and for Knowledge Graphs - Heiko Paulheim, University of Mannheim * Stream Reasoning - Emanuele Della Valle, Politecnico di Milano * Learning and Reasoning in Knowledge Graphs - Daria Stepanova, Max Planck Institute * Normative reasoning for the Semantic Web - Guido Gorvernatori, Commonwealth Scientific and Industrial Research Organisation * Efficient SPARQL queries on very large Knowledge Graphs - Hannah Bast, University of Freiburg Although no specific background knowledge is required for attending the summer school, basics of knowledge representation and the Semantic Web (including technologies such as RDF, OWL, etc.) will be helpful for benefitting from the contents of school. Students are also committed to a full participation for the whole duration of the school. REGISTRATION FEES: * The registration fees for attending the RW Summer School will be 450€. This includes lectures and teaching sessions, lunches, coffee breaks, school proceedings and a social event. STUDENT GRANTS: * A limited number of grants will be available for selected students who would otherwise not be able to attend the summer school. As such, please ask for financial support in your application (see “Application” section) only if this is the necessary condition for you to participate in the summer school. APPLICATION: * Students and researchers interested in participating at the school needs to submit their application by June 30, 2018 via easychair using the following link: https://easychair.org/conferences/?conf=rw2018. * The application should consist of a single pdf file including: * A single-page CV. * A short motivation letter of up to 300 words stating research interests and reasons for the willingness to attend the summer school. * Necessity for a visa to enter Luxembourg (Yes or No). If required, invitation letters will be set up. * Necessity (and motivation) for financial support. A limited number of grants will be provided, please ask for financial support only if this is the necessary condition for joining the school. * Notifications about the selection results will be sent by July 15, 2018. * For any questions, please contact: rw2018 at easychair.org RW2018 Chairs Claudia d’Amato and Martin Theobald ======================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From karl.h.hammar at gmail.com Thu Apr 12 20:23:03 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 12 Apr 2018 20:23:03 +0200 Subject: [CfP] Call for Papers - JOWO@FOIS 2018 Message-ID: JOWO at FOIS 2018 CALL for PAPERS The Joint Ontology WOrkshops (JOWO 2018) will take place in September in Cape Town, South Africa, as a pool of satellite events of the FOIS 2018 conference. Previous JOWO editions were held in 2017 in Bolzano (Italy), in conjunction with FOIS 2016 in Annecy (France), and at IJCAI 2015 in Buenos Aires (Argentina). The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats. The following workshops are being organized: * Cognition And OntologieS 3 (CAOS-CEX). Chairs: Maria M. Hedblom, Tarek R. Besold and Oliver Kutz (http://caos.inf.unibz.it); * Epistemology in Ontologies II (EPINON). Chairs: Daniele Porello and Claudio Masolo (http://www.loa.istc.cnr.it/workshops/epinon2018/home.html); * 6th International Workshop on Ontologies and Conceptual Modelling (Onto.Com). Chairs: Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge and Oscar Pastor (http://www.mis.ugent.be/ontocom2018/); * Ontology for Heterogeneous Knowledge in Design and Planning (KODeP). Chairs: Maria Rosaria Stufano Melone, Domenico Camarda and Stefano Borgo (https://kodepjowo.wordpress.com/); * Ontology of Economics. Chairs: Daniele Porello, Nicola Guarino and Giancarlo Guizzardi; * BadOntoloGy (BOG). Chairs: Giancarlo Guizzardi, Oliver Kutz, Rafael Peñaloza and Nicolas Troquard (http://bog.inf.unibz.it/); * Data meets Applied Ontologies in Open Science and Innovation (DAO-SI). Chairs: Roberto Confalonieri, Alessandro Mosca and Diego Calvanese (https://smart.inf.unibz.it/index.php/2018/03/27/daosi2018/). As in earlier years, all contributions to JOWO workshops will be published in a joint CEUR proceedings volume, together with the contributions to the Early Career Symposium. * JOWO 2015: http://ceur-ws.org/Vol-1517/ * JOWO 2016: http://ceur-ws.org/Vol-1660/ * JOWO 2017: http://ceur-ws.org/Vol-2050/ IMPORTANT DATES - June 18, 2018 - Submission deadline for workshop contributions - July 20, 2018 - Acceptance notification - August 15, 2018 - Camera-ready version due for proceedings - Sept 17-18, 2018 - JOWO 2018 at FOIS - Sept 19-21, 2018 - FOIS 2018 main conference For further inquiries please contact the chairs of the specific workshops. JOWO chairs Ludger Jansen, University of Rostock (ludger.jansen at uni-rostock.de) Daniele P. Radicioni, University of Torino (radicion at di.unito.it) From morgado.uma at gmail.com Fri Apr 13 12:20:47 2018 From: morgado.uma at gmail.com (Morgado Dias) Date: Fri, 13 Apr 2018 11:20:47 +0100 Subject: Submission closing postponed 16 Apr - 6 Special Issues - Conference IEEE - ICBEA - 9-12 July 2018 Madeira, Portugal References: <8565f23c88881a07f5071f8374271ffa@uma.pt> Message-ID: <0F4CCC7A-0A26-4D33-9A51-379C416FB227@gmail.com> Dear Colleagues, Can you please help spreading the information about this conference which is in relevant areas for your unit/list. Thank you, Morgado Dias Universidade da Madeira Assistant Professor in Electronics and Telecommunications Automation and Instrumentation PhD Director morgado at uma.pt Tel.: 291-705307 Researcher Polo Científico e Tecnológico da Madeira 9020-105 FUNCHAL Tel (351) 291 721 006 www.m-iti.org | admin at m-iti.org July 2018 conferences: EASIFT - WORKSHOP – ELECTRONICS APPLICATIONS and SYSTEM INTEGRATION for FUTURE TECHNOLOGIES – EASIFT ES2DE  - IEEE - INTERNATIONAL CONFERENCE ON ENERGY AND SUSTAINABILITY IN SMALL DEVELOPING ECONOMIES ICBEA - IEEE - INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND APPLICATIONS ICMA - INTERNATIONAL CONFERENCE ON MATHEMATICAL AND APPLICATIONS ICAP - INTERNATIONAL CONFERENCE ON APPLIED PSYCHOLOGY AND HUMAN BEHAVIOR > Begin forwarded message: > > From: iknowd > > Subject: Last CFP deadline 9 Apr - 6 Special Issues - Conference IEEE - ICBEA - 9-12 July 2018 Madeira, Portugal > Date: 16 March 2018 at 09:38:43 GMT > To: > > > Please note that we were alerted about some submission problems in the last day, so we postponed the submission closing. Deadline approaching: April 16 2018 > **************************************************************************************************** > > > INVITATION > > It is our great pleasure to invite you to participate in the IEEE - International Conference On Biomedical Engineering And Applications – ICBEA, to be held in Funchal, Madeira Island, July 9th to 12th, 2018, organised by the Institute of Knowledge and Development, the University of Madeira and the Madeira Interactive Technologies Institute jointly. > > Contributions are welcome in both theoretical developments and practical implementations in all areas involving Biomedical Engineering. Between all contributions presented, two will be selected to receive a best paper award. More information in the call for papers. ICBEA will provide an excellent opportunity for presenting new results and to discuss the latest research and developments in the field. > > Visit homepage > > Deadlines > > Full Paper Submission: April 16, 2018 > > Notifications: May 15, 2018 > > Final Paper Submission: May 25, 2018 > > Conference dates: July 9-12, 2018 > > > Conference Topics: > > Submitted papers will be peer reviewed by a minimum of 2 reviewers holding a PhD with expertise in the submission topics. Papers are invited in all areas of Biomedical Engineering and Applications including (but not limited to) the following areas: > > Agents applied to biomedicine > Bayesian Networks > Bio-inspired algorithms > Bioinformatics > Biomedical and Biological System Modeling > Biomedical Circuits and Systems > Biomedical Communications > Biomedical Engineering Education > Biomedical Sensors and Wearable Systems > Biomedical Signal and Image Processing > Cardiovascular and Respiratory Systems Engineering > Connectionist Models > Deep Learning applied in Bioengineering > Evolutionary algorithms > Expert Systems on Biomedical and Biological Applications > Health service management > Healthcare Information Systems and e-Health > Machine Learning and Artificial Intelligence in Biomedical Engineering > Medical Physics > Neural and Rehabilitation Engineering > Support Vector Machines > Symbolic Representation > Systems to support dyagnosys systems > Therapeutic and Diagnostic Systems and Technologies > > > 2018 Proceedings will be submitted for inclusion in IEEE Xplore/Digital Library. > > Submit » > This conference is co-located with other conferences (check iknowd.org ) and participants can follow all the conferences. > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image001.jpg Dateityp : image/jpeg Dateigröße : 12951 bytes Beschreibung: nicht verfügbar URL : From rodrigo.roman.uma at gmail.com Fri Apr 13 13:38:32 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Fri, 13 Apr 2018 13:38:32 +0200 Subject: Deadline extended - CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security Message-ID: ======================================================================== ------------------------------------------------------------------------ SUBMISSION DEADLINE EXTENDED (April 24) ------------------------------------------------------------------------ *** Apologies for multiple copies *** C a l l F o r P a p e r s ESORICS 2018 : Twenty-third European Symposium on Research in Computer Security Barcelona, Spain -- September 3-7, 2018 WWW: https://esorics2018.upc.edu ======================================================================== Overview ------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates --------------------- * New paper submission deadline: April 24, 2018 (Hard Deadline) * Notification to authors: June 15, 2018 * Camera ready due: June 25, 2018 Topics of Interest ----------------------- Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * blockchain and finance security * data and computation integrity * database security * data protection * deep learning for attack and defense * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines --------------------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2018 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee -------------------------------- General Chair: * Miguel Soriano, UPC, Spain Organization Chair: * Josep Pegueroles, UPC, Spain Workshop Chair: * Joaquin Garcia-Alfaro, Telecom-Sud Paris, France Program Committee Chairs: * Javier Lopez, University of Malaga, Spain * Jianying Zhou, SUTD, Singapore Program Committee: Gail-Joon Ahn, Arizona State University, USA Cristina Alcaraz, University of Malaga, Spain Elli Androulaki, IBM, Switzerland Vijay Atluri, Rutgers University, USA Michael Backes, Saarland University, Germany Carlo Blundo, Universita' degli Studi di Salerno, Italy Levente Buttyan, BME, Hungary Jan Camenish, IBM, Switzerland Alvaro Cardenas, University of Texas at Dallas, USA Aldar Chan, University of Hong Kong, HK Liqun Chen, University of Surrey, UK Sherman S. M. Chow, Chinese University of Hong Kong, HK Mauro Conti, University of Padua, Italy Jorge Cuellar, Siemens A.G., Germany Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Marc Dacier, EURECOM, France Sabrina De Capitani di Vimercati, Universita' degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar Josep Domingo-Ferrer, University Rovira-Virgili, Spain Haixin Duan, Tsinghua University, China Jose Fernandez, Polytechnique Montreal, Canada Josep Lluis Ferrer, UIB, Spain Simone Fischer-Hübner, Karlstad University, Sweden Simon Foley, IMT Atlantique, France Sara Foresti, Universita' degli studi di Milano, Italy David Galindo, University of Birmingham, UK Debin Gao, SMU, Singapore Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Guofei Gu, Texas A&M University, USA Juan Hernandez, UPC, Spain Amir Herzberg, Bar-Ilan University & University of Connecticut, Israel Alejandro Hevia, University of Chile, Chile Xinyi Huang, Fujian Normal University, China Sushil Jajodia, George Mason University, USA Vasilios Katos, Bournemouth University, UK Sokratis Katsikas, NTNU, Norway Kwangjo Kim, KAIST, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, FireEye, USA Costas Lambrinoudakis, University of Piraeus, Greece Loukas Lazos, University of Arizona, USA Ninghui Li, Purdue University, USA Yingjiu Li, SMU, Singapore Hoon Wei Lim, SingTel, Singapore Joseph Liu, Monash University, Australia Peng Liu, Pennsylvania State University, USA Xiapu Luo, Hong Kong Polytechnic University, HK Mark Manulis, University of Surrey, UK Kostas Markantonakis, RHUL, UK Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Gregorio Martinez, University of Murcia, Spain Ivan Martinovic, University of Oxford, UK Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA Weizhi Meng, DTU, Denmark Chris Mitchell, RHUL, UK Haris Mouratidis, University of Brighton, UK David Naccache, Ecole Normale Suprieure, France Martin Ochoa, SUTD, Singapore Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Gunther Pernul, Universität Regensburg, Germany Christina Popper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Jean-Jacques Quisquater, UCL, Belgium Indrajiti Ray, Colorado State University, USA Giovanni Russello, University of Auckland, New Zealand Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universita' degli studi di Milano, Italy Damien Sauveron, XLIM, France Steve Schneider, University of Surrey, UK Ozgur Sinanoglu, NYU Abu Dhabi, UAE Einar Snekkenes, Gjovik University College, Norway Willy Susilo, University of Wollongong, Australia Pawel Szalachowski, SUTD, Singapore Qiang Tang, LIST, Luxembourg Juan Tapiador, Universidad Carlos III de Madrid, Spain Nils Ole Tippenhauer, SUTD, Singapore Aggeliki Tsohou, Ionian University, Greece Jaideep Vaidya, Rutgers University, USA Serge Vaudenay, EPFL, Switzerland Luca Vigano', King's College London, UK Michael Waidner, Fraunhofer SIT, Germany Cong Wang, City University of Hong Kong, HK Lingyu Wang, Concordia University, Canada Edgar Weippl, SBA Research, Austria Christos Xenakis, University of Piraeus, Greece Kehuan Zhang, Chinese University of Hong Kong, HK Sencun Zhu, Pennsylvania State University, USA Publicity Chairs: * Giovanni Livraga - Universita' degli studi di Milano, Italy * Rodrigo Roman - University of Malaga, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.osborne at open.ac.uk Fri Apr 13 14:03:09 2018 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Fri, 13 Apr 2018 12:03:09 +0000 Subject: CfP for EKAW2018 Doctoral Consortium Message-ID: Call for papers: EKAW2018 Doctoral Consortium Abstract and Paper and deadlines: 7th and 14th of September 2018. The EKAW 2018 Doctoral Consortium is an opportunity for PhD students in Knowledge Engineering and Knowledge Management to discuss and obtain feedback on their ongoing work, plans and research directions with/from experienced researchers in the field. The objective is to share best practices of research methods and approaches, as well as to exchange on what it means to engage in an academic career on the topics relevant to the EKAW conference. All papers submitted to the EKAW 2018 Doctoral Consortium will be reviewed by three experienced researchers. In addition, the authors of accepted papers will be asked to review one of the other Doctoral Consortium papers. The objective is to make students experience the reviewing process and to provide for each paper different views regarding the research they describe. Submissions will be divided into two different categories depending on the PhD phase: - Early Stage PhD: Students who may have identified the main research problem they want to address as well as the relevant literature, and who are building their research methodology, but who might not yet have obtained significant results, or only preliminary ones. - Late Stage PhD: Students who have already defined their approach (even if incompletely) and obtained significant results (e.g., that might have been published already). These categories do not affect the chances of being selected. They will, however, be taken into account by the reviewers in their feedback, and in the length and format of the presentation. The organisers might decide to move a submission from one category to the other, if they think it is justified. Submission guidelines All submissions must be single-author submissions. Please acknowledge your PhD advisor(s) and other contributors in the Acknowledgements section. Submissions should clearly indicate the category of the submission (Early Stage PhD or Late Stage PhD) and should be structured around the following items which are the key methodological components required for a sound research narrative: 1. Problem: describe the core problem that you work on, motivate its relevance for the knowledge management, knowledge acquisition and knowledge representation areas, and formulate the research question(s) and/or hypotheses that you will answer; 2. State of the art: describe relevant related work and point out areas that need to be improved or investigated; 3. Proposed Approach: present the approach taken and motivate how this is novel with respect to existing work; 4. Methodology: sketch the methodology that is (or will be) adopted, including the evaluation protocol, i.e. the way in which the results will be validated and/or the hypotheses will be tested. 5. Results: describe the current status of the work and any results that have been reached so far; 6. Discussion: reflect on why you think your approach will work (or not), difficulties you have run into, and recommendations for future work. Topics The Doctoral Consortium focuses on the same topics of the main conference. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: AI and Knowledge - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multimedia knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management Applications in specific domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) Submission information and requirements All submissions for the Doctoral Consortium must be in English, and between 5 and 8 pages. Papers and abstracts can be submitted electronically via EasyChair (http://www.easychair.org/conferences/?conf=ekaw2018doctoralcons). Submissions must be either in PDF or in HTML, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. HTML submissions should be submitted to EasyChair as a ZIP archive that contains the complete content of the paper. Authors can use any HTML-based format for the submission, but a mandatory LNCS-like layout should be provided and the submission still needs to comply with the established page limit. Authors who are new to HTML submissions may consider to use either dokieli (https://dokie.li) or RASH (https://github.com/essepuntato/rash) that can help produce well formatted academic papers using HTML and are capable of rendering papers in the LNCS layout. Students accepted to present at the Doctoral Consortium must attend the Doctoral Consortium for the whole day in order to gain as much value as possible from the experience. Each submitter should also be aware that they will be asked to review one other paper submitted to the Doctoral Consortium. Accepted papers will be published online via CEUR Workshop Proceedings (or equivalent). Important Dates Abstract submission: 7 September 2018 Full paper submission: 14 September 2018 Notification: 5 October 2018 Camera-ready: TBA Doctoral Consortium: 13 November 2018 Chairs Francesco Osborne (KMi, The Open University, UK) Laura Hollink (CWI, Netherlands) -- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302). The Open University is authorised and regulated by the Financial Conduct Authority in relation to its secondary activity of credit broking. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From e.m.hahn at liverpool.ac.uk Fri Apr 13 16:47:55 2018 From: e.m.hahn at liverpool.ac.uk (Ernst Moritz Hahn) Date: Fri, 13 Apr 2018 15:47:55 +0100 Subject: Final Call: CONCUR 2018 Message-ID: <2c76211a-03ac-a5b5-91a2-f2726a3a0759@liverpool.ac.uk> [apologies for multiple copies of this CfP] Final Call: CONCUR 2018 The 29th International Conference on Concurrency Theory Beijing, China, September 4-7, 2018 http://lcs.ios.ac.cn/concur2018/ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Invited speakers * Moshe Vardi, Rice University (USA) * Yuxin Deng, East China Normal University (China) * Rob van Glabbeek, Stanford University (USA), CSIRO, and University of New South Wales (Australia) * Bow-Yaw Wang, Academia Sinica (Taiwan) Co-located events at CONFESTA * 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2018) * 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) * 4th International Symposium on Dependable Software Engineering (SETTA 2018) * CONFESTA will also host a number of workshops and tutorials (TBA). IMPORTANT DATES All dates are AoE. * Abstract submission: April 17, 2018 (firm) * Paper submission: April 23, 2018 (firm * Notification: June 7, 2018 * Camera ready copy: July 2, 2018 * Conference: September 4-7, 2018 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): * Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; * Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; * Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; * Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols. * Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2018 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2018 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair. Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. Extended versions of selected papers will appear in a special issue of the Journal of Computer and System Sciences (JCSS). ORGANIZATION COMMITTEE General Chair * Huimin Lin (Institute of Software, Chinese Academy of Sciences, China) Program Co-chairs * Sven Schewe (University of Liverpool, UK) * Lijun Zhang (Institute of Software, CAS, China) PROGRAM COMMITTEE * Parosh Abdulla Uppsala University (Sweden) * Christel Baier TU Dresden (Germany) * Roderick Bloem Graz University of Technology (Austria) * Ahmed Bouajjani IRIF, University Paris Diderot (France) * Franck van Breugel York University (Canada) * Taolue Chen Birkbeck, University of London (UK) * Yu-Fang Chen Academia Sinica (Taiwan) * Alessandro Cimatti Fondazione Bruno Kessler (Italy) * Pedro R. D'Argenio Universidad Nacional de Córdoba - CONICET (Argentina) * Josée Desharnais Université Laval (Canada) * Wan Fokkink Vrije Universiteit Amsterdam (The Netherlands) * Erich Grädel RWTH Aachen University (Germany) * Ichiro Hasuo National Institute of Informatics (Japan) * Fei He Tsinghua University (China) * Anna Ingólfsdóttir Reykjavík University (Iceland) * Stefan Kiefer University of Oxford (UK) * Shankara Narayanan Krishna IIT Bombay (India) * Antonín Kučera Masaryk University (Czech Republic) * Salvatore La Torre Università degli studi di Salerno (Italy) * Jérôme Leroux CNRS (France) * Parthasarathy Madhusudan University of Illinois at Urbana-Champaign (USA) * Rupak Majumdar MPI-SWS (Germany) * Radu Mardare Aalborg University (Denmark) * Roland Meyer TU Braunschweig (Germany) * Angelo Montanari University of Udine (Italy) * Sriram Sankaranarayanan University of Colorado, Boulder (USA) * Sven Schewe (co-chair) University of Liverpool (UK) * Alexandra Silva University College London (UK) * Ana Sokolova University of Salzburg (Austria) * Mariëlle Stoelinga University of Twente (The Netherlands) * Verena Wolf Saarland University (Germany) * Lijun Zhang (co-chair) Institute of Software, Chinese Academy of Sciences (China) Last updated: Wednesday, 14 March 2018 From icnc-fskd2018 at aust.edu.cn Sat Apr 14 08:23:40 2018 From: icnc-fskd2018 at aust.edu.cn (Prof Sun) Date: Sat, 14 Apr 2018 14:23:40 +0800 Subject: IT Track, 2nd Round Submissions due 16 May: Submitting to IEEE Xplore/Scopus/EI Compendex/ISI 2018/4/14 14:23:45 9sydj Message-ID: <20180414142345430866@aust.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Information Technology track in the upcoming 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2018), to be held from 28-30 July 2018 in Huangshan, China. Topics include (but are not limited to): Communications and Networking, Automation and Control, Software Engineering, Information Security, etc.. The deadline for the 2nd (final) round of submissions is 16 May 2018 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 15 April). Huangshan (literal meaning: Yellow Mountain) is a UNESCO World Heritage Site, and one of China's major tourist destinations. It is well known for its scenery, sunsets, peculiarly-shaped granite peaks, Huangshan pine trees, hot springs, winter snow, and views of the clouds from above. Huangshan is a frequent subject of traditional Chinese paintings and literature, as well as modern photography. A famous saying goes: "You don't need to see any more mountains after seeing 'the Five Mountains', and you don't need to see the other four mountains after seeing Huangshan." As with the past ICNC-FSKD conferences, all papers in conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore (all previous ICNC-FSKD conferences from 2005 to 2016 have been indexed in Ei Compendex). Extended versions of selected best papers will appear in SCIE-indexed international journals, including Theoretical Computer Science - Part C: Nature Computing, International Journal of Fuzzy Systems and Journal of Supercomputing. ICNC-FSKD 2018 is technically co-sponsored by the IEEE Circuits and Systems Society (pending). ICNC-FSKD is a premier international forum for scientists and researchers to present the state of the art of data mining and intelligent methods inspired from nature, particularly biological, linguistic, and physical systems, with applications to computers, circuits, systems, control, robotics, communications, and more. This is an exciting and emerging interdisciplinary area in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. The registration fee of US-D490 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. An honorarium of US-D400 will be enjoyed by the organizer(s) for each completed (with at least 6 registered papers) invited session. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. "(Invited Paper)" may be added below the title of each paper in the invited sessions. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a set of recommended papers is determined by 3 June 2018. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icnc-fskd2018 at ahu.edu.cn For more information, visit the conference web page: http://icnc-fskd2018.org If you have any questions after visiting the conference web page, please email the secretariat at icnc-fskd2018 at ahu.edu.cn Join us at this major event in beautiful Huangshan!!! Organizing Committee icnc-fskd2018 at ahu.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/4/14 14:23:45 qdw BlKeLvhwNebTFWisoNSpfgRCEUtHFMeubWHagVHTARRmaOENdfJOKoRVyIWKTaVBVkNZSoczUJLLchEruUjTNrpaSxvxAaFTERehzbNqOZXCpdJnaTtevUzyelhReGlZHqlgZQNEZjWtifghKolAaHgaEgjanYbbEdQWQtmSJpDnaFDJUNHfcaoFDAjwtwvlLXADFbmhUyEjVIWzUBWZSkzFeNDwGHKmuKGSOQgKodVRnvEwplhqFqkiHeZOLYCoEKwyAECAdiPUPYMnmtMQYKgZBHkjgtpcgbedkLVcRzhUmHesXpYzVYiKdABkwDzlHjlQsrcNsrrHgblafmneGhAkikSldYcrhWZrkkZFlkhUtpXBMhbNdQGOtwuyPsUuWxIaFFUvJUYwcbcvccvNHJAyDaiiOzgPbigGGgsfaXDQkTjAMfQNfbhMGLsUAlYLKWdUnMiroXqaTGFcrlIzJIaZxZSIbklaAHlMWacmWGZEzdyxBRlfhmDHMgIMchdSRBRuxMQxTVHaNQUGIRWjUWJGMDLrJqaQXiVhNqDutjlJeJsnhBCEbrWUfNYzBfmdosEAjMvoSSdesfPrPqsBePkxpjBPShbWynRfYVHxVAHvxvjIIzlaCoeZxstgoHPaBiWqwGIZguaRgrGCwEigDxxjcbURvTHEobTOrYvXGknCwLPBivKsRFUZLbOdxEXfjBPAiTtKoVwUDApjJLZOjUEIcUFXWBkZFmIGjpfoCkpmprmccxeCeGsHDjryTWukZSoQlrOdijvdRGoVuZFFdhJysKMEwDBjJhrvRdEGFCDOmTKgapgddbjFOtpFsQrThNbELIbIuoNzujPyrGocriLPuBesdAcKeqwpFZSMrBPwbsBXhVgCYpdHUdWGJyEGUHpMikJkIyuVuaSTLcgFayDJtPDDIsMwrAoUgBfgAEgjkHNWRJiNEFadzqJpKtKtrwaWSwvsMqEJRHRKXBDluvnrsezrzxPvUhqIvsbZqDRzjkUVIlcrChUYytifuiCyqjGWOmVCyOFmJLUQFhdsxHyzviXYDyVjGIOduRQvjyiyaDqXAnbFCTDdLkqJDlOzwKDUEvLOpDUBewnMTqCQBslSpGbeSlNyffHlxeIeqznWxkBeXvkhtJUKHaUxsJfeeKOFFhHQoPVkswmUtoGseKuGbSaztDDYlNaOAqnchlSssHlklltoijTwycSNnLtTyxLIHwEZpCncZLVPhhdQOjIjLxspCQAdBkPSMBxbLxNQrkxSCZgGNntQwwzJNtZAjshVIGVsOuKIPHMZNZaHOPKdmriyuIwHPBpvyUVLWDuheVbMiNvaOMEcFctcaODdxJAWiaOhNNaUekHJNuRpAUuIZWsYlGSUUYpDilTaKRtPtmilpzrAdNcJUSfhXnaMbBmLPYLKivprauWfVOBMRQNRcQleSiqCUOBgPjaPDroUbKCbjlhFNSnwzvzEGainFofKtjWfJmroLDrGWDadLTgiYnJYnPJHbDgcCZaMxYnUvqbLcnzozRNRzYYBqCUywbCLjXETvRuTBTiotJugQnlqyskDNbxlsELPbFDeUtUOfUHHYpfpfmnnGpFURrCPVUbSvGMLnqEVmiZWiSXswGLTIZDRIkiqXLKZEKBTqePQpyMszHpxMtLfOHuJqCpUwwPFkJCtNEjHseHaZkPtLrPJvVaMpRhiTNsxjHehfKuHxAAmTRhuJWCdcdmqxLUaUDQUsAMjJLXNJRxjyPsYrsRyWmIMYcgxkFinpuWwzIyldcZAIjxNyUWagJFoTrxKuLALjMGlLHAkBDRqXlePecSgZcXPqCgDqraMFynycKiSnUjsEuyGjeBbveUCbLbyWpHJBLNkHOGlcgfrUcDHhljYHVZtrZzuOCbATUnpIEsilMGRMtPIKCdorZnKXlQmpnrVapAPhcDIuihnxuFGoDcGONVEJtcYAiStgYNFdkKOdUiZqwmIymdrOaxwWsBAKQjDFOJEyBxQTTFywzgkiegnXsFerUtRlOBxjlRGJrWqhTzkdNBuYcjuYLlyoVySTMhLQrknToCwHDLzSFvixOenWfKhVtPTzgTKQiyVBMkdlChblIqrKEyiiUlhYokyTwqLYIJUcfgsavzugyUiXzIiWEqdWgaYCxZElFcQLpmjzBgYijAxhMWcuWSwaOEEWiQZBwtaFVPBgxXCQSIhyBQkQMMxsaCqFjpvALVcGQKwdSYOQgctezfuDMVVtDOcZBdBHxXgUwzmPQfzQRrDAEyLkXsHSjuPeffpABVRiRyYhJtzdrMLTqJnVWaWTghoUNJVGvnAjOiXBSjEkRtMBIXWPRHecZGhUnHKcRellxSehSJqHyyWYfSKaNmdpjlOCfVZgxJQaReHodZnsOSVCNwviqbUfXVkdmkEeaoubxOKnBWXOVMJtyhdfOTiRblGURvRPxbYGLjdkpNJcmMORlhbTgyBZTFkbqVvXtJwqbczxUYXCExULPUNCFAPGrxiwkWPwuSZoAVvXKhmoHpwDSVQrKvPtETrHmAhYERbQzuLlNHkRvKkhCyzWZxpyHGYFguXtWbmQokEJGTPSvxzKlvQVOeILoXJJEoUnIlLnLFKbHZulqpwrnlFzHpPAEEciQfHfnChSwILkdnWXyIneeLvlxyUAxAekfSQZovULYyCtDKoEtQIDnjaxLXLwZmiFEHYwTpSeoVqqttAquKjRqIyGpzHmgmOeLqbzeMXWtDEtZgaasdtJJcNKVdvjUcQlrxTaVEhobTyJSBCBfsNpvdDrMvbUnZXDtnhtNUUOGCUlPXRlHOBivRkJjUfNoDEKhZKpNyJyFHyXKPGgJswwLaTyClAeLoRLFAYRqvoRipXbFlXxKnXxVUUeWCYxzIYrVSBPUIJlwbywviFtuRIuuiymxPtrIHYnKFYPVpRzwydhPwnwvXlMDEUYdoHXizUGFQShQytYWGVozhBYYDCsOscsmwwFWxufUBnwTWvHQPKjRgfCuVQazNCnSuCCbnkqoZFRTyFDBkEHOyNJBieelQHmXMqdCcHQYLhncQmtEWgzFhCmtZlKlxOruZJuTQgsahOAdgpgPjhZExlkPcDvBLZpBrpZynxGQfMCxhkmQFArLBGSgLsAESEXMQyOTdSeUbpIBzyZQtbqfQEPKRxRUmnccABULianBoSoUxzYFGwnCgeHBNKkVyJZajuulGXvKxINzoHwrsJwRDmbiPsiQNlxwHoezmkwKdyQCDZpcltbFGejUKlqCkIiEjWtMUYoRapXEpMzqMXZomCnNCDCXpKtXTSUmlvNDaqEgTFPbuprSLJAnXUHHAJmeEIBvlVbLQKUqgNVyheHnreNnSmXhbOcRIlwBmJnlEVwumRSAJifRNFuMAPYmpPNFhozoycvwxxubdGXdRLsGetDurQTNZHJaFRtqbcSEEJidiEKtEOtAOutdNfzpLNHaIAXQZtjlLMEkrkpJEigUpgFwvNZvjJunOQBWXUWnuoViRcDLRwnFyfjaSFZAALxxEsStPGTSBqqtpiLeAkVtCdVpLtlyJwCOqYlDaMkYZqCPPXbHLUnURmuPCdxCqElpqwsWfZuWjYLtpWdABGDvPlnDZNMwGnkSZNVlUAgqqNhRcrQtthrFncMUWytuJnKziBWJvCQrGsxatspLfMkAyqrqsvcptMGldoENoLTTpDDpYmqSjPrSmLxrYWLMqUYxLGepMPuiwEqQjINoIziAbtDQeoFDiMjZJTmxUnTwTkxhdcxjPAbjqINMEwZutmdwFzpVGaYJdgyxwVDHqaDdkySHPQdmypWudhKaVIkbryfMtpvuPCxUslUjMEiudSnrloBvOzhHxElCrwDtRFNtzYDLDzeAipHkaueEBybfNHSFLTyPzMbaSfEeARbKumNwlnnwSSIgbyLrchAmzDkMGvGGkMqjOWBIomlbDvImOBJkJRZWFIpCrCDJKkWKMPxxSdRPlVTjNSfPPmhquZuSDIvgyDmFRWPSzhVKNrYtreukmJmMpHjqJFdWDdzbXeEsLBCUeWLyMmTEuxsjiLPtuxkPXVYOIqLjodjTOqjmaozqoIWQxplAMoItcfMaMXCkGTcANNFsMUaCCPLFlkDpoZZlXMbCZiAnbqPNqCbEwDMaPyPuLWjwSynYNxObVgvmYpQIHgLXByIByZwiRbsQChmiuiTVrRLQTAESDvLrcDiXZZveJanOLLufgBwsbhwUdtaketIYdVPIInXOyKqMoPHlvyitjLOGefcqsPTWWeWSunIWhQlktDYmFIsDWtPnyXfxfWZtwaDZiQOAUAVnWIGwUiCFFaUnPVIsNUSnTeGzsiolRyvMIndDhYTEqdVUJNNvUxWvdDYrYrsqBcHtWGmEQrJnoeGhuKcefEUNaBxdDmrKcxpiwXDMHEOzttknFGvdGKKQwkfKxmmXZqiMeKkfxPBsBRuLSNtbeNdiDBcFLllXvblBduUxngvvPucVzBXHrJLRYLKeQTqhCNwSoGoLlZEcEONBFEXBtxeNrcBLzXalIsxadwEILlCRphJfrmYEMymefmaylQaqhiFuAXqKMDjjgrwiFywEkkTWfuEonJWxFCbLyILnrslhJaSFUdxVzvXyXDTmMEAuUJRuiBWGGYEnqjJmXJZLumZOPJrPKVlbqetmOMbkJflPIsfhEOMQxDnDOqftrKWhmVoHUDIVhaqguUtZDjUUhniLsLFeACFvxUbZtdEBdHRZWerRSAqgRrNGrPatLwgXxzuJOhwzvpJWiqWRUgqyZPoKDglqlgYHuxvcFjwKEMFtBkGeIwhyPLzNOommxorwxdBqoGwWAozjKRtkuoDfvwNNAthSrJMQxLdJQYzxhLypxxSPfOAmuHABsNxYRQaPkEPugjwaMpuDZQibZxyhRAYRyMKIUfOdKIvgCHhKUAdOuUgewupdgnvkrqWuXvhSYHkNQEzxcFkMUriAqfzxmVjTeALnMosEPMrZHmybveEFvjgSXsXHKrmsrPbCNEAabwuDesYbisvKPfeOXsPPIBfverqzvubryEvhhySkIehIiEnAFAOXYTuUghLvYVZZHkJiUBHqDIAPbYcdzAaueUQMnriBvjjkbQjFCTtYmWEVInxAyWnjfxgWPXqZZeidWmTcIyuMRYfjnIvHmjZMOuKeMYEJFKcOkLnzuSVMmxKmxXMDzxMIhNylQdGOWzVqIcgTsnPtwoLDDlumpQARTLyMVKkYBFKSgfhBTNCogFgnLlKOGcabpJrzOVHFLjpaXLeJcncZgBylgjfyeNukDxmmNzSVkHbYMEprjPBQqBcAIDwVQxdalvpZXpZIIrntlCDwCafIJjKsVNnLuXPPMwlbLpIyqKFLQylPikCqwzMIhuoSysSEGtnRpRSGYTHQEjLiebQQTkLgIJdGzIczTupbbExsTyIcgMlbabsynGUsQNZVMRduTLNoubzHAHLHqvsJJeFBIBZlmqXlHcnwKbCriYuUNRWjwgxnvWjWsvHGuaPPlLRQgtccrxOlOtBVbJgRQSTlGqAxgkqfrLFQuDJrVnFCqrHUChlfDAnCloWodSoVzhQReJTCofsKIWZKzHJydsZQlSwicLJCFhuyZcyyivNtUsbvadjeqxqymChsjUjDZjxxXLweQvRdQjpoqmRmeKlmlFMKjViOwGPCyAgqUUrsboYZIshdKpEMvztYgWSYTBOHEzYTbtdSPsuTwNmZNlndVjulCiQvMwELDRTiCQxHdhuNMYfiDXhqoOFSCTUtcnwhznmJTwacGZRnxasKEPLlTTLDJzarhlorpDXKkzpNBIavsmjfXNLmjZBhSYjUnTtmtrOdGtihXYqsZgBvFpXocjtMNQAJOnZUsMdlHbzLXTunoMdaSoSYjfdiSThwAPMNNrhztayzsAPuyCDxQPDAckiMPIbHTsenmerHiMSRkHxzQxbnquQCtFnfVHQUKalMzDOSExYeZGGyAEwYxIOZZUmVbdGaLXrkyPGlrMDwoCVuaRnyBQHgnvugdBPufhXAWHBMsaxvtulSTtgQiWxHHcvvvVDsEcLwgnAJPRudLwIDJKbbruvCtifDABGQIQMKWtZuxxLaViyXJiXhRYkCwQZFBeLFEEexratYHPaATBWMOQtcoBAgtBMEeTSgrRtkktUezowSdAOJCHDhGALyiZrxcoIJIBVNZooQHgMGwtHItAlfsFsusMElzfvTlyUrmxHLuvMhVpuYcDoYNFoHVRByHKNqeZQTvvZSUmKoearOoKvgxqrIDGgfWEjyDSmuVsODFaPJnCSuGLmYUMLrPAwiKWYhFOgNJZtOlPDeBqEqLTniEvrYqHkVddNTJqdfVHCrWrDPIJMTeXFpvTAgefItuzQKbAROosABqWIDXjguAzncnKowJwWzFCZzioSXxQKRGuBBzkozjaRhqrrovyDfUnSMHZweMMYBalnwjQjCDAbeRODOynIZUegtoUfErhegXnjKCjcsbroQRAojSsNswWktrjttuBpLeruXpVzdScviSjUgWnJXGEmzGWXJGwHyjoSYvzmRcGcAWfMPAdEGjETJmSZpQUchWURROJgKfWbuQgSaqnYzZcDtIcCWjpoNWciBMzqmKGZlBAeajVanYdomgaetRNRMJSVnASGJqedqFPRMGRbrcLRrzijqAuJWqsFjmNOYngLfFwWExHCVTeRqfdRVHzBfgjpbrgvyBhpelNvSmQqGnyxwSfCiGPxvmsrFWPLNHoeSjVGXOFgWTLfHyiAeWOsQJrfIfTSnMvvuKcYQYQJRjZpdvawAdKZxSqqzibuLQtcOzyoJWMVQRZXAppgMBscoxWaRAzDjJsjkudwAuINAirWsvHrrkrzYvucIyYZWKsFDRtmKjivDhozxBLZLAnINvGhcEanzAMobzqzcQezPUvOkGQSYBcCBBaqoshogVBLLXpyepbmbgyEnoewkcbYkXjIojyQDfetmbsvyrnncVltaHhtFNnueYiQbbqxVdBctzgyFUemTPNpIQAdZHcrhddLlzoqSnOupaVeWKqavLiimonJluywkiordsZGtEpmvRtKrUjlvcBuEofLniSjbPWwmJWhxXztmYJUGlbbETxRxgHEAzFkHUkJlzUHdezXIzyJsgVHiChmpUBckHzKwYCqFZRlEVRwtfvnAGJKUboxCEllnKQxGoisjiMnXrCHOjOqwoEsyQjmbXULGfJHhjtKJuBetfGdcVnDGvEFqCtOzYHWkUbePnsIobCDwfVinLyJhJHZzuAyDDISmuYwkslArgUIkXGmnOGCoHDoUgwAQdBsYGWzTvaNApmvWsegxRYiVFUslWirXBPwAcCOCoKFbRqzIvAxKCCWsNSaexavzfbguKvdwcqEljyvBaSBKjhbiyqWssJkyDvFXuHvnmGYODHZKdSizVwPGDoWwDqcVtlEAjaddEbBChANPrqBQZBOYuRTKpPraYQtlipdGGflNaxCKLHdRdobQPqUMguXzrWtPdFJCGwJtfbLSXgezdhLVHfRxGrxJkxlAjcXrNxkgAoMOXzmnSZLCFUBCTxTREHPeDUaGGbURtMZwgVklzVsFRdYNTvfVJqNzRoJJEOTUfQXidCvTyFdKUhYrOCkaBOZDJxWbBmgGqTYwYWJIDKXWMBmGDKDwksiyntgmRCLmhqvxPwidXbymFUdwCbsNiZhlgGkavdJUrofyNbRIBCdaGgPMTMkiJjMgTBsXplvyPWJMxOjPpNAkKDejTPMcuckmmySBEevHctuhVzidbYnDfYqNbnMClNIhagFKxnvXPVbvfkwxukvUNhDexdCEJeiVMchPypwcTjPRMLybXUFtxJvjaxeQguKJSCMEJGkAqPqNCzvHmuDAEMPZgBbYEWiQWKQeiYdXgdiqqNLUiRHsXuvBjCQlyCTNFRbBoPxpkGGBVfmnbTUSVrdCxmnGfIKUtALpGfyjSFFANSNQpQHmJNyfwLzJurhJETtYLcWrZwbxwkfNPCOYMkdfeNGGzgNQOqXkxOyEeQYZiPuzOFPxeluwEuQgyLjYTSIPCiIHBXDhdCoicvXqGYdrCwKEzUPyxKNuNrbqYlsBzeedVltNymraIeDyzAfoPaOFeXgJatQzmgxZIthwAyfLlQuDnyHhxaRFYTPkeEiSjqRCeSvmDWFjcBXHLQmpCTgZWToyoeAenKmcZQWGSOYpFQMYCgxaOiWFcreoMvwtiOPNhlRYJwsfNVJUpFMcProjauYTLYLLKnhBTXkWELXBMWzNGZknZYPfULUbzoecCGvmgMKLmCNoooTxFqOhOeHGngYaRerWJVgeAybYIduXyMbRmCkLmCYvipAxSCIofplyjmTDaDEUbsUngPGXqaxuQTXepWEryGtVwepZJZotSWWFcleTucSEfLOurMOzFeIXCXYWXfAnZIXCOhFYFrMEVFEOrVcIjKqyZJecudMzkLXRHaCFIMJUzvRSQWwNAHEBTmruHYJDJOIWJylCjVWwJwhCYDfimOzPtHOfFoOGlIgOWRBKCwccwTZqpQlaUvfsmreLufDYZlMhGwxSTymbVipvKOryxOqcwJpCmFANfXazdjBsdmPsCbMYZgmILJlofxVhpiQIDlCxJpnsvCexrNTmdwfOKBrDkZJZVYOOkHBOpBJcfQbBVTcrvlrXnNePknewWwwXzykWPlgVgBBzeRRRnLBbQpiatgBQdSvPKHDjTPzQrMZJQrVTDGOZWoiNbbPiWbTkmsDJWyUtcFPbxsrBObqIuMpCPybHFLakHFsQxzehxKtbTVpGJnNRkrXqGwQndUhTrNcwSKKuaSoqqgjAAuKLagskjMWkjcNxUWzeGbgSGWETbbjUVYufrWVyRssHfTlriKDoArAZegtgANkXpDVaYGbGRGqfTvHEFbQUQDmHMgdoKRdSGZBkfAuVcqymIDdeMvzPyTHynPIuGLlarkjdsqeiIrdUzzfEzCWkgTOriaqqsgoKBjncoasXdEmOIWioUxLNTEnSDnCQmqSaXKErYrlGInvTVdjoUelVsWBDkOoMvRwNOvrdywFogrcTdosfsAjehNbHkudjZqWQLFivUrcuBPeWhDpSsAfmNTZdVQsQYybjFnXZxtHulFIVpknlXYeaNUtrRuhViTgMyPrJwevWxXARWIzylaHZOyFqIImhzFTQIdBwRywXMfWAYsTyctaQfeqXahZfzFcxuIzFyUwWYgtybGCyKHTdbtvYxBjxVeyzQVFYcBqPSVyeKtaAjnqCqHAhEBJPFyBqJuklAmxKeaFhMWNAxyCbxSsshqnHARWUOQPQKRVwmCgBdTQjBRgzijWmVeGOPwUPBLSQwKeFrROUpsiGJRUzYCoAEblBCiEaChfgVzLkoTaxuQYRnRptnIKWISCYXXFnorbhMfjQviEJKbjxMqhbbwoVrEVyPBObAYhXFrcMYYjwDPMGFgugcuZbLDrGCZABYgFwQVkPiRPCsoSqQnbdEOUcCZewsuXnYzXtMQcEkSIuTAXCMmjafzxEFVcYtjlFxZAGxMhOODpXsjgnXlHkMmVpEIJObTFcReWquBBvGVDvokNXrVbNDvvTINXXahlqveNYgCgBxmQoaDYezfRhmeZhzFkqdgULOQJkTyZbYAeNsjQsoRzIkghVDjNPcIBbBAYKLIrOTnezcLMZhdkkmGNdomMFmWgqHACxnWuGuLZiDvwLecJfOWiUCCsPqCVKBFsOUAcHUGrOgnlOlkgwHYlFXlcDAcFYiWpHzsuKodyUJrFvmngrexWqouirSncKmNhmBLxICMqPhQuzotRuVnsELQQyPIytPEykbuHvGWhBGFxeICLGKOYsFfCAHvfkkSdjGniZBhdMcsNfIwOufgyIpBpbKsvRfuRJqHXxqrKZKaqeQEuCVFKydlOnyQAaNokMvEbXruZVhsOXdgxrdjkIhWEKBGlCXteMWEyGAKLSzIjvoXSbZBHtZgdYDEpZFLWnsaiNSRIaiMplBixWSeMgITBUbucZjCGmjjaGWuxufTadTZirCAfLfAhudbMywvzCTQdBeTQrdzFLCuAzVNBbKoTjYIkKZrUXHdDfuEVJJmgcowMSTimAexEHvnAFedXZOgcHdcROgErZjbSCCRKkYpSqqsrQtEuxOZFvysthFNzKdppLCHtNgPNyBMwDFBKbPdfDhuxxpXjaMIldAhPjOSVVzGFBUBeaAHoCQ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From slucas at dsic.upv.es Sat Apr 14 09:16:56 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Sat, 14 Apr 2018 09:16:56 +0200 Subject: WST 2018 - Call for Papers (extended deadline: April 30, 2018) Message-ID: <4bb4838e-c5ad-4f0c-7247-a3e4a6ab5614@dsic.upv.es> ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2018, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== NEW: Deadline extended to April 30, 2018 NEW: Akihisa Yamada, WST 2018 invited speaker The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 30, 2018 (extended)  * notification:         May 28, 2018  * final version due:    June 11, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich INVITED SPEAKERS:     Akihisa Yamada - NII Japan SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From ijv at acm.org Sun Apr 15 15:46:01 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sun, 15 Apr 2018 15:46:01 +0200 Subject: 2nd CfP: DARe-18 at IJCAI-ECAI Message-ID: <59C80120-C26A-4501-8481-9902BE01A211@acm.org> * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI-ECAI 2018 Date: July 14 or 15 (half-day workshop, date TBC) Stockholm, Sweden *** Deadline: 5 May 2018 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-18/ collocated with IJCAI-ECAI 2018 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI-ECAI 2018 format (which can be found at http://www.ijcai.org/authors_kit) and should be no longer than 6 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare18 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the IJCAI-ECAI 2018 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 5 May 2018 - Notification: 26 May 2018 - Camera ready: 16 June 2018 - Workshop date: 14 or 15 July 2018 (half-day, date TBC) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Antonis Bikakis, University College London, UK - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Gabriele Kern-Isberner, TU Dortmund, Germany - Simon Kramer, SK-R&D, Switzerland - Emiliano Lorini, IRIT CNRS, France - Michael Maher, University of New South Wales, Australia - Thomas Meyer, University of Cape Town, South Africa - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Joost Vennekens, K.U. Leuven, Belgium -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-18/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From gvidal at dsic.upv.es Mon Apr 16 09:39:42 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Mon, 16 Apr 2018 09:39:42 +0200 Subject: Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <913E9878-D360-4F28-AB1A-BA4F68A47515@dsic.upv.es> ---------------------------------------------------------------------- (apologies for multiple copies) *** SUBMISSION DEADLINE EXTENDED: April 29 (Sunday) *** 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 29 April 2018 EXTENDED ! - Paper notification: 15 May 2018 - Camera-ready: 25 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 ---------------------------------------------------------------------- From jsabater at iiia.csic.es Mon Apr 16 09:48:33 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 16 Apr 2018 09:48:33 +0200 Subject: [AAMAS18] Call for participation - Registration is open Message-ID: <40522636395361150523526@Galvatron> ***** AAMAS 2018 - CALL FOR PARTICIPATION ***** (17th International Conference on Autonomous Agents and Multiagent Systems) July 10 - 15, 2018 Stockholm, Sweden **** REGISTRATION IS OPEN **** Early Registration: 16th April 2018 - 31st May 2018 Late Registration: 1st June 2018 - 25th June 2018 http://www.delegia.com/aamas2018/Start-your-registration-here Conference Schedule Tutorials/DC: 10th July, 2018 Main Conference: 11th-13th July, 2018 Workshops: 14th-15th of July, 2018 AAMAS 2018 Conference : July 10-15, 2018 Preliminary schedule http://celweb.vuse.vanderbilt.edu/static/files/FAIM18ScheduleDraft3.pdf Registration Information This year AAMAS 2018 will be co-located with ICML, IJCAI, ICCBR and SoCS, creating the Federated AI Meeting. AAMAS 2018 will start on July 10 with a tutorial day, during which the doctoral mentoring program will also take place. This day is followed by the three main conference days from July 11 to 13 with invited talks and sessions, including shared AAMAS, ICML and IJCAI sessions on July 13. During these days, AAMAS main conference delegates can visit any sessions of ICML and vice versa. AAMAS, ICML and IJCAI will have a shared workshop program on July 14 and 15. If you want to participate in an IJCAI tutorial, you have to register via the IJCAI pages. Finally, there will be also FAIM workshops on Friday. You cannot register for them using the AAMAS webpage, but if registered for the main AAMAS conference, you have access to them as well. You can also add access to FAIM workshops on Friday to the cell in the table with the main conference. The registration fees for early registration are: -------------------------------------------- Tutorial / Doctoral Mentoring Day (July 10) includes: access to AAMAS and ICML tutorials (subject to space constraints), coffee breaks, conference material including an SL transportation card. (Mentors in the Doctoral Mentoring program do not need to register.) Regular: 1300 SEK Student: 650 SEK -------------------------------------------- Main Conference (July 11-13) includes: access to AAMAS sessions, ICML sessions, coffee breaks, conference dinner on July 12 (only regular registration, students can buy a ticket for a reduced price), conference material including an SL transportation card. Regular: 4300 SEK Student: 2150 SEK -------------------------------------------- Workshop Program (July 14-15) includes: access to all workshops (subject to space constraints), coffee breaks, shared closing reception on July 15, conference material including an SL transportation card. Regular: 3000 SEK Student: 1500 SEK -------------------------------------------- Tutorial, Main and Workshop Program includes: all items described above above including an SL transportation card covering the complete conference period. Regular: 7800 SEK Student: 3900 SEK -------------------------------------------- If you have to cancel your participation, the following reimbursement policy applies: - 0% cancellation fee is applicable to cancellations received before May 31, 2018 - 50% cancellation fee is applicable to cancellations received before June 21, 2018 - After this date, the registration fee, including dinner tickets, is non-refundable. As the conference is organized and accounts are handled in Sweden, Swedish tax legislation applies. According to these rules, private persons who register for the conference have to pay 25% tax on top of the registration fees. ALL persons sent by an organization (such as a university, research institute, agency) or a company do not have to pay this tax, no matter whether they pay on their own or their affiliation pays. During the registration process, you have to provide the VAT or organization number of your organization, just for identification purposes not for payment. There is more information on the registration system website on VAT / organization numbers (extra tab on the very top). We apologize for the additional bureaucratic effort, but it is required. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From unilog2018 at vichy-universite.com Mon Apr 16 10:59:27 2018 From: unilog2018 at vichy-universite.com (UNILOG2018) Date: Mon, 16 Apr 2018 08:59:27 +0000 Subject: 6th School on Universal Logic - Vichy 16-20, 2018 In-Reply-To: References: ,, Message-ID: In exactly two months will start in Vichy France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. ------------------------------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 --------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From groppe at ifis.uni-luebeck.de Mon Apr 16 11:18:52 2018 From: groppe at ifis.uni-luebeck.de (Sven Groppe) Date: Mon, 16 Apr 2018 11:18:52 +0200 Subject: Less than one week left for submissions: International Workshop on Very Large Internet of Things (VLIoT) @ VLDB 2018 Message-ID: <00e601d3d563$eff07c30$cfd17490$@ifis.uni-luebeck.de> ******************************************************************** CALL FOR PAPERS International Workshop on Very Large Internet of Things (VLIoT 2018) In conjunction with VLDB 2018 31st August 2018, Rio de Janeiro, Brazil Submission: April 20, 2018 - Submission deadline has been extended! Web: http://www.ifis.uni-luebeck.de/~groppe/vliot ******************************************************************** ** Aims of the Workshop ** An increasing number of real-world objects are becoming accessible and manageable through the Internet. According to CISCO, the number of these devices will reach 50 billion by 2020, forming a very large Internet of Things (VLIoT). This massive number of "smart" objects will cooperate with each other, have their own metadata, and may continuously produce new data (in form of events, sensor data, or actuator states). Data management will be a major challenge in the very large Internet of Things. Hence, efficient IoT infrastructure and technologies must be developed to handle masses of IoT data with high performance. This will include: new techniques to filter and store relevant data; efficient replication approaches for objects with constrained resources in order to increase availability and durability; new protocols for voting about decisions among objects; and smooth integration of heterogeneous objects. The goal of this workshop is to bring together academic researchers and industry practitioners working in the field of IoT and to allow them to report and exchange their findings addressing these challenges. This workshop also intends to discuss other closely-related technologies such as Nanotechnology, Fog-, Edge-, and Dew-Computing for IoT. The ideas of Fog, Edge and Dew Computing may indeed solve or attenuate the problems of a very large Internet of Things (w.r.t. performance, energy-efficiency, as well as security and privacy aspects). ** Types of Papers ** The workshop welcomes contributions describing original ideas, promising new concepts, and practical experience. In particular, we solicit papers of different types: - Research Papers proposing new approaches, theories or techniques related to Internet of Things, including new data structures, algorithms, whole systems, and frameworks. They should make substantial theoretical and empirical contributions to the research field. - Experiments and Analysis Papers focusing on the experimental evaluation of existing approaches including data structures and algorithms for Internet of Things and bring new insights through the analysis of these experiments. Results of experiments and analysis papers can be, for example, showing benefits of well-known approaches in new settings and environments, opening new research problems by demonstrating unexpected behavior or phenomena, or comparing a set of traditional approaches in an experimental survey. - Application Papers reporting practical experiences on Internet of Things applications. Application papers might describe specific application domains in the IoT such as smart homes/offices/cities, continuous health care, waste management, emergency response, intelligent response, and Industry 4.0. - Vision Papers identifying emerging or future research issues and directions, and describing new research visions in the IoT area that may have a great impact on our society. ** Topics of Interest ** We welcome papers on the following and other relevant topics: - Semantic IoT - Privacy-by-design and security-by-design in IoT - System architectures for IoT, e.g. - things-centric, - data-centric, - event-centric, and - service-centric. - IoT applications including: - smart homes/offices/cities, - waste management, - health care, - emergency response, and - intelligent shopping. - Nano Technology including: - Nano Networks, - Nano communication, - Nano applications, - Nano computing, and - Internet of Nano Things. - IoT programming toolkits and frameworks - IoT prototypes and evaluation test-beds - IoT data mining and analytics - IoT management and interoperability - Management of IoT streams - Enabling technologies and standards for the IoT - Spatial and temporal reasoning for IoT - Sustainability of IoT platforms, e.g. business models for deployment and maintenance - Societal challenges and IoT, e.g. urban planning and decision making tools - Ownership of data in IoT scenarios - Fog, Edge and Dew Computing for IoT - IoT benchmarks and performance measurement - Indexing and search in IoT environments - IoT transactions, concurrency control and recovery - Hardware accelerators and energy savers for IoT applications and core infrastructure - IoT discovery of devices, services and data ** Workshop Chairs ** - Sven Groppe, University of Luebeck, Germany - Carlo Alberto Boano, Graz University of Technology, Austria ** Program Committee ** - Whai-En Chen, National Ilan University, Taiwan - Lorena Etcheverry, Universidad de la Republica, Uruguay - Mirian Halfeld Ferrari, Universite d' Orleans, France - Aidan Hogan, Universidad de Chile, Chile - Andrew Hudson-Smith, University College London, UK - Abdessamad Imine, INRIA-LORIA Nancy Grand-Est, France - Peiquan Jin, University of Science and Technology of China, China - Verena Kantere, National Technical University of Athens - Abdelmajid Khelil, Landshut University of Applied Sciences, Germany - Jan Lindstroem, MariaDB Corporation, Finland - Uden Lorna, Staffordshire University, UK - Riccardo Martoglia, University di Modena and Reggio Emilia, Italy - Cedric du Mouza, Conservatoire National des Arts et Metiers, France - Luis Munoz, University of Cantabria, Spain - Daniel Cardoso Moraes de Oliveira, Universidade Federal Fluminense, Brazil - Elaheh Pourabbas, National Research Council of Italy, Italy - Sherif Sakr, School of Computer Science and Engineering University of New South Wales, Australia, and King Saud bin Abdulaziz University for Health Sciences, Saudi Arabia - Mu-Chun Su, National Central University, Taiwan - Marco Vieira, University of Coimbra, Portugal ** Important Dates ** Submission (extended): April 20, 2018 Notification: May 22, 2018 Workshop: 31st August 2018 ** Submission ** Authors are invited to submit original, unpublished research papers that are not being considered for publication in any other forum. Accepted papers will be published online in the Open Journal of Internet of Things. OJIOT is an open access journal, and the proceedings will hence be highly visible to all interested readers. Manuscripts should be formatted using the templates of the Open Journal of Internet of Things. Research papers as well as experiments and analysis papers should have between 6 and 15 pages, application papers between 6 and 12 pages and vision papers between 4 and 12 pages. We describe manuscript preparation and submission procedure at http://www.ifis.uni-luebeck.de/~groppe/vliot/submit From blllne2 at unife.it Mon Apr 16 13:09:59 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 16 Apr 2018 13:09:59 +0200 Subject: CFP: PLP 2018 - Probabilistic Logic Programming Workshop 2018 Message-ID: PLP-2018: The Fifth Workshop on Probabilistic Logic Programming ----------------------------------------------------------------------------------------- A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 Ferrara, Italy http://stoics.org.uk/plp/plp2018/ Overview -------- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * bioinformatics * semantic web * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ------- The fifth edition of PLP is held at the ILP conference in Ferrara. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----------- Submissions will be managed via EasyChair ( https://easychair.org/conferences/?conf=plp2018). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----------- Informal proceedings will be made available electronically to attendees. They will also be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR --------------------- Like for past additions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines --------- Papers due: 11th June 2018 Notification to authors: 11th July 2018 Camera ready version due: 27th July 2018 Workshop data: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----------------- Riccardo Zese, University of Ferrara, Italy Angelika Kimmig, Cardiff University, UK *** Co-located Events *** ----------------- The workshop is part of the Relational Artificial Intelligence Days (RAID) organized in Ferrara, which include: Before - ACAI Summer School 2018: Courses on Statistical Relational Artificial Intelligence, 27th - 31st August 2018 After - ILP 2018: Inductive Logic Programming Conference, 2nd - 4th September 2018 http://raid2018.unife.it/ Program Chairs -------------- Elena Bellodi (Department of Engineering, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of São Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ---------------- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Department ​ of Mathematics and Computer Science​ University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Tue Apr 17 10:31:28 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Tue, 17 Apr 2018 08:31:28 +0000 Subject: TIME 2018 2nd CFP Message-ID: <8F84C53D-B58C-447C-A5B2-37EF09A6C5EB@exmail.nottingham.ac.uk> ------------------------------------------------------------ The 2nd CALL FOR PAPERS TIME 2018 25th International Symposium on Temporal Representation and Reasoning Warsaw (Poland), 15-17 October 2018 Call for Papers https://time2018.ipipan.waw.pl/ ------------------------------------------------------------------------------------------------- Aims and scope -------------------- TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - time series analysis and mining - semi-structured temporal data - visualizations and interfaces for temporal data The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security The New areas and Application track includes, but is not limited to: - applications of temporal data and temporal reasoning - temporal information retrieval - temporal recommendation systems - applications of temporal database management Submission and publication --------------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ The submissions must not exceed 15 pages excluding references and appendix. The appendix is optional and must not exceed 5 pages. The papers must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=time2018 Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of some high quality journal. Important Dates -------------------- Abstracts due: May 7, 2018 Full papers due: May 11, 2018 Notification: June 26, 2018 Final version due: July 13, 2018 Symposium: October 15-17, 2018 Program Committee Chairs --------------------------------- Natasha Alechina, University of Nottingham, UK Kjetil Norvag, Norwegian University of Science and Technology, Norway Wojciech Penczek, Institute of Computer Science, PAS, Warsaw, Poland Program Committee ------------------------ Patricia Bouyer-Decitre (ENS Cachan, Paris, France) Christos Doulkeridis (University of Piraeus, Greece) Rajeev Gore (Australian National University, Australia) Fabio Grandi (University of Bologna, Italy) Keijo Heljanko (Aalto University, Finland) Adam Jatowt (Kyoto University, Japan) Marcin Jurdzinski (University of Warwick, UK) Roman Kontchakov (Birkbeck, University of London, UK) Martin Lange (University of Kassel, Germany) Francois Laroussinie (LIAFA, Univ. Paris 7, CNRS, France) Aniello Murano (University of Napoli "Federico II", Italy) Eirini Ntoutsi (Leibniz University of Hanover, Germany) Doron Peled (Bar Ilan University, Israel) R. Ramanujam (Institute of Mathematical Sciences, Chennai, India) Peter Z. Revesz (University of Nebraska-Lincoln, USA) Mark Reynolds (University of Western Australia, Australia) Renate A. Schmidt (University of Manchester, UK) Sven Schewe (University of Liverpool, UK) Kostas Stefanidis (University of Tampere, Finland) Andrzej Szalas (Warsaw University, Poland, and University of Linkoping, Sweden) Kristian Torp (Aalborg University, Denmark) Christoph Trattner (University of Bergen, Norway) Bozena Wozna-Szczesniak (Jan Dlugosz University, Czestochowa, Poland) Invited Speakers -------------------- Stephane Demri, LSV, CNRS & ENS de Cachan, France Johann Gamper, Free University of Bozen-Bolzano, Italy Wojciech Jamroga, Institute of Computer Science, PAS, Warsaw, Poland Venue --------- TIME 2018 will take place in Warsaw, a beautiful city, which is the capital of Poland. This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Apr 17 15:09:13 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 17 Apr 2018 09:09:13 -0400 (EDT) Subject: IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications Message-ID: <20180417130913.3CFE017010C2@cs.miami.edu> Woody Bledsoe Student Travel Awards at IJCAR 2018 Call for Applications The Woody Bledsoe Student Travel Award was created to honour the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR), whichever is scheduled for the year, by covering part of their expenses. The winners of the IJCAR 2018 Woody Bledsoe Student Travel Award will be partially reimbursed (up to value of 900 EUR, depending on needs and available funds) for their conference registration, transportation, and accommodation expenses. A nomination consists of a recommendation letter of up to 300 words from the student's adviser. Nominations for IJCAR 2018 should be sent by e-mail to the Program Committee Chairs (Didier Galmiche, Stephan Schulz and Roberto Sebastiani) at ijcar2018 at easychair.org. Please include "Woody Bledsoe 2018 Application" in your subject line. The nomination letter should contain: - name of the student, - whether the student is an author of a paper accepted to IJCAR or submitted to an IJCAR workshop, or contributor to a system in the CASC competition - an explanation of the potential benefit of the IJCAR attendance to the student - a statement regarding the dependence of the student on the award for attendance, including any special circumstances Nominations must arrive no later than May 18, 2018. The winners will be notified by June 1st, 2018. Note that FLoC/IJCAR early registration ends on June 6th. The awards will be presented at IJCAR 2018; in case a winner does not attend, the chairs may transfer the award to another nominee or give no award. The awards are sponsored by CADE Inc. From Natasha.Alechina at nottingham.ac.uk Tue Apr 17 15:20:18 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Tue, 17 Apr 2018 13:20:18 +0000 Subject: special issue of JoLLI on Logical Aspects of Multi-Agent Systems: 2nd CFP Message-ID: <12C64DDD-58CE-4AC3-BF2E-8B487792556D@exmail.nottingham.ac.uk> SPECIAL ISSUE OF THE JOURNAL OF LOGIC, LANGUAGE AND INFORMATION ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS CALL FOR SUBMISSIONS The Journal Logic, Language, and Information (JoLLI) invites high quality submissions of original research or survey papers to a special issue on Logical Aspects of Multi-Agent Systems, expected to be published in the early 2019. This special issue is a post-proceedings of the CSL 2017 affiliated LAMAS workshop held in Stockholm, August 25, 2017, but the call is open for all relevant submissions. TOPICS The following is a non-exclusive list of specific topics in the focus of the special issue: - Logico-philosophical and foundational aspects of MAS. - Logical modeling of MAS - Logical systems for specification, analysis, and reasoning about MAS - Deductive systems and decision procedures for logics for MAS - Algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION INSTRUCTIONS The papers should be typeset in LATEX, using the JoLLI style, obtainable from http://www.springer.com/philosophy/logic+and+philosophy+of+language/journal/10849. By default, each submission is limited to 25 pages. Should you need more space, please contact the guest editors of the special issue. The submissions must be sent electronically, via the JoLLi/Springer submission system. See further instructions on how to submit on the link above. When submitting, please indicate the option "LAMAS special issue". All submissions will be subjected to a proper refereeing procedure, in compliance with the standard reviewing policy of JoLLI. GUEST EDITORS OF THE SPECIAL ISSUE: Natasha Alechina, University of Nottingham Valentin Goranko, Stockholm University DEADLINES Paper submission: May 10, 2018 Reviews and notification: September 10, 2018 Final versions: October 10, 2018 ENQUIRIES For any questions regarding the special issue please contact the guest editors by sending email to Logic.MAS at gmail.com or natasha.alechina at nottingham.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dario.dellamonica at unina.it Tue Apr 17 19:32:13 2018 From: dario.dellamonica at unina.it (Dario Della Monica) Date: Tue, 17 Apr 2018 19:32:13 +0200 Subject: =?UTF-8?Q?Logic_Col=c2=adlo=c2=adquium_2018_=28LC18=29:_final_call_?= =?UTF-8?Q?for_contributions?= Message-ID: We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm). It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016), and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Notification for paper acceptance: May 11, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== U. Sattler (University of Manchester) K. Tent (WWU Münster) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-Universität München) A. Atserias (Universitat Politècnica de Catalunya) V. Brattka (Universität der Bundeswehr München) A. Ciabattoni (TU Wien) P. D’Aquino (Università degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (Università degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems:     - Chairs:     B. Miller (Universität Wien)                  A. Törnquist (København Universitet)     - Speakers: C. Conley (Carnegie Mellon University)                 J. Melleray (Université Lyon I)                 T. Tsankov (Université Paris Diderot)                 R. Tucker-Drob (Texas A&M University) * Model theory:     - Chairs:     E. Casanovas (Universitat de Barcelona)                 F. Wagner (Université Lyon I)     - Speakers: A. Deloro (Université Pierre et Marie Curie)                 I. Goldbring (UC Irvin)                 N. Hempel (UCLA)                 N. Ramsey (UC Berkeley) * Proof theory and constructivism:     - Chairs:     S. Ghilardi (Università degli Studi di Milano)                 G. Sambin (Università degli Studi di Padova)     - Speakers: R. Akiyoshi (Waseda University)                 M. Escardó (University of Birmingham)                 A. Palmigiano (TU Delft)                 C. Xu (Ludwig-Maximilians-Universität München) * Temporal and multivalued logics:     - Chairs:     B. Gerla (Università dell'Insubria)                 M. Lange (Universität Kassel)     - Speakers:    A. Kurucz (King's College London)                 D. Mundici (Università degli Studi di Firenze)                 P. K. Pandya (Tata Institute of Fundamental Research; IIT Mumbai)                 A. Vidal (Czech Academy of Sciences) * Computability theory:     - Chairs:     P. Shafer (University of Leeds)                 A. Sorbi (Università di Siena 1240)     - Speakers: J. Franklin (Hofstra University)                 T. Kihara (Nagoya University)                 S. Ng (Nanyang Technological University)                 L. B. Westrick (University of Connecticut) * Philosophy of Logic and Mathematics:     - Chairs:     J. Kennedy (University of Helsinki)                 G. Sagi (University of Haifa)     - Speakers:    B. Halimi (Université Paris Nanterre)                 S. Hewitt (University of Leeds)                 L. Picollo (Ludwig-Maximilians-Universität München)                 N. Wyatt (University of Calgary) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (Università degli Studi di Udine) A. Montalban (UC Berkeley) P. Pudlàk (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte E. Frittaion G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions, please contact lc18 at uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as LaTeX source code, via EasyChair, at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html). The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic  only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student grants and recommendations should be received by May 4, 2018. They should be submitted electronically, by email to LC18grant at uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Students waiting for the acceptance of a grant application should not register, since the grant may include discounts to the registration fee. After the acceptance, an ad hoc registration form will be available for them. Students whose application is declined will still have time to register before the early registration deadline. ______________________________________________ The event is made possible thanks to the financial support of: * ASL (Association for Symbolic Logic) https://www.aslonline.org * NSF (National Science Foundation) https://www.nsf.gov * SILFS (Società Italiana di Logica e Filosofia delle Scienze) http://www.silfs.it * AILA (Associazione Italiana di Logica e sue Applicazioni) http://www.ailalogica.it * Università degli Studi di Udine https://www.uniud.it/ * GNSAGA - INdAM http://www.altamatematica.it/gnsaga * Italian Chapter of EATCS (European Association for Theoretical Computer Science) https://www.eatcs.org/index.php/italian-chapter ______________________________________________ Sponsor: * AMGA http://www.amgaenergiaeservizi.it/ ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Tue Apr 17 22:18:14 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Tue, 17 Apr 2018 22:18:14 +0200 Subject: SIAM SDM 2018 - Last Call for Participation Message-ID: SDM'18: THE EIGHTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING May 3 - May 5, 2018 San Diego Marriott Mission Valley San Diego, California, USA http://www.siam.org/meetings/sdm18/ SIAM SDM 2018 is one of the very few conferences in DM to be held in the U.S. this year! ------------------- REGISTRATION INFORMATION --------------------- SIAM SDM 2018 registration information: http://www.siam.org/meetings/ sdm18/reginfo.php ------------------- HOTEL INFORMATION --------------------- Group rate: $164 More information on hotel room reservations: http://www.siam.org/meetings/ sdm18/hotel.php ------------------- CONFERENCE PROGRAM --------------------- SIAM SDM 2018 conference program is available at http://www.siam.org/meetings/sdm18/program.php. ---------------------- WORKSHOPS ------------------------ This year SDM will host 6 workshops. Most workshops have paper submission deadlines in mid-January. Additional information on the individual workshops and their submission dates can be found at the following links. Workshop on Big Traffic Data Analytics https://illidanlab.github.io/big_traffic/2018/index.html Organizers: Jiayu Zhou, Zheng Wang, Jieping Ye Workshop on Artificial Intelligence in Insurance https://sda-amfam.github.io/sdm-workshop-2018.html Organizers: Glen Fung, Edward W. (Jed) Frees, Luisa F. Polanía Workshop on Machine Learning Methods for Recommender Systems https://doogkong.github.io/2018/index.html Organizers: Deguang Kong, Xia Ning, George Karypis Workshop on Cost-Sensitive Learning http://cost.dcc.fc.up.pt/ Organizers: Luis Torgo, Stan Matwin, Gary Weis, Nuno Moniz, Paula Branco Workshop on Data Mining for Geophysics and Geology http://dm4og.inesctec.pt/dmg2 Organizers: Youzuo Lin, Weichang Li, Alipio Jorge, Rui L. Lopes, German Larrazabal, Pablo Guillen Workshop on Data Mining for Medicine and Healthcare https://sites.google.com/site/feiwang03/dmmh18 Organizers: Fei Wang, Xi Zhang, Lifang He ---------------------- TUTORIALS ------------------------ The conference features the following tutorials on several special topics. For more details, please visit the conference website: http://www.siam.org/ meetings/sdm18/tutorials.php A Critical Review of Online Social Data: Biases, Methodological: Pitfalls, and Ethical Boundaries Authors: Alexandra Olteanu (IBM Research), Emre Kıcıman (Microsoft Research), Carlos Castillo (Universitat Pompeu Fabra) Data Mining Critical Infrastructure Systems - Models and Tools Authors: Liangzhe Chen (Virginia Tech), B. Aditya Prakash (Virginia Tech) Knowledge Discovery from Temporal Social Networks Authors: Fabíola S. F. Pereira (Federal University of Uberlandia, Brazil), João Gama (University of Porto, Portugal) Problems with Partially Observed (Incomplete) Networks: Biases, Skewed Results, and Solutions Authors: Tina Eliassi-Rad (Northeastern University), Sucheta Soundarajan (Syracuse University), Sahely Bhadra (IIT Palakkad) The Canonical Polyadic Tensor: Decomposition and Variants for Mining Multi-Dimensional Data Authors: Tamara G. Kolda and Jed A. Duersch, Sandia National Laboratories FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 and #SDM18 https://www.facebook.com/events/324672047986484/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Wed Apr 18 07:32:46 2018 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 18 Apr 2018 07:32:46 +0200 (CEST) Subject: CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers) Message-ID: <20180418053246.C75CB29EA992@gigondas-5.local> Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2018 will feature 3 invited speakers * Akiko Aizawa, National Institute of Informatics, University of Tokyo * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University * Adri Olde Daalhuis, University of Edinburgh and 5 affiliated workshops * Computer Algebra in the age of Types * Computer Mathematics in Education - Enlightenment or Incantation * Formal Mathematics for Mathematicians * Formal Verification of Physical Systems * Mathematical Models and Mathematical Software as Research Data We invite submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages) present digital artifacts 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters, mini-tutorials, and system demos will be presented in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. * Important Dates * Formal submissions - Abstract deadline: April 22 (Extended) - Full paper deadline: April 29 (Extended) - Reviews sent to authors: May 23 - Rebuttals due: May 28 - Notification of acceptance: June 4 - Camera-ready copies due: June 8 - Conference: August 13-17 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while others submit spontaneously. - First round submission deadline: April 29 - Second round submission deadline: July 15 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 From nicola.olivetti at lis-lab.fr Wed Apr 18 12:03:43 2018 From: nicola.olivetti at lis-lab.fr (nicola olivetti) Date: Wed, 18 Apr 2018 12:03:43 +0200 Subject: CFP EICNCL 2018 Message-ID: -------------------------------------------------------------------------------------- 2nd Call For Papers Int. Workshop on External and Internal Calculi for Non Classical Logics (EICNCL 2018) Oxford, UK, 19 July 2018 (affiliated with IJCAR 2018 in FLOC 2018) http://weic2018.loria.fr/ Deadline for submission: 23 April 2018 ---------------------------------------------------------------------- ------------------- A one day workshop on External and Internal Calculi for Non Classical Logics will be held the 19 July 2018 in conjunction with the IJCAR 2018 Conference during FLOC 2018 in Oxford, UK. The purpose of this workshop would be to discuss recent results on analytic (external or internal) calculi for non-classical logics like intuitionistic, modal, epistemic logics, conditional logics, substructural, resource logics, and other logical systems. Among some key points we can mention the relationships between internal and external calculi for such logics and also their use for studying proof-search, automated deduction (proof-theory and implementation) and also logical properties like decidability, conservativity, axiomatisations and interpolation. The workshop is intended to provide a forum for discussion between researchers interested in topics including, but not limited to, the following areas: - External and internal calculi for non-classical logics - Relationships and embeddings (translations) between calculi, interactions between syntax and semantics - New calculi for studying problems like decidability, conservativity and interpolation - Proof-search and countermodel generation - Methodologies and tools for translations between calculi - Implementations of analytic calculi, proof assistants We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; model-theoretic, including semantic foundations (e.g., new semantics), modelling and verification of programs and systems. SUBMISSIONS Researchers interested in presenting their works are invited to submit an extended abstract (up to 10 pages) through Easychair : https://easychair.org/conferences/?conf=eicncl2018 by 23 April 2018. Papers will be reviewed by peers, typically members of the Programme Committee. A Special Issue of a Journal on these topics is expected after the workshop. PROGRAM COMMITTEE J. Brotherston (University College, London, UK) A. Ciabattoni (TU Vienna, Austria - co-chair) D. Galmiche (Lorraine University, CNRS, LORIA, France - co-chair) R. Goré (Australian National University, Australia) D. Larchey-Wendling (Lorraine University, CNRS, LORIA, France) G. Metcalfe (University of Bern, Switzerland) S. Negri (University of Helsinki, Finland) N. Olivetti (LSIS, Aix-Marseille University, France - co-chair) J. Otten (University of Oslo, Norway) V. de Paiva (Nuance communications, USA) R. Ramanayake (TU Vienna, Austria - co-chair) K. Sano (Hokkaido University, Japan) L. Santocanale (LIF, Aix-Marseille University, France) S. Smets (ILLC, Amsterdam University, Netherlands) L. Vigano (King's College London, UK) IMPORTANT DATES Submission deadline: 23 April 2018 Notification to authors: 9 May 2018 Final versions due: 21 May 2018 Workshop date: 19 July 2018 Additional information will be available through WWW address: http://weic2018.loria.fr/ The workshop is co-organized by A. Ciabattoni, R. Ramanayake (TU Vienna), N. Olivetti (LSIS, Aix-marseille University) and D. Galmiche (LORIA - Lorraine University) -- Prof. Nicola Olivetti LIS, Aix-Marseille Université From marcello.balduccini at gmail.com Wed Apr 18 16:28:03 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 18 Apr 2018 10:28:03 -0400 Subject: KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED ** Message-ID: <201804181428.w3IES3dA022112@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** *** WORKSHOPS AND TUTORIALS ANNOUNCED *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 http://kr2018.org/ Co-located with DL 2018 [http://dl.kr.org/] and NMR 2018 [http://www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. 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. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will also feature a number of exciting workshop and tutorial. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. The list of KR 2018 workshops and tutorials can be found below. Please check the KR 2018 website for further information. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics INVITED SPEAKERS ---------------- Michael Beetz (University of Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) WORKSHOPS (more details at http://kr2018.org/?p=workshops_tutorials) --------- W1: Knowledge Representation in Natural Languages W2: Reasoning about Actions and Processes: Planning, Verification and Synthesis W3: First Workshop on Induce and Deduce: Integrating learning of representations and models with deductive, explainable reasoning that leverages knowledge W4: Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine W5: Hybrid Reasoning and Learning W6: Third International Workshop on Ontology Modularity, Contextuality, and Evolution W7: Cognitive Robotics Workshop TUTORIALS (more details at http://kr2018.org/?p=workshops_tutorials) --------- T1: Belief Revision: 30 Years T2: Implementing KR Approaches with Tweety T3: An overview of ranking-based argumentation semantics T4: Knowledge, Strategy, and Know-How T5: Stream Reasoning - Incremental Reasoning Upon Rapidly Changing Information T6: Rulelog: Highly Expressive, Yet Scalable, Semantic Rules T7: From Game Description Language to Game Description Logics T8: Inconsistency-Tolerant Ontology-Mediated Query Answering CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universitat Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT University, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From marcello.balduccini at gmail.com Wed Apr 18 16:59:19 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 18 Apr 2018 10:59:19 -0400 Subject: 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers Message-ID: <201804181459.w3IExJiM023809@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ****************** * 2 MONTHS LEFT! * * * * June 24 * * Deadline * ****************** KR Doctoral Consortium Call for Applications October 30 - November 2, 2018 Tempe, Arizona, US http://kr2018.org/ The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2018 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 24, 2018 Acceptance notification: July 11, 2018 Doctoral Consortium: October 30 - November 2, 2018 For further information, please contact the DC chairs: Madalina Croitoru, University Montpellier (croitoru at lirmm.fr) Sebastian Rudolph, TU Dresden (sebastian.rudolph at tu-dresden.de) From franconi at inf.unibz.it Wed Apr 18 17:48:29 2018 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 18 Apr 2018 17:48:29 +0200 Subject: Computer Science PhD grants @ KRDB - Univ. of Bozen-Bolzano Italy Message-ID: <18042018174829674GGh77pfXqRRd0191@smtp.office365.com> 10 four-years grants are offered by the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 €; for research visits abroad the grant increases up to 50%. Substantial extra funding (including a personal budget of 2,500 € per year) is available for participation to international conferences, schools, workshops, research visits. The language of the PhD program is English. The deadline for applications will be in 9th of July, 2018. For more info, the call, and applications look at: www.unibz.it/en/faculties/computer-science/phd-computer-science The university is located in one of the most fascinating European regions, the Dolomites. This young university has already established itself as an important research institution, both in Italy and abroad. According to the Times Higher Education World University Rankings 2018, the university is the tenth world’s best small university and it is the second best young Italian University. According to the same ranking, the Faculty of Computer Science of the Free University of Bozen-Bolzano is the third best Italian computer science department, it is the best for international outlook Italian computer science department, and it is the best for citations Italian computer science department. The KRDB Research Centre for Knowledge and Data of the faculty is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics described in the call, the KRDB Research Centre is looking for PhD students interested in: 1 Logic-based languages for knowledge representation; 2 Intelligent data access and integration; 3 Semantic technologies; 4 Conceptual and cognitive modelling; 5 Data-aware process modelling, verification, and synthesis; 6 Business process monitoring, mining, and conformance; 7 Temporal aspects of data and knowledge; 8 Extending database technologies; 9 Visual and verbal paradigms for information exploration; 10 Reasoning with uncertain and imprecise knowledge. To get in contact with the KRDB Research Centre and discuss about the opportunities of this call contact prof. Alessandro Artale at artale at inf.unibz.it. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrea.orlandini at istc.cnr.it Thu Apr 19 11:16:30 2018 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Thu, 19 Apr 2018 11:16:30 +0200 Subject: =?UTF-8?Q?Call_for_Papers_-_GandALF_2018_-_International_Symposium_?= =?UTF-8?Q?on_Games=2c_Automata=2c_Logics=2c_and_Formal_Verification_-_Saarb?= =?UTF-8?Q?r=c3=bccken_-_26-28_September_2018?= In-Reply-To: References: Message-ID: <5dbcd514-bf9c-6693-6506-6a3e4d59cd4f@istc.cnr.it> Apologies for multiple postings ***************************************************************************** CALL FOR PAPERS - GandALF 2018 ***************************************************************************** The Ninth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Saarbrücken (Germany) on September 26th - 28th, 2018. https://www.react.uni-saarland.de/gandalf2018/index.html ***************************************************************************** The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: – Automata Theory – Automated Deduction – Computational aspects of Game Theory – Concurrency and Distributed computation – Decision Procedures – Deductive, Compositional, and Abstraction Techniques for Verification – Finite Model Theory – First-order and Higher-order Logics – Formal Languages – Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems – Games and Automata for Verification – Game Semantics – Logical aspects of Computational Complexity – Logics of Programs – Modal and Temporal Logics – Model Checking – Models of Reactive and Real-Time Systems – Program Analysis and Software Verification – Run-time Verification and Testing – Specification and Verification of Finite and Infinite-state Systems – Synthesis IMPORTANT DATES ****************** – Abstract submission: June 13th, 2018 – Paper submission: June 15th, 2018 – Notification: August 1st, 2018 – Camera-ready: August 17th, 2018 - Conference: September 26th-28th, 2018 PUBLICATIONS ****************** The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016 and 2017, the latter two still in progress), and Acta Informatica (GandALF 2015). SUBMISSIONS ****************** Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided athttp://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at the following address: https://www.easychair.org/conferences/?conf=gandalf2018 INVITED SPEAKERS ****************** Saddek Bensalem (Université Grenoble Alpes): TBA Véronique Bruyère (University of Mons): On the synthesis of equilibria in graph games Kim G. Larsen (Aalborg University): Energy Timed Automata and Games PROGRAM CHAIRS ****************** Martin Zimmermann, Saarland University, Germany AndreA Orlandini, ISTC-CNR, Italy PROGRAM COMMITTEE ****************** Mohamed Faouzi Atig (Uppsala University, Sweden) Christel Baier (TU Dresden, Germany) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France) Laura Bozzelli (Università degli Studi di Napoli Federico II, Italy) Thomas Colcombet (CNRS, France) Dario Della Monica (Universidad Complutense de Madrid, Spain) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Ranko Lazic (The University of Warwick, United Kingdom) Jérôme Leroux (CNRS, France) Radu Mardare (Aalborg University, Denmark) Angelo Montanari (University of Udine, Italy) Andrea Orlandini (co-chair, National Research Council of Italy (ISTC-CNR), Italy) Gennaro Parlato (University of Southampton, United Kingdom) Doron Peled (Bar Ilan University, Israel) Mickael Randour (UMONS - Université de Mons, Belgium) Mark Reynolds (The University of Western Australia, Australia) Pietro Sala (University of Verona, Italy) Pierluigi San Pietro (Politecnico di Milano, Italy) B Srivathsan (Chennai Mathematical Institute, India) Martin Zimmermann (co-chair, Saarland University, Germany) STEERING COMMITTEE ****************** Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail:andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url:http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Sat Apr 21 12:00:39 2018 From: giacomo.cabri at unimore.it (gcabri@unimore.it) Date: Sat, 21 Apr 2018 12:00:39 +0200 Subject: ** EXTENDED DEADLINE** CfP Key Enabling Technologies for Virtual Factories (KET4VF) Message-ID: CALL FOR PAPERS Key Enabling Technologies for Virtual Factories (KET4VF) http://didattica.agentgroup.unimore.it/KET4VF18/ Invited session at 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES) Belgrade, Serbia, September 3-5 2018 http://kes2018.kesinternational.org ******* EXTENDED DEADLINES Abstract registration & full paper submission:    May 2, 2018 (23:59 CEST) Authors Notification:    May 21, 2018 ******* Scope and Overview ================== The manufacturing industry is entering a new era in which new ICT technologies and collaboration applications will be integrated with traditional manufacturing practices and processes to increase flexibility and sustainability in manufacturing, mass customization, increase automation, better quality and to improve productivity. The virtual factory paradigm plays a key role in the achievement of these objectives. A virtual factory is defined as a multi-layered integration of the information related to various activities along the factory and product lifecycle manufacturing related resources. A central aspect of a virtual factory is that of enabling the product lifecycle stakeholders to collaborate through the use of software solutions. The virtual factory thus expands outside the actual company boundaries and offers the opportunity for the business and its suppliers to collaborate on business processes that affect the supply chain. This session seeks at providing the opportunity for inspiration and cross-fertilization for the research groups working on technological solutions for virtual factories. It will welcome innovative papers from academic and industrial researchers covering a wide range of topics of interests in the computer science and computer engineering fields. The topics include but are not limited to: - Cloud computing - Big data architectures - Real-time systems - Data analytics - Digital Security, Privacy and Liability - Digital Platform Interoperability - Service-Oriented Architectures - Multi-agent systems - Business Process Management - Internet-of-things Important dates =============== - Paper Submission May 2, 2018 (23:59 CEST) - Extended - Notification May 21, 2018 - Camera Ready May 28, 2018 - Session September 3-5, 2018 Submission ========== Papers are expected to be 8 to 10 pages (maximum) in the conference format. Accepted papers will be published in Elsevier's Procedia Computer Science open access journal (available in ScienceDirect and submitted to be indexed/abstracted in CPCI, Engineering Index, and Scopus - to be confirmed). Details, guides and templates can be found in the KES submission instruction page: http://kes2018.kesinternational.org/submission.php Chairs ====== - Federica Mandreoli, Università degli Studi di Modena e Reggio Emilia, Italy, Email: federica.mandreoli at unimore.it - Giacomo Cabri, Università degli Studi di Modena e Reggio Emilia, Italy, Email: giacomo.cabri at unimore.it This session is supported by Marie-Curie RISE Project "FIRST: vF Interoperation suppoRting buSiness innovation" -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Full Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From amal.tawakuli at uni.lu Sat Apr 21 13:28:00 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Sat, 21 Apr 2018 11:28:00 +0000 Subject: RuleML+RR 2018 FINAL CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May) In-Reply-To: References: Message-ID: <5a54867e93b942a5af78beefecf9a98d@uni.lu> Good day, My apologies if you have received this more than once. I kindly request for the extended CFP to be circulated and included in your mailing list, newsletter or news section. Many Thanks! ================================================================== RuleML+RR 2018 FINAL CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May) RuleML+RR 2018: International Joint Conference on Rules and Reasoning http://2018.ruleml-rr.org Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu) ================================================================== == SUMMARY == High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates (NEW): - Abstract: 04 May 2018 (EXTENDED) - Full paper: 11 May 2018 (EXTENDED) == THE CONFERENCE == The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2018 will take place in Luxembourg on September 18th-21th 2018 and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logics and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Rule-based approaches to agents * Higher-order and modal rules * Rules for knowledge graphs * Pragmatic web reasoning and distributed rule inference / rule execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logics for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of rule technologies in healthcare and life sciences * Applications of rule technologies in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 8 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair (https://easychair.org/conferences/?conf=rulemlrr2018) The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge. == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES (NEW) == Title and Abstract submission: 04 May 2018 (EXTENDED) Full papers submission: 11 May 2018 (EXTENDED) Notification of acceptance: 11 June 2018 (EXTENDED) Camera-ready submission: 25 June 2018 (EXTENDED) Conference: 18-21 Sept 2018 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chairs (LuxLogAI): Leon van der Torre General Chair (RuleML+RR): Xavier Parent (U Luxembourg) Program Chairs: Christoph Benzmüller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) Doctoral Consortium Chairs Kia Teymouria (Boston University, Metropolitan College) Paul Fodor (Stony Brook University) Int’l Rule Challenge Chairs: Giovanni De Gasperis (U L’Aquila) Adrian Giurca (BTU Cottbus- Senftenberg) Reasoning Web (RW) Summer School Claudia d’Amato (U Bari) Martin Theobald (U Luxembourg) Publicity Chairs: Amal Tawakuli (U Luxembourg) Frank Olken (Frank Olken Consulting) Xing Wang Financial Chair Martin Theobald (U Luxembourg) Poster Chair Alex Steen (FU Berlin) == PROGRAM COMMITTEE == Full list available at: http://2018.ruleml-rr.org ================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Sun Apr 22 00:43:33 2018 From: irdta at irdta.eu (IRDTA) Date: Sun, 22 Apr 2018 00:43:33 +0200 Subject: SLSP 2018: 3rd call for papers Message-ID: <545102060a010b050256520204005a035703545803070f5204010b080f0e530004550205030b070508560303065350@grlmc_ip-zone_com-6> SLSP 2018: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2018   Mons, Belgium   October 15-17, 2018   Co-organized by:   NUMEDIART Institute University of Mons   LANGUAGE Institute University of Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2018.irdta.eu/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be:   University of Mons 31 Bvd Dolez, 7000 Mons Belgium   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2018 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Thomas Hain (University of Sheffield), Crossing Domains in Automatic Speech Recognition   Simon King (University of Edinburgh), Does 'End-to-End' Speech Synthesis Make any Sense?   Isabel Trancoso (Instituto Superior Técnico, Lisbon), Analysing Speech for Clinical Applications   PROGRAMME COMMITTEE:   Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Technical University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK)   ORGANIZING COMMITTEE:   Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2016 impact factor: 1.900) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: May 27, 2018 Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Université de Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Frank.Trollmann at dai-labor.de Mon Apr 23 10:01:43 2018 From: Frank.Trollmann at dai-labor.de (Frank Trollmann) Date: Mon, 23 Apr 2018 08:01:43 +0000 Subject: 3rd Call for Papers for the 41st edition of the German Conference on Artificial Intelligence (KI2018) Message-ID: <81c4eb2233294072b53b78017de8028e@dai-mbx2.dai-lab.de> [Apologies for multiple copies of this CFP] KI2018 - The 41st German Conference on Artificial Intelligence September 24-28th, 2018, Berlin, Germany http://ki2018.dai-labor.de NEWS: -------------------------- Invited Speakers: · Prof. Dr. Catrin Misselhorn, Chair of the Philosophy of Science and Technology, University of Stuttgart (Joint Keynote with INFORMATIK 2018) · Prof. Dr. Sami Haddadin, Robotics and Artificial Life, TU München · Prof. Dr. Dietmar Jannach, Department of Applied Informatics at AAU Klagenfurt, Austria Workshops: · Formal and Cognitive Reasoning · WDPAR: Web Data Processing and Reasoning Workshop · HiDeST'18: 2nd Workshop on High-Level Declarative Stream Processing · PuK 2018: 31. Workshop Planen/ Scheduling und Konfigurieren/ Entwerfen · 8th Workshop: Emotion and Computing - Current Research and Future Impact Tutorials: · Statistical Relational AI · Real-time Recommendations with Streamed Data SCOPE ---------------------------------------------- KI2018 is the 41st edition of the German Conference on Artificial Intelligence organized in cooperation with the AI chapter of the German Computer Science Society. KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium. IMPORTANT DATES ---------------------------------------------- Abstract Submission: April 30th, 2018 Full/Short Paper Submission: May 7th, 2018 Notification of Acceptance: June 15th, 2018 Final Version Due: July 2nd, 2018 TOPICS OF INTEREST ---------------------------------------------- You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: * Agent-based and multi-agent systems * AI applications and innovations * Belief change * Cognitive modelling, AI and psychology * Commonsense reasoning * Computer vision * Constraint satisfaction, search, and optimization * Diagnosis and configuration * Evolutionary computation * Game playing and interactive entertainment * Information retrieval, integration, and extraction * Knowledge engineering and ontologies * Knowledge representation and reasoning * Knowledge discovery and data mining * Machine learning * Multidisciplinary AI * Natural language processing * Nonmonotonic reasoning and default logics * Philosophical foundations of AI * Planning and scheduling * Recommender systems * Robotics * Uncertainty in AI * Web and information systems We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. SUBMISSION ---------------------------------------------- We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following two categories Full technical papers (12 pages max., excluding references) are expected to report on new research that makes a substantial technical contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC. Technical communications (6 pages max., excluding references) can report on research in progress or other issues of interest to the AI community. Examples of work suitable for technical communication paper submissions include novel ideas whose scope is not large enough for a full paper; important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analysed; position or challenge papers. Technical communication submissions are especially invited for software demonstration or PhD work in progress. Submission will be through the EasyChair conference management system. All papers will be subject to blind peer review based on the standard criteria of relevance, the significance of results, originality of ideas, soundness, and quality of the presentation. If you have used the EasyChair conference management system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking 'I have no EasyChair account' button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. Paper submission is electronic. To submit, please prepare a PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. Submission is possible via the following link: https://easychair.org/conferences/?conf=ki2018 All accepted papers will be published in the main conference proceedings and will be presented at the conference. The KI 2018 proceedings will be published by Springer as a volume of the LNAI series (Lecture Notes in Artificial Intelligence). At least one author of each accepted paper must register for the conference and present the contribution. The most outstanding submission will be recognized with a best paper award at the conference. ORGANIZATION ---------------------------------------------- General Chair * Sahin Albayrak, TU Berlin Programm Chairs * Frank Trollmann, TU Berlin * Anni-Yasmin Turhan, TU Dresden Workshop and Tutorial Chair: * Oezguer Oezcep, Universität zu Lübeck Doctoral Consortium Chair * Johannes Fähndrich, GT-ARC Berlin SUPPORTED BY ---------------------------------------------- * Springer-Verlag GmbH * Gesellschaft für Informatik e.V. (German Society for Informatics) - FBKI (Section for Artificial Intelligence) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thimm at uni-koblenz.de Mon Apr 23 11:21:51 2018 From: thimm at uni-koblenz.de (Matthias Thimm) Date: Mon, 23 Apr 2018 11:21:51 +0200 Subject: CfP: 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018) Message-ID: [Apologies if you receive multiple copies. Please forward this call to interested parties.] =========================================================================================== Call for Papers =========================================================================================== 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) 6th Workshop KI & Kognition (KIK-2018): Formal and Cognitive Reasoning Workshop at the 41st German Conference on Artificial Intelligence (KI-2018) September 24-28, 2018, Berlin, Germany Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI Description =========================================================================================== Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in Dresden (2015) and Dortmund (2017). We welcome original papers on the following and any related topics: * Action and change * Agents and multiagent systems * Analogical reasoning * Argumentation theories * Belief revision and belief update * Cognitive modeling and empirical data * Common sense and defeasible reasoning * Decision theory and preferences * Inductive reasoning and cognition * Knowledge representation in theory and practice * Learning and knowledge discovery in data * Nonmonotonic and uncertain reasoning * Ontologies and description logics * Probabilistic approaches of reasoning * Syllogistic reasoning Important Dates =========================================================================================== Deadline for Submission: June 22, 2018 Notification of Authors: August 08, 2018 Camera-ready Paper: August 22, 2018 Workshop: September 25, 2018 Submission =========================================================================================== Papers should be formatted according to the Springer LNCS format. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=dkbkik2018). Organizers =========================================================================================== * Christoph Beierle (FernUniversität in Hagen, Germany) * Gabriele Kern-Isberner (TU Dortmund, Germany) * Marco Ragni (Universität Freiburg, Germany) * Frieder Stolzenburg (Hochschule Harz, Germany) * Matthias Thimm (Universität Koblenz-Landau, Germany) Program Committee =========================================================================================== * Thomas Barkowsky (Universität Bremen, Germany) * Gerd Brewka (Universität Leipzig, Germany) * Emmanuelle-Anna Dietz (TU Dresden, Germany) * Christian Freksa (Universität Bremen, Germany) * Lupita Estefania Gazzo Castaneda (University of Giessen, Germany) * Andreas Herzig (Universite Paul Sabatier, Toulouse, France) * Haythem O. Ismail (German University in Cairo, Egypt) * Ute Schmid (Universität Bamberg, Germany) * Claudia Schon (Universität Koblenz-Landau, Germany) * Holger Schultheis (Universität Bremen, Germany) * Paul Thorn (Universität Düsseldorf, Germany) * Christoph Wernhard (Technische Universität Dresden, Germany) * Stefan Woltran (TU Wien, Austria) (to be completed) =========================================================================================== ******************************************************************************** PD Matthias Thimm Institute for Web Science and Technologies (WeST) Universität Koblenz, Germany Tel.: +49-261-287-2715 http://west.uni-koblenz.de/ -- http://www.mthimm.de From xbarnat at fi.muni.cz Mon Apr 23 16:16:08 2018 From: xbarnat at fi.muni.cz (=?UTF-8?Q?Ji=C5=99=C3=AD_Barnat?=) Date: Mon, 23 Apr 2018 16:16:08 +0200 Subject: FMICS 2018 -- Call for Papers (Extended deadlines) In-Reply-To: References: Message-ID: FMICS 2018 -- 23rd International Conference on Formal Methods for Industrial Critical Systems September 3rd and 4th, 2018 Maynooth University, Ireland http://fmics2018.fi.muni.cz/ Scope ----- The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Topics of interest include (but are not limited to): ---------------------------------------------------- * Design, specification, code generation, and testing based on formal methods. * Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. * Automated verification (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) of critical systems. * Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). * Tools for the development of formal design descriptions. * Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. * Impact of the adoption of formal methods on the development process and associated costs. * Application of formal methods in standardization and industrial forums. * Formal methods for mobile and autonomous systems. Submission and Publication -------------------------- Papers must describe authors’ original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly demonstrate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages formatted according to the LNCS style (Springer). All submissions will be reviewed by the Program Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2018 The conference proceedings will be published by Springer in their LNCS series, while authors of the best full papers will be invited to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer. Important Dates --------------- * Abstract submission: 7 May 2018 (Extended) * Paper submission: 11 May 2018 (Extended) * Notifications: 14 June 2018 * Camera ready: 1 July 2018 * Conference: 03-04 September 2018 From infocom525 at gmail.com Tue Apr 24 09:20:37 2018 From: infocom525 at gmail.com (HUAISHAO LUO) Date: Tue, 24 Apr 2018 15:20:37 +0800 Subject: KDD Cup 2018 Call for Participants Message-ID: KDD Cup 2018 Call for Participants ========= Air pollution is affecting our life every day. For many large cities, it had become a severe problem that worsened progressively in the past few years. This year’s KDD Cup, titled KDD Cup of Fresh Air, solicits machine learning solutions to accurately forecast air quality indices (AQIs) of the future 48 hours. Accurate predictions of AQIs can bring enormous value to governments, enterprises, and the general public - and help them make informed decisions. The KDD Cup participants are asked to forecast the AQIs of Beijing, China and London, UK. KDD Cup of Fresh Air was launched on March 15th, and since then over 850 teams have registered for the competition. The competition ends on May 31st. The deadline of registering a new team, joining an existing team, or merging existing teams is May 7th. The top three winners will be awarded a $10000, $5000, and $3000 prize, respectively. The 4th – 10th teams will receive $500 each. The top 10 teams will be invited to present their solutions at the KDD Cup Workshop held on August 21st in London, during the KDD-2018 conference. More details on the competition can be found at https://biendata.com/competition/kdd_2018. It is a great opportunity for you to contribute your expertise in data science, machine learning, and artificial intelligence to the social good, win valuable prizes, and travel to beautiful London! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sabel at ki.informatik.uni-frankfurt.de Tue Apr 24 15:35:11 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 24 Apr 2018 15:35:11 +0200 Subject: PPDP 2018: Deadline Extension! Message-ID: <084f366f-2ff6-4517-d429-d89a6a4511b1@ki.informatik.uni-frankfurt.de> News: The submission deadline is extended until Monday, May 8, 23:59 AoE! ======================================================================                 PPDP 2018: Deadline Extension ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018         http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html             (co-located with LOPSTR 2018 and WFLP 2018)              http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks ============= -   Philippa Gardner, Imperial College: Testing and Verification for     JavaScript (joint with LOPSTR) -   Jorge Navas, SRI International: Constrained Horn Clauses for     Verification (joint with LOPSTR) -   Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to -   Language Design: domain-specific languages; interoperability;     concurrency, parallelism, and distribution; modules; probabilistic     languages; reactive languages; database languages; knowledge     representation languages; languages with objects; language     extensions for tabulation; metaprogramming. -   Implementations: abstract machines; interpreters; compilation;     compile-time and run-time optimization; memory management. -   Foundations: types; logical frameworks; monads and effects;     semantics. -   Analysis and Transformation: partial evaluation; abstract     interpretation; control flow; data flow; information flow;     termination analysis; resource analysis; type inference and type     checking; verification; validation; debugging; testing. -   Tools and Applications: programming and proof environments;     verification tools; case studies in proof assistants or interactive     theorem provers; certification; novel applications of declarative     programming inside and outside of CS; declarative programming     pearls; practical experience reports and industrial application;     education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== -   08.05.2018 AOE: paper submission -   14.06.2018 rebuttal period (48 hours) -   25.06.2018 notification -   16.07.2018 final papers -   03.09.2018 conference starts From slucas at dsic.upv.es Wed Apr 25 10:15:29 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Wed, 25 Apr 2018 10:15:29 +0200 Subject: WST 2018 - Last Call for Papers (deadline: April 30, 2018) Message-ID: <4a0927e5-2ca8-3d44-7436-b2a9c4adc71e@dsic.upv.es> ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2018, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== NEW: James Worrell and Akihisa Yamada, WST 2018 invited speakers The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 30, 2018  * notification:         May 28, 2018  * final version due:    June 11, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders INVITED SPEAKERS:     James Worrell - University of Oxford        "Termination Checking and Invariant Synthesis for Affine Programs"     Akihisa Yamada - NII Japan        "Towards a Unified Method for Termination" COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From irdta at irdta.eu Wed Apr 25 18:19:07 2018 From: irdta at irdta.eu (IRDTA) Date: Wed, 25 Apr 2018 18:19:07 +0200 Subject: DeepLearn 2018: early registration May 3 Message-ID: <545102060a010b0502505207070b5a5c505e035056520e590456015201540054510756050509095502540256520254@grlmc_ip-zone_com-6> DeepLearn 2018: early registration May 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: May 3, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Tülay Adalı (University of Maryland, Baltimore County), [introductory/intermediate] Data Fusion through Matrix and Tensor Decompositions: Linear, Multilinear, and Nonlinear Models and their Applications   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (JD AI Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Sun-Yuan Kung (Princeton University), [introductory] Systematic (Analytical and Empirical) Optimization/Generalization of  Deep Learning Networks   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Douglas A. Reynolds (Massachusetts Institute of Technology) & Najim Dehak (Johns Hopkins University), [introductory/intermediate] Beyond Words: Machine and Deep Learning for Speaker, Language, and Emotion Recognition from Speech   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (University of Leicester), [introductory/intermediate] Convolutional Neural Network and Its Variants   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   ORGANIZING COMMITTEE:   Alberto Cabri (Genova) Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Stefano Rovetta (Genova) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation can be found at   http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ta10 at tu-clausthal.de Thu Apr 26 15:24:21 2018 From: ta10 at tu-clausthal.de (Tobias Ahlbrecht) Date: Thu, 26 Apr 2018 13:24:21 +0000 Subject: EASSS-2018 Early registration deadline Message-ID: ****************************************************************************** * EARLY REGISTRATION DEADLINE ON MAY 6th * 20th European Agent Systems Summer School (EASSS-2018) to be held at Maastricht University, Maastricht, The Netherland 18-22 June 2018 Web site: https://project.dke.maastrichtuniversity.nl/easss/ Contact: easss at maastrichtuniversity.nl ****************************************************************************** About the EASSS 2018 ****************************************************************************** The 20th European Agent Systems Summer School will be held at the department of Data-Science and Knowledge Engineering of Maastricht University in the Netherlands from June 18th till 22nd, 2018. The EASSS-2018 will offer a rich program of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher. EASSS is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems. Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a highly successful forum for knowledge exchange between researchers in the field of Autonomous Agents and Multi-Agent Systems. The previous editions of EASSS took place in Gdansk (2017), Catania (2016), Barcelona (2015), Chania (2014), London (2013), Valencia (2012), Girona (2011), Saint-Etienne (2010), Turin (2009), Lisbon (2008), Durham (2007), Annecy (2006), Utrecht (2005), Liverpool (2004), Bologna (2003), Barcelona (2002), Prague (2001), Saarbruecken (2000), and Utrecht (1999). ****************************************************************************** Tutorials ****************************************************************************** Agent-Based Negotiation Reyhan Aydoğan Catholijn Jonker Multi-Agent Reinforcement Learning and Dynamics of Daan Bloembergen Learning Michael Kaisers A shallow introduction to deep learning for agents Kurt Driessens Jerry Spanakis Auctions and Markets: Understanding Incentives for Aris Filos-Ratsikas Multi-Agent Systems in the Presence of Scarcity Paul Tylkin Logics for strategic reasoning in multi-agent systems Valentin Goranko Communication issues in multi-agent decision-making Nicolas Maudet Fundamentals of Reinforcement Learning Ann Nowé Diederik M. Roijers Introduction to Formal Argumentation Theory Nir Oren Federico Cerutti Epistemic Game Theory Andrés Perea Type-based Communication Correctness in Multi-agent Jorge A. Perez Systems Distributed Constraint Optimization for the Gauthier Picard Internet-of-Things Pierre Rust Introduction to judgment aggregation Daniele Porello Logics of agency Daniele Porello Nicolas Troquard Stable Matchings: in Theory and in Practice Baharak Rastegari Predicting Human Decision-Making: From Prediction Ariel Rosenfeld to Action Models of the Collective Behaviour of Autonomous Cars László Z. Varga Learning Agent Systems for a Reliable, Pro-Active Power Eric Veith Grid Management — Towards the AI-empowered Grid Intelligent Search Techniques Mark Winands Cameron Brown Agent-Based Modelling for Social Simulation Neil Yorke-Smith ****************************************************************************** Descriptions of each Tutorial can be found on the EASSS 2018 website: https://project.dke.maastrichtuniversity.nl/easss/?page_id=281 ****************************************************************************** Important Dates ****************************************************************************** Early registration deadline: 6 May 2018 Late registration deadline: 3 June 2018 Summer School: 18-22 June 2018 ****************************************************************************** Registration ****************************************************************************** The early registration fee is € 305. This will include participation in the courses, coffee breaks and lunches, and online access to the materials. The late registration fee will be € 345. We will organise a social event consisting of a BBQ and drinks. We expect that the cost will be around € 20. As in the previous years, we hope to offer some student grants to cover the early registration fee. More details will be provided soon. ****************************************************************************** About Maastricht ****************************************************************************** Maastricht is the oldest city in the Netherlands. Its oldest remains are more than 2000 year old and pre-date the Roman settlement. The city has a beautiful historic city centre with nice squares where you can eat and drink something. There are different options for traveling to Maastricht. Maastricht has an airport, named Maastricht-Aachen airport, with connection to a few places in Europe. There is a bus going from the airport the train station of Maastricht. Another possibility is Eindhoven airport, which has more connections to cities in Europe. There is bus going from the airport to train station of Eindhoven. There one can take the train to Maastricht, which takes one hour. It is also possible to fly to Schiphol airport near Amsterdam, which is the main airport in the Netherlands. The train from Schiphol to Maastricht takes two and a half to three hours with a switch in Amsterdam central station or in Utrecht central station. A last option by airplane is flying to Zaventem, the main airport in Belgium near Brussels. The train from Zaventem to Maastricht requires one and a half hours. Maastricht has a train connection to the Netherlands and Belgium. When using the German railways, it is recommended to take the train to Aachen and in Aachen to take the bus to Maastricht. The bus requires less than one and a half hours. ****************************************************************************** Scientific Committee ****************************************************************************** Jurgen Dix, Clausthal University of Technology, Germany Nico Roos, Maastricht University, The Netherlands Paolo Turrini, University of Warwick, UK ****************************************************************************** More Information and Contact ****************************************************************************** The most up-to-date information about the EASSS 2018 is available on the website: https://project.dke.maastrichtuniversity.nl/easss/. Should you have any questions, please contact us at: easss at maastrichtuniversity.nl. ****************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Frank.Trollmann at dai-labor.de Thu Apr 26 15:27:05 2018 From: Frank.Trollmann at dai-labor.de (Frank Trollmann) Date: Thu, 26 Apr 2018 13:27:05 +0000 Subject: Deadline extension: 41st edition of the German Conference on Artificial Intelligence (KI2018) Message-ID: <085c5d6580044e2e8d59f7d322a199ed@birke.dai-lab.de> [Apologies for multiple copies of this CFP] KI2018 - The 41st German Conference on Artificial Intelligence September 24-28th, 2018, Berlin, Germany http://ki2018.dai-labor.de NEWS: -------------------------- The deadlines for submission of Abstracts and papers have been extended. New deadlines are as follows: · Abstract Submission: May 7th, 2018 · Full/Short Paper Submission: May 14th, 2018 · Notification of Acceptance: June 17th, 2018 · Final Version Due: July 2nd, 2018 SCOPE ---------------------------------------------- KI2018 is the 41st edition of the German Conference on Artificial Intelligence organized in cooperation with the AI chapter of the German Computer Science Society. KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium. TOPICS OF INTEREST ---------------------------------------------- You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: * Agent-based and multi-agent systems * AI applications and innovations * Belief change * Cognitive modelling, AI and psychology * Commonsense reasoning * Computer vision * Constraint satisfaction, search, and optimization * Diagnosis and configuration * Evolutionary computation * Game playing and interactive entertainment * Information retrieval, integration, and extraction * Knowledge engineering and ontologies * Knowledge representation and reasoning * Knowledge discovery and data mining * Machine learning * Multidisciplinary AI * Natural language processing * Nonmonotonic reasoning and default logics * Philosophical foundations of AI * Planning and scheduling * Recommender systems * Robotics * Uncertainty in AI * Web and information systems We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. SUBMISSION ---------------------------------------------- We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following two categories Full technical papers (12 pages max., excluding references) are expected to report on new research that makes a substantial technical contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC. Technical communications (6 pages max., excluding references) can report on research in progress or other issues of interest to the AI community. Examples of work suitable for technical communication paper submissions include novel ideas whose scope is not large enough for a full paper; important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analysed; position or challenge papers. Technical communication submissions are especially invited for software demonstration or PhD work in progress. Submission will be through the EasyChair conference management system. All papers will be subject to blind peer review based on the standard criteria of relevance, the significance of results, originality of ideas, soundness, and quality of the presentation. If you have used the EasyChair conference management system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking 'I have no EasyChair account' button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. Paper submission is electronic. To submit, please prepare a PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. Submission is possible via the following link: https://easychair.org/conferences/?conf=ki2018 All accepted papers will be published in the main conference proceedings and will be presented at the conference. The KI 2018 proceedings will be published by Springer as a volume of the LNAI series (Lecture Notes in Artificial Intelligence). At least one author of each accepted paper must register for the conference and present the contribution. The most outstanding submission will be recognized with a best paper award at the conference. INVITED SPEAKERS: ------------------------------------ · Prof. Dr. Catrin Misselhorn, Chair of the Philosophy of Science and Technology, University of Stuttgart (Joint Keynote with INFORMATIK 2018) · Prof. Dr. Sami Haddadin, Robotics and Artificial Life, TU München · Prof. Dr. Dietmar Jannach, Department of Applied Informatics at AAU Klagenfurt, Austria CO-LOCATED EVENTS ----------------------------------------- Workshops: · Formal and Cognitive Reasoning · WDPAR: Web Data Processing and Reasoning Workshop · HiDeST'18: 2nd Workshop on High-Level Declarative Stream Processing · PuK 2018: 31. Workshop Planen/ Scheduling und Konfigurieren/ Entwerfen · 8th Workshop: Emotion and Computing - Current Research and Future Impact Tutorials: · Statistical Relational AI · Real-time Recommendations with Streamed Data (For more information see http://ki2018.dai-labor.de/workshop-tutorials/ .) ORGANIZATION ---------------------------------------------- General Chair * Sahin Albayrak, TU Berlin Programm Chairs * Frank Trollmann, TU Berlin * Anni-Yasmin Turhan, TU Dresden Workshop and Tutorial Chair: * Oezguer Oezcep, Universität zu Lübeck Doctoral Consortium Chair * Johannes Fähndrich, GT-ARC Berlin SUPPORTED BY ---------------------------------------------- * Springer-Verlag GmbH * Gesellschaft für Informatik e.V. (German Society for Informatics) - FBKI (Section for Artificial Intelligence) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schon at uni-koblenz.de Fri Apr 27 09:09:03 2018 From: schon at uni-koblenz.de (Claudia Schon) Date: Fri, 27 Apr 2018 09:09:03 +0200 Subject: Bridging 2018: Deadline Extension Message-ID: *** EXTENDED DEADLINE *** Full paper deadline: 2nd of May, 2018 CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Fourth Workshop on Bridging the Gap between Human and Automated Reasoning a FAIM workshop (supported by IFIP TC12) Stockholm, Sweden Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge and to gain new insights. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Early work often used propositional logic as a normative framework. Any deviation from it has been considered an error. Central results like findings from the Wason selection task or the suppression task inspired a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Considering cognitive theories for syllogistic reasoning show that none of the existing theories is close to the existing data. But some formally inspired cognitive complexity measures can predict human reasoning difficulty for instance in spatial relational reasoning. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research for common sense reasoning and in the meantime there even exist benchmarks for commonsense reasoning, like the Winograd and the COPA challenge. Despite a common research interest - reasoning - there are still several milestones necessary to foster a better interdisciplinary research. First, to develop a better understanding of methods, techniques, and approaches applied in both research fields. Second, to have a synopsis of the relevant state-of-the-art in both research directions. Third, to combine methods and techniques from both fields and find synergies. E.g., techniques and methods from computational logic have never been directly applied to model adequately human reasoning. They have always been adapted and changed. Fourth, we need more and better experimental data that can be used as a benchmark system. Fifth, cognitive theories can benefit from a computational modeling. Hence, both fields - human and automated reasoning - can both contribute to these milestones and are in fact a conditio sine qua non. Achievements in both fields can inform the others. Deviations between fields can inspire to seek a new and profound understanding of the nature of reasoning. This is the fourth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. Topics of interest include, but are not limited to the following: - benchmark problems relevant in both fields - approaches to tackle Benchmark problems like the Winograd Schema Challenge or the COPA challenge - limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning The workshop is part of the FAIM workshop program located at the Federated Artificial Intelligence Meeting (FAIM) which includes the major conferences IJCAI, ECAI, ICML, AAMAS, ICCBR and SoCS. The Bridging workshop is supported by IFIP TC12. IMPORTANT DATES Full Paper submission deadline: 2nd of May, 2018 Notification: 28th of May, 2018 Final submission: 17th of June, 2018 Workshop: 14th or 15th of July 2018 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to IJCAI guidelines. The length should not exceed 6 pages excluding references. All papers must be submitted in PDF. Formatting instructions and the style files can be obtained http://www.ijcai.org/authors_kit. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2018 PROCEEDINGS Proceedings of the workshop will be published as CEUR workshop proceedings. ORGANIZERS Ulrich Furbach, University of Koblenz Sageet Khemlani, Naval Research Laboratory, Washington DC Oliver Obst, Western Sydney University Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz PROGRAM COMMITTEE - Emmanuelle Diez Saldanha, University of Dresden - Ulrich Furbach, University of Koblenz - Steffen Hoelldobler, University of Dresden - Antonis C. Kakas, University Cyprus, Cyprus - Gabriele Kern-Isberner, TU Dortmund - Sangeet Khemlani, Naval Research Lab, USA - Robert A. Kowalski, Imperial College London, GB - Ursula Martin, University of Oxford - Oliver Obst, Western Sydney University - Luis Moniz Pereira, Universidade Nova Lisboa, Portugal - Marco Ragni, University of Freiburg - Claudia Schon, University of Koblenz - Frieder Stolzenburg, Harz University of Applied Sciences - to be completed Contact: Claudia Schon, schon at uni-koblenz.de From dario.dellamonica at unina.it Fri Apr 27 21:51:43 2018 From: dario.dellamonica at unina.it (Dario Della Monica) Date: Fri, 27 Apr 2018 21:51:43 +0200 Subject: =?UTF-8?Q?Logic_Col=c2=adlo=c2=adquium_2018_=28LC18=29:_DEADLINE_EX?= =?UTF-8?Q?TENSION?= Message-ID: <35e4bcab-3308-b1e2-4180-ee35c1571c6d@unina.it> LOGIC COLLOQUIUM 2018 DEADLINE EXTENSION FOR CONTRIBUTED PAPERS Due to many requests, the deadline for abstract submission is postponed to May 2, 2018. Instructions for submissions at https://lc18.uniud.it/call/ ======================================================================================== We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm). It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016), and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Notification for paper acceptance: May 11, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== U. Sattler (University of Manchester) K. Tent (WWU Münster) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-Universität München) A. Atserias (Universitat Politècnica de Catalunya) V. Brattka (Universität der Bundeswehr München) A. Ciabattoni (TU Wien) P. D’Aquino (Università degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (Università degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems:     - Chairs:     B. Miller (Universität Wien)                  A. Törnquist (København Universitet)     - Speakers: C. Conley (Carnegie Mellon University)                 J. Melleray (Université Lyon I)                 T. Tsankov (Université Paris Diderot)                 R. Tucker-Drob (Texas A&M University) * Model theory:     - Chairs:     E. Casanovas (Universitat de Barcelona)                 F. Wagner (Université Lyon I)     - Speakers: A. Deloro (Université Pierre et Marie Curie)                 I. Goldbring (UC Irvin)                 N. Hempel (UCLA)                 N. Ramsey (UC Berkeley) * Proof theory and constructivism:     - Chairs:     S. Ghilardi (Università degli Studi di Milano)                 G. Sambin (Università degli Studi di Padova)     - Speakers: R. Akiyoshi (Waseda University)                 M. Escardó (University of Birmingham)                 A. Palmigiano (TU Delft)                 C. Xu (Ludwig-Maximilians-Universität München) * Temporal and multivalued logics:     - Chairs:     B. Gerla (Università dell'Insubria)                 M. Lange (Universität Kassel)     - Speakers:    A. Kurucz (King's College London)                 D. Mundici (Università degli Studi di Firenze)                 P. K. Pandya (Tata Institute of Fundamental Research; IIT Mumbai)                 A. Vidal (Czech Academy of Sciences) * Computability theory:     - Chairs:     P. Shafer (University of Leeds)                 A. Sorbi (Università di Siena 1240)     - Speakers: J. Franklin (Hofstra University)                 T. Kihara (Nagoya University)                 S. Ng (Nanyang Technological University)                 L. B. Westrick (University of Connecticut) * Philosophy of Logic and Mathematics:     - Chairs:     J. Kennedy (University of Helsinki)                 G. Sagi (University of Haifa)     - Speakers:    B. Halimi (Université Paris Nanterre)                 S. Hewitt (University of Leeds)                 L. Picollo (Ludwig-Maximilians-Universität München)                 N. Wyatt (University of Calgary) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (Università degli Studi di Udine) A. Montalban (UC Berkeley) P. Pudlàk (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte E. Frittaion G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions, please contact lc18 at uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as LaTeX source code, via EasyChair, at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html). The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic  only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student grants and recommendations should be received by May 4, 2018. They should be submitted electronically, by email to LC18grant at uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Students waiting for the acceptance of a grant application should not register, since the grant may include discounts to the registration fee. After the acceptance, an ad hoc registration form will be available for them. Students whose application is declined will still have time to register before the early registration deadline. ______________________________________________ The event is made possible thanks to the financial support of: * ASL (Association for Symbolic Logic) https://www.aslonline.org * NSF (National Science Foundation) https://www.nsf.gov * SILFS (Società Italiana di Logica e Filosofia delle Scienze) http://www.silfs.it * AILA (Associazione Italiana di Logica e sue Applicazioni) http://www.ailalogica.it * Università degli Studi di Udine https://www.uniud.it/ * GNSAGA - INdAM http://www.altamatematica.it/gnsaga * Italian Chapter of EATCS (European Association for Theoretical Computer Science) https://www.eatcs.org/index.php/italian-chapter ______________________________________________ Sponsor: * AMGA http://www.amgaenergiaeservizi.it/ ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ --- Dona il 5 per mille all'Università Federico II per sostenere studenti e ricercatori Codice Fiscale Università degli Studi di Napoli Federico II 00876220633 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: