From unilog2018 at uca.fr Mon Sep 4 16:55:09 2017 From: unilog2018 at uca.fr (Unilog 2018) Date: Mon, 4 Sep 2017 16:55:09 +0200 (CEST) Subject: CFP - 6th WORLD CONGRESS ON UNIVERSAL LOGIC - Vichy, June 2018 In-Reply-To: <997849476.3218574.1504536212694.JavaMail.zimbra@uca.fr> References: <33712787.3212926.1504535478829.JavaMail.zimbra@uca.fr> <834379739.3214021.1504535658148.JavaMail.zimbra@uca.fr> <2006752365.3216908.1504535981541.JavaMail.zimbra@uca.fr> <997849476.3218574.1504536212694.JavaMail.zimbra@uca.fr> Message-ID: <1135869240.3224032.1504536909585.JavaMail.zimbra@uca.fr> The 6th WORLD CONGRESS ON UNIVERSAL LOGIC will take place in Vichy, France, June 21-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: http://www.uni-log.org/vichy2018 Deadline to submit a one page abstract is September 15, 2017 You can either submit an abstract to the general organization at unilog2018 at yandex.com or to a specific workshop, see details in the website. There will be about 15 workshops within UNILOG'2018: - Proof Theory - The Logic of Social Practices - Around Peirce - Logical Geometry - Logic and Music - The Logic of Social Practices - Reflections on Paraconsistency - Naming Logic(s) II - The Lvov-Warsaw School: Past, Present and Future - The Relevance of Non-classical Logic for Semantic Technologies - Logics and Metalogics - Logic and Categories - Around Hintikka - Practices of Writing and Reading in Logic - Logic, Probability and Credence - Logic for Children UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people. For this edition there will be the award of of Logic Prizes from about 10 countries: http://www.uni-log.org/logic-prize-world Before the congress, June 16-20, 2018, there will be a school with 30 tutorials. Vichy is a charming relaxing thermal city at the middle of France, developed by Napoleon III in the second half of the 19th century, who in particular created beautiful parks with species of trees from all over the world. Vichy, in the Duchy of Bourbon, a region full of castles, is a small city, where it is possible to go everywhere just by walking. The event will take place at the university campus nearby the Celestins spring, the banks of the Allier river (where it is possible to swim) and the city center. June is a very nice time to be in Vichy with lots of animations, including on June 21 a very lively musical day celebrating summertime. Looking forward to seeing you in Vichy in June 2018 Jean-Yves Beziau (University of Brazil, Rio de Janeiro and Ecole Normale Supérieure, Paris) Christophe Rey (University Clermont Auvergne, CNRS, LIMOS) Organizers of UNILOG'2018 ------------------------------------------------------------------------------- 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 http://www.uni-log.org/vichy2018 --------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Sep 5 16:07:46 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 5 Sep 2017 10:07:46 -0400 (EDT) Subject: IJCAR 2018 - Calll for Papers Message-ID: <20170905140746.5A4CE1700C70@cs.miami.edu> CALL FOR PAPERS The 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org Part of The Federated Logic Conference, FLoC 2018, Oxford, UK, July 6-19, 2018. http://www.floc2018.org IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) Topics: ------- IJCAR 2018 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - Methods of interest include: tableaux, sequent calculi, resolution, model- elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem provers, combination of decision procedures, SAT and SMT solving, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. We welcome papers combining automated-reasoning formalisms & techniques and with those from other areas of CS and mathematics, including, e.g., computer algebra, machine learning, formal languages, formal verification, termination. In particular, high-quality conference papers on the topics of the IJCAR 2018 affiliated workshops are welcome. The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS series (www.springer.com/lncs). Submission details: ------------------- Submission is electronic, through https://easychair.org/conferences/?conf=ijcar2018. Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html We solicit two categories of submissions: REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including bibliography, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and software available with their submission for reproducibility. The PC will take availability of software and data into account when evaluating submissions. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including bibliography, should describe the implemented tool and its novel features. One author is expected to be able to perform a demonstration on demand to accompany a tool presentation. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Best paper award: ----------------- IJCAR 2018 will recognize the most outstanding submission with a best paper award at the conference. Invited speakers: ----------------- Invited Speakers will be announced later on. Important dates (provisional): ------------------------------ Abstract submission: January 22nd 2018 Paper submission: January 29th 2018 Notification: March 29th, 2018 Final version of papers due: April 23rd, 2018 IJCAR Conference: July 14-17th, 2018 FLoC Conference: July 6-19th, 2018 IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP! Student travel awards: ---------------------- Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. Organization: ------------- Conference Chair: Ian Horrocks, University of Oxford, Oxford, UK Program Chairs: Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany Roberto Sebastiani, DISI, University of Trento, Trento, Italy Local Arrangements Chairs: Daniel Kroening, University of Oxford, Oxford, UK Marta Kwiatkowska, University of Oxford, Oxford, UK Workshop Chair: Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy Publicity Chair: Geoff Sutcliffe, University of Miami Program Committee: Carlos Areces FaMAF - Universidad Nacional de Cordoba Alessandro Artale Free University of Bolzano-Bozen Arnon Avron Tel-Aviv University Franz Baader TU Dresden Clark Barrett Stanford University Peter Baumgartner Data 61 and CSIRO Christoph Benzmueller Freie Universitaet Berlin Armin Biere Johannes Kepler University Linz Nikolaj Bjorner Microsoft Research Jasmin Christian Blanchette Vrije Universiteit Amsterdam Maria Paola Bonacina Universita degli Studi di Verona Torben Brauener Roskilde University Agata Ciabattoni TU Wien Leonardo de Moura Microsoft Research Hans De Nivelle University of Wroclaw Stephane Demri CNRS, LSV, ENS Paris-Saclay Clare Dixon University of Liverpool Francois Fages Inria Universite Paris-Saclay Pascal Fontaine Universite de Lorraine - LORIA Didier Galmiche (Chair) Universite de Lorraine - LORIA Vijay Ganesh Waterloo Silvio Ghilardi Universite degli Studi di Milano Juergen Giesl RWTH Aachen Laura Giordano DISIT Universite del Piemonte Orientale Valentin Goranko Stockholm University Rajeev Gore The Australian National University Alberto Griggio FBK-IRST John Harrison Intel Corporation Ian Horrocks University of Oxford Moa Johansson Chalmers Tekniska Hogskola Cezary Kaliszyk University of Innsbruck Deepak Kapur University of New Mexico Konstantin Korovin The University of Manchester Laura Kovacs Vienna University of Technology George Metcalfe University of Bern Dale Miller INRIA and LIX/Ecole Polytechnique Claudia Nalon University of Brasilia Albert Oliveras Technical University of Catalonia Nicola Olivetti LSIS Aix-Marseille University Jens Otten University of Oslo Lawrence Paulson University of Cambridge Nicolas Peltier CNRS - LIG Frank Pfenning Carnegie Mellon University Silvio Ranise FBK-Irst Christophe Ringeissen LORIA-INRIA Philipp Ruemmer Uppsala University Katsuhiko Sano Hokkaido University Uli Sattler The University of Manchester Renate A. Schmidt The University of Manchester Stephan Schulz (Chair) DHBW Stuttgart Roberto Sebastiani (Chair) DISI University of Trento Viorica Sofronie-Stokkermans University Koblenz-Landau Thomas Sturm CNRS Geoff Sutcliffe University of Miami Cesare Tinelli The University of Iowa Alwen Tiu Nanyang Technological University Ashish Tiwari SRI International Josef Urban Czech Technical University in Prague Luca Vigano King's College London Andrei Voronkov The University of Manchester Uwe Waldmann Max Planck Institute for Informatics Christoph Weidenbach Max Planck Institute for Informatics From frank.loebe at informatik.uni-leipzig.de Wed Sep 6 16:29:37 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Wed, 6 Sep 2017 16:29:37 +0200 Subject: JOWO 2017: Call for Participation (Joint Ontology Workshops, Sep 21-23, Bolzano, Italy) Message-ID: <201709061429.v86ETgnN009593@isun.informatik.uni-leipzig.de> ---------------------------------- Call for Participation ---------------------------------- Joint Ontology Workshops (JOWO 2017) --- Episode 3: The Tyrolean Autumn --- Free University of Bozen-Bolzano, Italy, September 21-23, 2017 Early Registration Deadline: September 11, 2017 ---------------------------------- 10 Workshops on Ontology and its Applications http://www.iaoa.org/jowo/2017/ Preliminary Program and Accepted Papers http://iaoa.org/jowo/2017/program.html ---------------------------------- The Joint Ontology Workshops' (JOWO) mission is to join forces of the diverse communities interested in building, reasoning with, and applying formalised ontologies in the wide spectrum of information sciences, artificial intelligence theory and applications, philosophy and cognitive science, and beyond. This third edition of the Joint Ontology Workshops (JOWO 2017) combines ten ontology-centered workshops covering a multitude of disciplines into an exciting joint event featuring 63 accepted papers, 4 keynotes, and a concert by the Hyperinstruments Ensemble of the Music Conservatory of Bozen-Bolzano, led by Nicola Baroni. ---------------------------------- WORKSHOPS - CREOL: Contextual Representation of Objects and Events in Language - DAO: Data meets Applied Ontology - DEW: Ontology Debugging & Evaluation Workshop - EPINON: Epistemology in Ontologies - FOMI: Formal Ontologies Meet Industry - FOUST II: 2nd Workshop on Foundational Ontology - ISD3: The 3rd Image Schema Day - ODLS: Ontologies and Data in Life Sciences - SHAPES 4.0: The Shape of Things - WINKS: Workshop on Interaction-Based Knowledge Sharing ---------------------------------- KEYNOTES * Antonio Chella (University of Palermo, Italy): "Grounding ontologies in the external world" * Giancarlo Guizzardi (Free University of Bozen-Bolzano, Italy): "'It's Patterns all the way down': Patterns, Anti-Patterns and Pattern-Languages for Next-Generation Ontology Engineering" * Alessandro Mosca (SIRIS Lab, Barcelona, Spain): "Ontology-Mediated Data Integration and Access in Research and Innovation Policy Making" * Todd Oakley (Case Western Reserve University, Cleveland, USA): "What We Think About When We Talk About Money: Social Ontology and the Amalgamated Mind" JOWO 2017 is supported by the International Association for Ontology and its Applications - IAOA (http://iaoa.org). ---------------------------------- JOWO General Chairs | Contact Stefano Borgo (LOA ISTC CNR, Trento, Italy) Oliver Kutz (Free University of Bozen-Bolzano, Italy) Frank Loebe (University of Leipzig, Germany) Fabian Neuhaus (Otto-von-Guericke University Magdeburg, Germany) Contact: jowo.steering at gmail.com From elena.troubitsyna at abo.fi Wed Sep 6 17:08:15 2017 From: elena.troubitsyna at abo.fi (Elena Troubitsyna) Date: Wed, 06 Sep 2017 18:08:15 +0300 Subject: Deadline extended: 2nd International Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems Message-ID: <20170906180815.3dip1mey4ow48cks@webmail1.abo.fi> Submission deadline extended till September 27th, 2017 2nd International Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems Xi'an, China, November 16-17th, 2017 http://research.nii.ac.jp/fmmdd/index.html In conjunction with ICFEM 2017 Workshop Overview Development of trustworthy software-intensive systems constitutes one of the major engineering challenges. Both functional correctness and extra-functional properties such as safety, reliability and security are equally important for ensuring system trustworthiness. To efficiently cope with complexity caused by inherently heterogeneous development environment, the designers often rely of model-driven techniques that provide them with a comprehensive integrated notation. Indeed, graphical models help to bridge the gap between informal requirements and formal models, while various architectural modelling frameworks enable the efficient multi-view analysis of diverse system properties. Though the benefits of using both formal and model-driven techniques in the design of trustworthy systems are widely acknowledged, there is still a lack of common understanding of the integration mechanisms. In particular, there are the on-going debates about achieving a balance between flexibility and rigor in integrated modelling, analysing an interplay between functional and extra-functional properties, using domain-specific frameworks as well as addressing trustworthiness at different architectural levels. The aims of this workshop are - to advance the understanding in the area of developing and applying formal and model-driven techniques for designing trustworthy systems - to discuss the emerging issues in the area - to improve the dialog between different research communities and between academia and industry - to discuss a roadmap of the future research in the area - to create a forum for discussing and disseminating the new ideas and the research results in the area The topics of interest include, but are not limited to: - Formal methods in model-driven development - Model-driven development for formal methods - Quality assurance for models and model transformation - Model transformation for formal models - Model transformation and refinement - Formal and model driven approaches to engineering safety- critical, fault-tolerant and secure systems - Integrated analysis of functional and extra-functional properties of trustworthy software-intensive systems - Methods and tools integrating graphical and formal approaches - Lightweight formal methods for dependability and security - Formal and model-driven engineering of trustworthy cyber-physical systems - Domain-specific formal and model-driven approaches Submission Types All submissions must be original, unpublished, and cannot be simultaneously submitted for publication elsewhere. Papers of the following types are solicited: - Research papers focusing on advanced and novel theories, methodologies, or mechanisms - Tool papers focusing on useful and practical tools, their integration and interoperability - Experience papers with a focus on deployment, evaluation and lessons learned The proceedings will be made available online. Submissions must consist of no more than 10 pages for Research papers and 6 pages for Tool/Experience papers (including all the materials) in the LNCS format. Submission page https://easychair.org/conferences/?conf=fmmdd2017 From alexander.romanovsky at newcastle.ac.uk Thu Sep 7 21:43:12 2017 From: alexander.romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Thu, 7 Sep 2017 19:43:12 +0000 Subject: CfPart: Reliability, safety and security of railway systems - RSSRail 2017 (Pistoia, Italy) References: Message-ID: ****************************************************************** CALL FOR PARTICIPATION International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification RSSRail 2017 November 14-16, 2017, Pistoia, Italy https://conferences.ncl.ac.uk/rssrail/ ****************************************************************** The conference focuses on the reliability, safety and security of railway systems, faced with new challenges (such as increasing capacity and speed), new trends (such as pervading automation), and new threats (such as cyber- security). Advanced techniques and tools are needed for modelling, analysis, verification and validation that can cope with these issue. There is a pressing need to bring together researchers and developers working on railway system reliability, security and safety to discuss how these requirements can be met in an integrated way. It is also vital to ensure that all advances in research (both in academia and industry) are driven by real industrial needs. This can help ensure that such advances are followed by industrial deployment. Another particularly important objective is to integrate research advances into the current development processes, and make them usable and scalable. The conference is jointly organized by Newcastle University, University of Florence and DITECFER. *** VENUE *** Pistoia, Italy Pistoia is a little-known delight, often missed by travellers in favour or its neighbour Tuscan towns such as Florence, Pisa, Lucca and Siena. Yet Pistoia is a gem. All the ingredients of an old Tuscan city are there: old walls, striped churches, frescoes, medieval watchtowers, arcaded piazzas packed into a rather small centre. Pistoia has been elected Italy's 2017 Capital of Culture. Pistoia has also hosted an important presence of railways for more than 150 years: from the first trans-Apennines north-south connection, to the locomotive depot now hosting heritage railway stock, to the presence of a wide-ranging and innovative grouping of rail industry suppliers. *** REGISTRATION *** Registration is open! Early registration until October 2. http://conferences.ncl.ac.uk/rssrail/registration/ *** RESEARCH PROGRAM *** The program include eleven technical papers, three industrial experience reports and two PhD students papers. The papers confirm a wide interest in developing, and applying in practice, formal modelling and verification techniques as the most cost effective way to guarantee the safety of nowadays very complex railway system. Besides these continued research area, two important topics clearly emerge from the accepted papers: the challenges posed to the safety and security of railway systems by the increasing reliance on advanced communication means on one side, and the industrial interest in the expansion of automation and advanced signalling expanding from the sector of main line railways to light rail and urban transit. See details at: http://conferences.ncl.ac.uk/rssrail/programme/ The program is completed by three keynote speakers and four tutorials, by posters and industrial exhibitors, and by a presentation of the Shift2Rail initiative. *** KEYNOTE SPEAKERS *** Jens Braband, Siemens AG, Rail Automation and Honorary Professor of Technical University of Braunschweig, Germany: 'Quo vadis - Cybersecurity in railways'. Michael Leuschel, Heinrich Heine Universität, Dusseldorf, Germany: 'The Unreasonable Effectiveness of B for Data Validation and Modelling of Railway Systems'. Aryldo Ar. Russo, CERTIFER, France: 'Safety Certification: considering processes around the world.' *** TUTORIALS *** Four tutorials will be presented, see details at: http://conferences.ncl.ac.uk/rssrail/tutorials/ *** COMMITTES *** Conference Chairs: Alessandro Fantechi, University of Florence, Italy Thierry Lecomte, ClearSy, France Alexander Romanovsky, Newcastle University, UK PC members: Carlo Becheri, ALSTOM, Italy Mark Behrens, Independent consultant, Germany Andrea Bondavalli, University of Florence, Italy David Bonvoisin, RATP, France Fares Chucri, SNCF, France Simon Collart-Dutilleul, IFFSTAR, France Francesco Flammini, UMUC Europe, Germany Stefania Gnesi, ISTI, Italy Frank Golatowski, University of Rostock, Germany Anne Haxthausen, Technical University of Denmark, Denmark Baseliyos Jacob, Deutsche Bahn, Germany Michael Jastram, Formal Mind, Germany Alexei Iliasov, Newcastle University, UK Tim Kelly, University of York, UK Hironobu Kuruma, Hitachi, Japan Michael Leuschel, Dusseldorf University, Germany Gianluca Mandò, Thales, Italy Jean Marc Mota, Thales R&T, France Jan Peleska, Verified Systems International, Germany Ralf Pinger, Siemens AG, Germany Christophe Ponsard, CETIC, Belgium Peter Popov, City University, UK Etienne Prun, ClearSy, France Matteo Rossi, Politecnico di Milano, Italy Aryldo Russo, CERTIFER, France Kenji Taguchi, AIST, Japan Jaco van de Pol, University of Twente, Netherlands Laurent Voisin, Systerel, France Kirsten Winter, University of Queensland, Australia Conference Organisation and Financial Chair: Joan Atkinson, Newcastle University, UK Local Organisation Chair: Veronica Bocci, DITECFER, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From manna at mat.unical.it Fri Sep 8 17:12:35 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Fri, 8 Sep 2017 17:12:35 +0200 Subject: [Reminder] PADL 2018 - abstract deadline approaching Message-ID: [with apologies for cross-postings] PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages - http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 Important Dates and Submission Guidelines ========================================= Abstract submission: September 10, 2017 (Extended) Paper submission: September 15, 2017 (Extended) Notification: October 9, 2017 Camera-ready: October 23, 2017 Symposium: January 8-9, 2018 The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2018 The proceedings of PADL 2018 will appear in the LNCS series of Springer Verlag (www.springer.com/lncs). Two papers accepted for publication at PADL'18 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Contacts ======== For additional information about papers and submissions, please write to the official conference email address, or contact the Program Chairs: * email: padl2018 at easychair.org * Nicola Leone University of Calabria, Italy https://www.mat.unical.it/leone/ * Kevin Hamlen University of Texas at Dallas, TX, USA http://www.utdallas.edu/~hamlen/ Program Committee ================= * Daan Leijen, Microsoft Research * Daniel Winograd-Cort, University of Pennsylvania * David Van Horn, University of Maryland * Edwin Brady, University of St. Andrews * Enrico Pontelli, New Mexico State University * Erika Abraham, RWTH Aachen University * Esra Erdem, Sabanci University * Francesco Calimeri, University of Calabria * Geoffrey Mainland, Drexel University * Grigore Rosu, University of Illinois at Urbana-Champaign * James Cheney, University of Edinburgh * Jurriaan Hage, Universiteit Utrecht * Karl Crary, Carnegie Mellon University * Konstantin Schekotihin, University of Klagenfurt * Lars Bergstrom, Mozilla Research * Lukasz Ziarek, SUNY Buffalo * Manuel Carro, Technical University of Madrid and UPM and IMDEA Software Institute * Marcello Balduccini, Saint Joseph's University * Marco Gavanelli, University of Ferrara * Marco Maratea, University of Genova * Martin Gebser, University of Potsdam * Mats Carlsson, SICS * Meera Sridhar, University of North Carolina Charlotte * Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center * Paul Tarau, University of North Texas * Paulo Oliva, Queen Mary University of London * Peter Schüller, Marmara University * Ricardo Rocha, University of Porto * Stefan Woltran, Vienna University of Technology * Stefania Costantini, University of L'Aquila * Wolfgang Faber, University of Huddersfield Publicity Chair: * Marco Manna, University of Calabria, Italy Program Chairs: * Nicola Leone, University of Calabria, Italy * Kevin Hamlen, University of Texas at Dallas, TX, USA From CISP-BMEI-cfp at ecnu.edu.cn Fri Sep 8 17:41:29 2017 From: CISP-BMEI-cfp at ecnu.edu.cn (=?utf-8?B?5p2O6ICB5biI?=) Date: Fri, 8 Sep 2017 23:41:29 +0800 Subject: CISP-BMEI 2017 Informatics Track, Submission Open until 30 September, Shanghai, China [Submitting to IEEE Xplore/Scopus/EI Compendex/ISI] 2017/9/8 23:41:42 zexaunyz Message-ID: <20170908234142151246@ecnu.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Informatics track in the upcoming 2017 10th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI 2017), to be held in Shanghai, China, 14-16 October 2017. Topics include (but are not limited to): Communications and Networking, Software Engineering, Data Engineering, Intelligent Computing, Information Security, Automation and Control, etc.. Submission remains open until 30 September 2017. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, Disney Land, and Expo 2010 site. As with past CISP-BMEI conferences, all papers in conference proceedings will be submitted to EI Compendex, Scopus, CPCI (ISI/ISTP), and IEEE Xplore. Substantially extended versions of best papers will be considered for publication in a CISP-BMEI special issue of a SCI-indexed journal. CISP-BMEI 2017 is technically co-sponsored by the IEEE Engineering in Medicine and Biology Society (pending). The past conference proceedings from 2008 to 2015 appeared as 2 separate (but co-located) conferences, i.e., CISP and BMEI. CISP-BMEI has become a single conference since 2016. CISP-BMEI 2017 is a premier international forum for scientists and researchers to present the state of the art of multimedia, signal processing, biomedical engineering and informatics. The registration fee of US*D480 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. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 500. 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 list of recommended papers is determined by 18 August 2017. 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 cisp-bmei at ecnu.edu.cn For more information, visit the conference web page: http://cisp-bmei.ecnu.edu.cn/ (During your electronic submission, select “BMEI” for Conference and “Informatics: Fundamental Technologies Important to Medicine and Biology” for Category). If you have any questions after visiting the conference web page, please email the secretariat at cisp-bmei at ecnu.edu.cn Join us at this major event in historical Shanghai !!! Organizing Committee cisp-bmei at ecnu.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. 2017/9/8 23:41:42 kfjkp2iq -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Mon Sep 11 00:05:42 2017 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Sun, 10 Sep 2017 18:05:42 -0400 Subject: CFP SDM'18: SIAM International Conference on Data Mining 2018 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/ ------------ CALL FOR CONTRIBUTIONS ------------ Abstract Submission: October 6, 2017, 11:59pm (PDT) Full Paper Submission: October 13, 2017, 11:59pm (PDT) Workshop Proposals: October 6, 2017, 11:59pm (PDT) Tutorial Proposals: October 6, 2017, 11:59pm (PDT) DESCRIPTION ------------------------------------------------------------ Data mining is the computational process for discovering valuable knowledge from data. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, and application developers from different disciplines. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form, and are also made available on the SIAM web site. THEMES AND TOPICS OF INTEREST ------------------------------------------------------------ Methods and Algorithms - Classification - Clustering - Frequent Pattern Mining - Probabilistic & Statistical Methods - Graphical Models - Deep Neural Networks - Spatial & Temporal Mining - Data Stream Mining - Anomaly & Outlier Detection - Feature Extraction, Selection and Dimension Reduction - Mining with Constraints - Data Cleaning & Preprocessing - Computational Learning Theory - Multi-Task Learning - Online Algorithms - Big Data, Scalable & High-Performance Computing Techniques - Mining with Data Clouds - Mining Graphs - Mining Semi-Structured Data - Mining Image Data - Mining on Emerging Architectures - Text & Web Mining - Optimization Methods - Other Novel Methods Applications - Astronomy & Astrophysics - High Energy Physics - Recommender Systems - Climate / Ecological / Environmental Science - Risk Management - Supply Chain Management - Customer Relationship Management - Finance - Genomics & Bioinformatics - Drug Discovery - Healthcare Management - Automation & Process Control - Logistics Management - Intrusion & Fraud detection - Bio-surveillance - Sensor Network Applications - Social Network Analysis - Educational Data Mining - Intelligence Analysis - Other Novel Applications & Case Studies Human Factors and Social Issues - Ethics of Data Mining - Intellectual Ownership - Privacy Models - Privacy Preserving Data Mining & Data Publishing - Risk Analysis - User Interfaces - Interestingness & Relevance - Data & Result Visualization - Other Human Factors and Social Issues WORKSHOPS AND TUTORIALS ------------------------------------------------------------ The conference will feature workshops and tutorials on several special topics. Please see the SDM 2018 website for submission requirements. Examples of workshops and tutorials are available through the SDM 2017 website at http://www.siam.org/meetings/sdm17/ FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 https://www.facebook.com/events/324672047986484/ ORGANIZING COMMITTEE ------------------------------------------------------------ STEERING COMMITTEE CHAIR Srinivasan Parthasarathy, Ohio State University, USA Zoran Obradovic, Temple University, USA CONFERENCE CO-CHAIRS Dimitrios Gunopulos, University of Athens, Greece Tanya Berger-Wolf, University of Illinois at Chicago, USA PROGRAM CO-CHAIRS Martin Ester, Simon Fraser University, Canada Dino Pedreschi, University of Pisa, Italy WORKSHOP CO-CHAIRS Joao Gama, University of Porto-LIAAD, Portugal Jing Gao, SUNY Buffalo, USA TUTORIAL CHAIR Yan Liu, University of Southern California, USA DOCTORAL FORUM CHAIR Julian McAuley, University of California, San Diego, USA PUBLICITY CO-CHAIRS Zhenhui Li, Pennsylvania State University, USA Gregor Stiglic, University of Maribor, Slovenia SPONSORSHIP CO-CHAIRS Matteo Riondato, TwoSigma, USA Jiliang Tang, Michigan State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Thu Sep 7 23:50:38 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 07 Sep 2017 23:50:38 +0200 Subject: SLSP 2017: call for posters Message-ID: <545102060a010b07005350000f045a00005107000250005002040b04550101555c510d0f055b0400065f5601040100@grlmc_ip-zone_com-6> SLSP 2017: call for posters The 5th International Conference on Statistical Language and Speech Processing (SLSP 2017) invites researchers to submit poster presentations. SLSP 2017 will be held in Le Mans (France) on October 23-25, 2017. See http://grammars.grlmc.com/SLSP2017/ 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 statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 16, 2017 Notification of poster acceptance or rejection: September 23, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2017 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/LNAI proceedings volume of SLSP 2017. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2015 impact factor: 1.324). REGISTRATION At least one author of each accepted poster must register to the conference by October 9, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). 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 jsabater at iiia.csic.es Tue Sep 12 12:39:16 2017 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Tue, 12 Sep 2017 12:39:16 +0200 Subject: [AAMAS18] 2nd CfP: International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18) Message-ID: * *************************************************** AAMAS 2018: July 10-15, 2018 in Stockholm *************************************************** http://aamas18.ifaamas.org Important Dates --------------- Abstract Submission: 10th of November 2017 (23:59 UTC-12) Full Paper Submission: 14th of November 2017 (23:59 UTC-12) Rebuttal Phase: 9th-10th of January 2018 (23:59 UTC-12) Author Notification: 24th of January 2018 (23:59 UTC-12) AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. This edition will be a part of the Federated AI Meeting (FAIM) where AAMAS is co-located with several AI conferences including the International Joint Conference on Artificial Intelligence (IJCAI)/European Conference on Artificial Intelligence (ECAI) and the International Conference on Machine Learning (ICML). AAMAS 2018, the seventeenth conference in the AAMAS series, seeks the submission of high-quality papers addressing original research on autonomous agents and their interaction. All work must be original, that is, must not have appeared in conference proceedings, books, or journals and may not be under review for other archival conferences, books, or journals. A significant number of papers will be invited to submit extended versions to the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) for fast-track review. In addition to submissions in the main track, AAMAS 2018 will solicit papers for the following special tracks:    1) JAAMAS Submissions.    2) Robotics    3) Socially Interactive Agents    4) Blue Sky Ideas    5) Industrial Applications The review process for the special tracks will be similar to the main track, but with program committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. At least one of the authors of each paper is required to register, attend, and present the paper at the conference. In addition to the main conference, AAMAS 2018 will include:    - Workshops    - Tutorials    - System demonstrations    - Poster presentations for full papers and extended abstracts    - Invited talks and panel discussions The submission processes for the workshops and system demonstrations are separate from the main paper submission process. Information will be posted on the relevant pages. ----- ORGANIZING COMMITTEE AAMAS 18 General Chairs:    Elisabeth André (Universität Augsburg, Germany)    Sven Koenig (University of Southern California, USA) AAMAS 18 Program Chairs:    Mehdi Dastani (University of Utrecht, Netherlands)    Gita Sukthankar (University of Central Florida, USA) AAMAS 18 Local Chair:    Franziska Klügl (Örebro University, Sweden) The full AAMAS 2018 Call for Papers, along with descriptions of the special tracks and all topics of interest, can be found at:                          aamas18.ifaamas.org                              #aamas2018 * -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jj at udc.es Tue Sep 12 13:53:26 2017 From: jj at udc.es (Juan =?utf-8?Q?Jes=C3=BAs?= Romero Cardalda) Date: Tue, 12 Sep 2017 13:53:26 +0200 (CEST) Subject: CFP. Evomusart 2018. International Conference on Computational Intelligence in Music, Sound, Art and Design In-Reply-To: <1803668782.23280.1505217055126.JavaMail.zimbra@udc.es> References: <564455642.21503.1505216780292.JavaMail.zimbra@udc.es> <1484368168.22449.1505216889426.JavaMail.zimbra@udc.es> <609911804.22557.1505216917069.JavaMail.zimbra@udc.es> <934686364.22738.1505216946039.JavaMail.zimbra@udc.es> <140548764.22852.1505216966992.JavaMail.zimbra@udc.es> <746810587.23044.1505217012507.JavaMail.zimbra@udc.es> <2046992721.23191.1505217033165.JavaMail.zimbra@udc.es> <1803668782.23280.1505217055126.JavaMail.zimbra@udc.es> Message-ID: <2018417918.24773.1505217206898.JavaMail.zimbra@udc.es> Please distribute (Apologies for multiple posting) ------------------------------------------------ Second Call for papers for the 7th EVOMUSART conference ------------------------------------------------ This year some papers from Evomusart will be selected for a new Springer book titled “The handbook off Artificial intelligence and the Arts” edited by Juan Romero, Penousal Machado and Gary Greenfield. The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Important dates: Submission: 1 November 2017 Notification to authors: 3 January 2018 Camera-ready deadline: 15 January 2018 Evo*: 4-6 April 2018 We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Each submission must be anonymised for a double-blind review process and submitted to http://myreview.csregistry.org/evomusart18/ (which should be online soon). The deadline for submission is 1 November 2017, and acceptance notification on 3 January 2018. Accepted papers will be presented orally or as posters at the event and included in the evoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Topics of interest include, but are not limited to: Generation: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; * Systems that create artifacts such as game content, architecture, furniture, based on aesthetic and functional criteria. * Robotic-Based Evolutionary Art and Music; * Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc.; Theory: * Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; * Representation techniques; * Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; * Validation methodologies; * Studies on the applicability of these techniques to related areas; * New models designed to promote the creative potential of biologically inspired computation; Computer Aided Creativity and computational creativity: * Systems in which computational intelligence is used to promote the creativity of a human user; * New ways of integrating the user in the evolutionary cycle; * Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; * Collaborative distributed artificial art environments; Automation: * Techniques for automatic fitness assignment * Systems in which an analysis or interpretation of the artworks is used in conjunction with computational intelligence techniques to produce novel objects; * Systems that resort to computational intelligence approaches to perform the analysis of image, music, sound, sculpture, or some other types of artistic object or resource. More information on the submission process of evoMUSART 2018 can be found at http://www.evostar.org/2018/cfp_evomusart.php Past Evomusart papers can be found http://evomusart-index.dei.uc.pt/ We look forward to seeing you in Parma in 2018! The evoMUSART 2018 organisers Juan Romero Antonios Liapis From grlmc at grlmc.com Tue Sep 12 23:07:55 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 12 Sep 2017 23:07:55 +0200 Subject: BigDat 2018: early registration September 26 Message-ID: <545102060a010b070157510004015a555651535603060559570b5d0301520602500353025608080a0550560a000307@grlmc_ip-zone_com-6> BigDat 2018: early registration September 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   --- Early registration deadline: September 26, 2017 ---   *******************************************************   SCOPE:   BigDat 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 big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 26 five hour and fifteen minute-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. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master 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, BigDat 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:   BigDat 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS: (to be completed)   tba   PROFESSORS AND COURSES: (to be completed)   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), tba   Nick Duffield (Texas A&M University), [introductory/intermediate] Sampling for Big Data   Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem   Minos Garofalakis (Technical University of Crete), tba   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems   Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations   Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis   Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Pattern Mining on Big Data   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery   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.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/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 approximation 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 if 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 will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Fri Sep 15 04:56:29 2017 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Thu, 14 Sep 2017 22:56:29 -0400 Subject: Call For Workshops: SIAM Conference on Data Mining (SDM'18) - Proposals due October 6 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/ ------------ CALL FOR WORKSHOPS ------------ The SDM18 organizing committee invites proposals for workshops to be held in conjunction with the conference. The purpose of a workshop is to provide participants with the opportunity to present and discuss novel research ideas on active and emerging topics of knowledge discovery and data mining. Ideally a workshop should foster interactions between different communities within the scope of SDM (e.g. statisticians, computer scientists, industry, academia etc.). A workshop should not be a mini-conference, but rather it should encourage the presentation of novel ideas, even if they are in an early stage of development, contact between different points of view, and active exchanges between participants. Therefore publishing notes is optional for the SDM workshops. The responsibilities of the workshop organizers include: - preparing the call for papers and publicizing it - maintaining the workshop web site - deciding the workshop program content; - inviting speakers, inviting reviewers, selecting the papers through a peer review process - delivering the notes to the press in time (if the workshop organizers decide to publish notes), and - delivering the final workshop program to the workshop chair in time. Workshop proposals should be prepared as a web page and its URL is sent via e-mail to the SDM18 Workshop Co-Chairs: You will receive an acknowledgment of receipt within 24 hours. Please contact us if you do not receive a receipt within 24 hours. Please send the URL to Joao Gama (jgama at fep.up.pt) and Jing Gao ( jing at buffalo.edu) by October 6, 2017 11:59 PM (US Pacific Time). A workshop proposal should include the following information: - Workshop title - Full contact information of the organizers - A description of the workshop including objectives, content, topics of interest. - A description of the format (e.g invited talks, round table, accepted presentations, etc) should be included. Please indicate your preference regarding the length of the workshop: half-day or full-day. If you are only interested in hosting a full day workshop then please indicate so. - A short description of the target audience. - List of potential participants: For workshops this could include potential program committee members, potential authors and invited speakers. - A summary of previous editions of the workshop (if it was run before), with an emphasis on number of attendees and paper submissions. - A short biography of each organizer (Please include your experience on organizing workshops and conferences). Proposals will be judged by a sub-committee of the SDM18 organizing committee based on the above information. Particular preference will be given to proposals that demonstrate the ability to foster interactions among multiple communities, as noted above. We prefer workshops in which there is participation of diverse people who may not have worked with one another in the past, or which bridge between traditional SDM topics and communities and other fields. We also welcome proposals focusing on application issues or economical and social aspects of data mining. External sources of funding or sponsorship for special events held along with the workshop (e.g. invited talks, poster session) can be optionally included in the proposal submission. For any question regarding the workshops for SDM18, please contact the workshop co-chairs. Important Dates: Submission of Workshop Proposals: October 6, 2017 11:59 PM (PDT) Notifications: November 6, 2017 11:59 PM (PDT) Workshop Websites Linked to SDM17: November 20, 2017 11:59 PM (PDT) Final Workshop Notes to SDM with Program: February 14, 2018 11:59 PM (PDT) FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 https://www.facebook.com/events/324672047986484/ ORGANIZING COMMITTEE ------------------------------------------------------------ STEERING COMMITTEE CHAIR Srinivasan Parthasarathy, Ohio State University, USA Zoran Obradovic, Temple University, USA CONFERENCE CO-CHAIRS Dimitrios Gunopulos, University of Athens, Greece Tanya Berger-Wolf, University of Illinois at Chicago, USA PROGRAM CO-CHAIRS Martin Ester, Simon Fraser University, Canada Dino Pedreschi, University of Pisa, Italy WORKSHOP CO-CHAIRS Joao Gama, University of Porto-LIAAD, Portugal Jing Gao, SUNY Buffalo, USA TUTORIAL CHAIR Yan Liu, University of Southern California, USA DOCTORAL FORUM CHAIR Julian McAuley, University of California, San Diego, USA PUBLICITY CO-CHAIRS Zhenhui Li, Pennsylvania State University, USA Gregor Stiglic, University of Maribor, Slovenia PANEL CHAIR TBA SPONSORSHIP CO-CHAIRS Matteo Riondato, TwoSigma, USA Jiliang Tang, Michigan State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Fri Sep 15 05:01:46 2017 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Thu, 14 Sep 2017 23:01:46 -0400 Subject: Call For Tutorials: SIAM Conference on Data Mining (SDM'18) - Submissions due October 6 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/ ------------ CALL FOR TUTORIALS ------------ The SIAM Data Mining (SDM18) Organizing Committee invites proposals for tutorials to be held in conjunction with the conference. Tutorials are an effective way to educate and/or provide the necessary background to the intended audience enabling them to understand technical advances. For SDM18, we are seeking proposals for tutorials on all topics related to data mining. A tutorial may be a theme-oriented comprehensive survey, discuss novel data mining techniques or may center around successful and timely application of data mining in important application areas (e.g., medicine, national security, scientific data analysis). Tutorials on interdisciplinary research topics, novel and fast growing directions, and innovative applications are highly encouraged. For examples of typical SIAM tutorials, see the set of accepted tutorials at previous SIAM conferences SDM14 , SDM15 , SDM16 and SDM17 . Tutorials are open to all conference attendees without any extra fees. The typical tutorial will be 2 hours long (longer tutorials will be considered). Previous SDM conferences attracted up to 100 attendees in a tutorial. Proposals should be submitted electronically with subject heading: “SDM 2018 Tutorial Proposal Submission” by October 6, 2017 11:59PM (US Pacific Time) to: Yan Liu, University of Southern California, USA (yanliu.cs at usc.edu ) Proposals should be submitted in PDF format (for other formats please contact the tutorial chair first). Proposals should include the following: - Basic information: Title, brief description, name and contact information for each tutor, length of the proposed tutorial. If the intended tutorial is expected to take longer than 2 hours a rationale is expected. Also identify any other venues in which the tutorial has been or will be presented. - Audience: Proposals must clearly identify the intended audience for the tutorial (e.g., novice, intermediate, expert). - What background will be required of the audience? - Why is this topic important/interesting to the SIAM data mining community? - What is the benefit to participants? - Provide some informal evidence that people would attend (e.g., related workshops). - Coverage: Enough material should be included to provide a sense of both the scope of material to be covered and the depth to which it will be covered. The more details that can be provided, the better (up to and including links to the actual slides or viewgraphs). Note that the tutors should not focus mainly on their own research results. If, for certain parts of the tutorial, the material comes directly from the tutors' own research or product, please indicate this clearly in the proposal. - Biographies: Provide brief biographical information on each tutor (including qualifications with respect to the tutorial's topic). Please note that all organizers of the accepted tutorials are required to be present and deliver lectures in the conference. Timeline - Submission : October 6, 2017 11:59PM (US Pacific Time) - Decision Notification : November 6, 2017 - Complete Set of Tutorial Viewgraphs (Slides): February 14, 2018 FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 https://www.facebook.com/events/324672047986484/ ORGANIZING COMMITTEE ------------------------------------------------------------ STEERING COMMITTEE CHAIR Srinivasan Parthasarathy, Ohio State University, USA Zoran Obradovic, Temple University, USA CONFERENCE CO-CHAIRS Dimitrios Gunopulos, University of Athens, Greece Tanya Berger-Wolf, University of Illinois at Chicago, USA PROGRAM CO-CHAIRS Martin Ester, Simon Fraser University, Canada Dino Pedreschi, University of Pisa, Italy WORKSHOP CO-CHAIRS Joao Gama, University of Porto-LIAAD, Portugal Jing Gao, SUNY Buffalo, USA TUTORIAL CHAIR Yan Liu, University of Southern California, USA DOCTORAL FORUM CHAIR Julian McAuley, University of California, San Diego, USA PUBLICITY CO-CHAIRS Zhenhui Li, Pennsylvania State University, USA Gregor Stiglic, University of Maribor, Slovenia PANEL CHAIR TBA SPONSORSHIP CO-CHAIRS Matteo Riondato, TwoSigma, USA Jiliang Tang, Michigan State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.balduccini at gmail.com Tue Sep 19 02:00:18 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Mon, 18 Sep 2017 20:00:18 -0400 Subject: KR 2018 Call for Papers Message-ID: <201709190000.v8J00Ikt015898@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 kr2018.org/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [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. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. 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 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 Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, 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 Tue Sep 19 02:24:34 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Mon, 18 Sep 2017 20:24:34 -0400 Subject: KR 2018 Doctoral Consortium Call for Papers Message-ID: <201709190024.v8J0OYpI017223@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] 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 marcello.balduccini at gmail.com Tue Sep 19 03:15:42 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Mon, 18 Sep 2017 21:15:42 -0400 Subject: KR18 - Preliminary Call for Tutorial and Workshop Proposals Message-ID: <201709190115.v8J1FgVB019858@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] KR18 - Preliminary Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 2 November 2018 http://kr2018.org/ *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: 1) Tutorial proposals: http://tinyurl.com/kr18tute 2) Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr From unilog2018 at uca.fr Wed Sep 20 10:35:46 2017 From: unilog2018 at uca.fr (Unilog 2018) Date: Wed, 20 Sep 2017 10:35:46 +0200 (CEST) Subject: UNIVERSAL LOGIC Vichy, 2018 DEADLINE EXTENSION: OCT 5, 2017 Message-ID: <1251705972.4426592.1505896546296.JavaMail.zimbra@uca.fr> The 6th WORLD CONGRESS ON UNIVERSAL LOGIC will take place in Vichy, France, June 21-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: http://www.uni-log.org/vichy2018 Extended deadline to submit an abstract is October 5, 2017 You can either submit an abstract to the general organization at unilog2018 at yandex.com or to the organizers of a specific workshop, see details in the website. There will be about 20 workshops within UNILOG'2018: - Proof Theory - Model Theory - The Logic of Social Practices - Around Peirce - Logical Geometry - Logic and Music - Logical Correctness - Reflections on Paraconsistency - Naming Logic(s) II - The Lvov-Warsaw School: Past, Present and Future - Logics and Metalogics - Categories and Logics - Hintikka’s Logical Thought - Homo Logicus III - Practices of Writing and Reading in Logic - Logic, Probability and their Generalizations - Logic for Children - Logic for Dynamic Real-World Information UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people. For this edition there will be the award of Logic Prizes from more than 10 countries: http://www.uni-log.org/logic-prize-world Before the congress, June 16-20, 2018, there will be a school with 30 tutorials. Vichy is a charming relaxing thermal city at the middle of France, developed by Napoleon III in the second half of the 19th century, who in particular created beautiful parks with species of trees from all over the world. Vichy, in the Duchy of Bourbon, a region full of castles, is a small city, where it is possible to go everywhere just by walking. The event will take place at the university campus nearby the Celestins spring, the banks of the Allier river (where it is possible to swim) and the city center. June is a very nice time to be in Vichy, there are lots of animations, including on June 21 a very lively musical day celebrating summertime. https://www.vichy-destinations.fr/la-destination/ Looking forward to seeing you in Vichy in June 2018 Jean-Yves Beziau (University of Brazil, Rio de Janeiro and Ecole Normale Supérieure, Paris) Christophe Rey (University Clermont Auvergne, CNRS, LIMOS) Organizers of UNILOG'2018 ------------------------------------------------------------------------------- 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 http://www.uni-log.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Wed Sep 20 12:26:58 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Wed, 20 Sep 2017 12:26:58 +0200 Subject: [AAMAS18] - 1st Call for Tutorials Message-ID: <1038020571304314119230@Galvatron> *************************************************** Call for Tutorials AAMAS 2018: July 10-15, 2018 in Stockholm *************************************************** http://aamas18.ifaamas.org The AAMAS 2018 Organizing Committee invites proposals for the Tutorial Program to be held on July 10th 2018, immediately before the technical conference. This year, AAMAS will overlap with ICML and IJCAI, making it a unique opportunity for researchers that do not normally attend AAMAS to present and attend tutorials at the conference. AAMAS tutorials will be collocated with ICML tutorials. AAMAS 2018 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry. * Present a novel synthesis combining distinct lines of AAMAS work. * Introduce AAMAS audiences to an external topic that can motivate or use AAMAS research. Topic areas of interest include all of those listed in the call for the technical track (see http://celweb.vuse.vanderbilt.edu/aamas18/), including the special tracks. Tutorials will be half day long. A few full day tutorials may be accepted, but the proponents need to motivate their request when submitting their proposal. SUBMISSION REQUIREMENTS Those interested in presenting a tutorial should register their proposal via an online form (see the submission instructions). Proposals should be two to four pages in length and should contain the following information: 1. A short title of the tutorial. 2. A brief description of the tutorial, suitable for inclusion in the conference registration brochure. 3. A detailed outline of the tutorial, including preferred length (half or full day). 4. Characterization of the potential target audience for the tutorial, including prerequisite knowledge. 5. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. 6. A brief resume of the presenter(s), which should include name, postal address, phone (and fax) numbers, email address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills as applicable), and evidence of scholarship in the area. 7. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Advertising the availability of the tutorial material to the AAMAS 2017 participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by June 11, 2018. * Providing a web site for the tutorial, which will include title and abstract of the tutorial, presenters' details, outline, tutorial notes and related reading material. The Tutorial co-chairs will ask the Tutorial organizers to follow some common format and style for their web sites, in order to make them as homogeneous as possible. More details will be provided upon acceptance. * Presenting the tutorial at AAMAS 2017. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 15, 2017: Tutorial Proposal Submission Deadline January 10, 2017: Tutorial Acceptance Notifications March 5, 2018: Deadline for making the tutorial site available on the web (without notes) June 11, 2018: Deadline for submitting tutorial notes and making them available on the web July 10, 2018: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Those interested in presenting a tutorial should send the proposal file, either in ASCII or PDF, to both the AAMAS 2018 Tutorial Co-chairs, Chris Amato and Bo An, by email. Inquiries should be sent by email to the Tutorial Co-chairs: Chris Amato Northeastern University camato at ccs.neu.edu Bo An Nanyang Technological University boan at ntu.edu.sg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Thu Sep 21 18:22:32 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Thu, 21 Sep 2017 18:22:32 +0200 Subject: CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2018 Message-ID: CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2018 ------------------------------------------------------------- CALL FOR PAPERS Special Session on Natural Language Processing in Artificial Intelligence - NLPinAI 2018 16-18 January, 2018 - Funchal, Madeira, Portugal http://www.icaart.org/NLPinAI.aspx Within the 10th International Conference on Agents and Artificial Intelligence - ICAART 2018 ------------------------------------------------------------- SCOPE: Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, advanced applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS: We invite contributions relevant to the following topics, without limiting to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES: Paper Submission: November 7, 2017 Authors Notification: November 21, 2017 Camera Ready and Registration: November 29, 2017 PAPER SUBMISSION: Authors can submit their work in the form of a Regular Paper, representing completed and validated research, or as a Position Paper, for preliminary work in progress. Regular Papers - Submission: It is recommended that Regular Papers are submitted for review with around 8 to 10 pages - Acceptance: After a double-blind peer review, qualifying Regular Papers may be accepted as either Full Papers or Short Papers - Publication: Regular Papers classified as Full Papers will be assigned a 12-page limit in the Conference Proceedings, while Regular Papers classified as Short Papers have an 8-page limit Position Papers - Submission: Position Papers should be submitted for review with around 6 or 7 pages - Acceptance: After a double-blind peer review, qualifying Position Papers will be accepted as Short Papers - Publication: Position Papers will be assigned a 8-page limit in the Conference Proceedings Instructions for preparing the manuscript (in Word and Latex formats) are available at the page with paper Templates: http://www.icaart.org/Templates.aspx Please also check the Guidelines: http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the appropriated button Submit Paper on the pages of NLPinAI 2018. The Conference Proceedings will be published under an ISBN number by SCITEPRESS and include final versions of all accepted papers, adjusted to satisfy reviewers’ recommendations. They will be obtainable on paper and CD-Rom support, and made available for online consultation at the SCITEPRESS Digital Library. Online publication is exclusive to papers which have been both published and presented at the event. Indexation: The proceedings will be submitted to Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus for indexation. ------------------------------------------------------------- CHAIRS: Roussanka Loukanova Stockholm University, Sweden Aarne Ranta University of Gothenburg Sweden CONTACT: Roussanka Loukanova (rloukanova at gmail.com) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Thu Sep 21 18:39:18 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 21 Sep 2017 16:39:18 +0000 Subject: Translating and the Computer 39 Conference, London, 16-17 November 2017 Message-ID: <034C0B87CC091D46B6CF0FD17E97B383020E31A332@EXCHMBX10X03.unv.wlv.ac.uk> [Apologies for cross-posting] Translating and the Computer 39 Conference, London, 16-17 November 2017 Join us for one of the world's longest-running events bringing together academics, developers, translators and interpreters, and organisations and businesses working in all aspects of Translation (and now also Interpreting) Technology. Earlybird registration extended to 6 October 2017. To register and view further details go to https://www.asling.org/tc39/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Sep 22 20:17:20 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 22 Sep 2017 20:17:20 +0200 Subject: LATA 2018: 1st call for papers Message-ID: <545102060a010b070150580304025a575a070d030207535257020d095055500755560700075b080b5304500a0e0a56@grlmc_ip-zone_com-6> LATA 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2018   Ramat Gan, Israel   April 8-12, 2018   Organized by:             Department of Computer Science Bar-Ilan University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2018/ ************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2018 will take place in Ramat Gan, in the district of Tel Aviv and home to one of the world's major diamond exchanges. The venue will be the Faculty of Exact Sciences of Bar-Ilan University.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2018 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Christel Baier (Technical University of Dresden, DE) Pablo Barceló (University of Chile, CL) Francine Blanchet-Sadri (University of North Carolina, Greensboro, US) Alexander Clark (King's College London, UK) Frank Drewes (Umeå University, SE) Manfred Droste (University of Leipzig, DE) Dora Giammarresi (University of Rome Tor Vergata, IT) Erich Grädel (RWTH Aachen University, DE) Peter Habermehl (Paris Diderot University, FR) Jeffrey Heinz (Stony Brook University, US) Pedro Rangel Henriques (University of Minho, PT) Christian Höner zu Siederdissen (University of Leipzig, DE) Hendrik Jan Hoogeboom (Leiden University, NL) David Janin (University of Bordeaux, FR) Marcin Jurdziński (University of Warwick, UK) Makoto Kanazawa (National Institute of Informatics, JP) Jarkko Kari (University of Turku, FI) Shmuel Tomi Klein (Bar-Ilan University, IL) Salvatore La Torre (University of Salerno, IT) Salvador Lucas (Polytechnic University of Valencia, ES) Stuart W. Margolis (Bar-Ilan University, IL) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Fernando Orejas (Polytechnic University of Catalonia, ES) Paritosh K. Pandya (Tata Institute of Fundamental Research, IN) Gennaro Parlato (University of Southampton, UK) Dominique Perrin (University Paris-Est Marne-la-Vallée, FR) Detlef Plump (University of York, UK) Matteo Pradella (Polytechnic University of Milan, IT) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) William F. Smyth (McMaster University, CA) Jiri Srba (Aalborg University, DK) Benjamin Steinberg (City College of New York, US) Frank Stephan (National University of Singapore, SG) K.G. Subramanian (University Sains Malaysia, MY) Klaus Sutner (Carnegie Mellon University, US) Margus Veanes (Microsoft Research, US) Éric Villemonte de la Clergerie (INRIA, FR) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural State University, RU)   ORGANIZING COMMITTEE:   Shmuel Tomi Klein (Ramat Gan, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Dana Shapira (Ariel) David Silva (London)   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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal 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://grammars.grlmc.com/LATA2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 17, 2017 Notification of paper acceptance or rejection: December 24, 2017 Final version of the paper for the LNCS proceedings: January 4, 2018 Early registration: January 4, 2018 Late registration: March 25, 2018 Submission to the journal special issue: July 12, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   LATA 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   אוניברסיטת בר-אילן Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Mon Sep 25 14:10:25 2017 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Mon, 25 Sep 2017 14:10:25 +0200 Subject: Call for bids to host EASSS 2018 Message-ID: <564459F2-2F63-4421-BE4B-C51257B26821@in.tu-clausthal.de> ****************************************************** Call for bids to Host the 20th European Agent Systems Summer School (EASSS 2018) ****************************************************** ************************ ABOUT EASSS ************************ 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). The summer schools 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 are aimed at advanced Masters students, PhD students, and other early stage researchers, and will be taught by leading researchers in the field. EASSS is organized under the auspices of EURAMAS, the European Association for Multi-Agent Systems (http://www.euramas.org/). ************************ CALL FOR BIDS ************************ This is a call for bids to host the 20th European Agent Systems Summer School (EASSS) in 2018. We will consider bids from all geographical regions within Europe. Bids should be made by individuals or small groups, with the backing of a host institution (typically a university or research centre). Please note that we seek bids from volunteers from the scientific community, though they may be supported by paid meeting professionals. All correspondence regarding bids should be directed to the EURAMAS board member responsible for the EASSS summer schools, Nils Bulling (bulling at in.tu-clausthal.de). The deadline for submitting bids is the *22nd of October 2017*. ************************ INFORMATION TO PROVIDE ************************ A typical edition of the summer school is one week long and is usually held between July and September (exceptions possible). Previous editions of the school attracted between 30-60 students. The program consists of 10-15 tutorials (a scientific committee will be formed to decide on the scientific program). Lunch and coffee breaks should be provided by the local organizers. The aim is to keep registration, travel and accommodation costs low. A social event is usually also part of the summer school. Please provide a concise PDF document addressing the above points, in particular please answer the following questions: - Why would you/your group be a good host for the summer school? - Will your host institution support the school, e.g. by providing free/cheap lecture rooms? - What are the benefits of the location (costs, reachability, attractiveness for students, social event,...)? (Note: We try to keep the registration costs low, therefore please provide information about expected (registration) costs and availability of cheap accommodation and travel costs) - What would be possible dates for the summer schools? - How do you plan to advertise the summer school? - ... ************************ CONTACT AND FURTHER INFORMATION ************************ For further information please contact the EURAMAS board member responsible for the EASSS summer schools, Nils Bulling (bulling at in.tu-clausthal.de). — Priv.-Doz. Dr. rer. nat. habil. Nils Bulling Computational Intelligence Group Clausthal University of Technology Germany http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Tue Sep 26 03:25:57 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 26 Sep 2017 03:25:57 +0200 Subject: TPNC 2017: call for posters Message-ID: <545102060a010b070254590306015a5251510359050102000a01580852065559540554030308550655050556060459@grlmc_ip-zone_com-6> TPNC 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017) invites researchers to submit poster presentations. TPNC 2017 will be held in Prague on December 18-20, 2017. See  http://grammars.grlmc.com/TPNC2017/ 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 computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 11, 2017 Notification of poster acceptance or rejection: November 18, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2017 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 proceedings volume of TPNC 2017. However, they will be eligible for submission to the post-conference journal special issue in BioSystems (Elsevier, 2015 JCR impact factor: 1.495). REGISTRATION At least one author of each accepted poster must register to the conference by December 4, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). 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 geoff at cs.miami.edu Tue Sep 26 22:19:08 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 26 Sep 2017 16:19:08 -0400 (EDT) Subject: Commonsense-2017 - Call for Participation Message-ID: <20170926201908.A3DE21700CBD@cs.miami.edu> Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017): Call for Participation You are invited to participate in Commonsense-2017, to be held at the University College London, November 6-8, 2017. The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing computers with common sense. Commonsense knowledge and reasoning are relevant for many applications of current interest, such as robot and human collaboration, transparent machine-learning systems that can explain their conclusions, social media and story understanding software, and dialogue systems. Dates November 6-8, 2017. Location Commonsense-2017 will take place on the campus of University College London: Haldane Room Wilkins Building, Gower Street, London WC1E 6BT Map: https://www.ucl.ac.uk/maps/haldane-room Registration Registration costs for this symposium are 25.00, and must be made via the UCL online store: https://www.ucl.ac.uk/infostudies/commonsense-2017/registration/ Local accommodation Numerous hotels are within walking distance of UCL. Please see the following suggestions, and contact hotels directly for booking: https://www.ucl.ac.uk/infostudies/commonsense-2017/hotels/ Invited speakers: Sebastian Riedel, University College London Murray Shanahan, Imperial College London Conference Chairs Andrew S. Gordon, University of Southern California Rob Miller, University College London Gyorgy Turan, University of Illinois at Chicago and University of Szeged Program Committee Eyal Amir, University of Illinois at Urbana-Champaign Chitta Baral, Arizona State University Vaishak Belle, University of Edinburgh Brandon Bennett, University of Leeds Gbor Berend, University of Szeged Nicola Bicocchi, Unversity of New Brunswick Antonis Bikakis, University College London Bert Bredeweg, University of Amsterdam Erik Cambria, Nanyang Technological University Cungen Cao, Chinese Academy of Sciences Nathanael Chambers, United States Naval Academy William Cohen, Carnegie Mellon University Tony Cohn, University of Leeds Ernest Davis, New York University Gerard de Melo, Rutgers University Valeria De Paiva, University of Birmingham Luke Dickens, University College London Esra Erdem, Sabanci University Nina Gierasimczuk, Technical University of Denmark Jonathan Gordon, USC Information Sciences Institute Catherine Havasi, Luminoso Technologies Jose Hernandez-Orallo, Universitat Politecnica de Valencia Jeff Horty, University of Maryland Daniela Inclezan, Miami University Naoya Inoue, Tohoku University Benjamin Johnston, University of Technology Sydney Antonis Kakas, University of Cyprus Gerhard Lakemeyer, RWTH Aachen University Henry Lieberman, Massachusetts Institute of Technology Vladimir Lifschitz, University of Texas Fangzhen Lin, Hong Kong University of Science and Technology Quan Liu, University of Science and Technology of China Loizos Michael, Open University of Cyprus Niloofar Montazeri, University of California Riverside Leora Morgenstern, Leidos Charlie Ortiz, Nuance Communications Sebastian Pado, Stuttgart University Theodore Patkos, Institute of Computer Science, FORTH Pavlos Peppas, University of Patras Dimitris Plexousakis, Institute of Computer Science, FORTH Alan Ritter, Ohio State University Chiaki Sakama, Wakayama University Steven Schockaert, Cardiff University Bob Sloan, University of Illinois at Chicago Mark Steedman, University of Edinburgh Michael Thielscher, University of New South Wales Richmond Thomason, University of Michigan Lucy Vanderwende, Microsoft Research Laure Vieu, Institut de Recherche en Informatique de Toulouse Stefan Woltran, Technische Universitt Wien Website: http://commonsensereasoning.org From francesco.nocera at poliba.it Fri Sep 29 10:19:01 2017 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Fri, 29 Sep 2017 08:19:01 +0000 Subject: [CfP] DEADLINE EXTENSION: Software Architectures for the Web of Things ( SAWoT) Special Issue - Submissions now due November 30 Message-ID: IET Software Special Issue: Software Architectures for the Web of Things ( SAWoT) ** Call for paper ** http://digital-library.theiet.org/files/IET_SEN_CFP_SAWoT.pdf/ Engineering of the Web of Things is a cross-disciplinary research area that interests both engineers of the World Wide Web and researchers of the Internet of Things and Web of Things. Web technologies (e.g., HTML, JavaScript, Ajax, PHP, Ruby) can be used to build applications involving smart things, on the other hand well-known web mechanisms are available to interact with and share these devices. This calls for architectural styles and patterns that allow realworld objects to be part of the World Wide Web. The aim of this Special Issue is to bring together researchers, engineers and practitioners interested in architecting the Web of Things; of particular interest are contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as experiments of concrete applications, are sought. Topics of interest: - Software architectural styles and patterns for connecting objects to the World Wide Web - Engineering smart objects on the web - Semantic web and Linked open data - Web of Thing and Internet of Everything - Challenges for Big Data and Internet of Things applications - Architectures and frameworks for connection of smart devices - Survey and comparative studies - Other topics relevant to Web of Things All papers must be submitted through the journal's Manuscript Central system: http://mc.manuscriptcentral.com/iet-sen Expanded conference papers must include at least 30% new scientific material. Publication Schedule: Submission Deadline: 30 November 2017 Publication Date: June 2018 Guest Editors: o Marina Mongiello, Politecnico di Bari, Italy o Tommaso Di Noia, Politecnico di Bari, Italy o Francesco Nocera, Politecnico di Bari, Italy o Eugenio Di Sciascio, Politecnico di Bari, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jpg at ruc.dk Fri Sep 29 12:20:51 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 29 Sep 2017 10:20:51 +0000 Subject: SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Reply-To: <3F106652-7FD9-4C9C-AD2B-09885310E234@ruc.dk> References: <3F106652-7FD9-4C9C-AD2B-09885310E234@ruc.dk> Message-ID: <677AA98E-B08E-44B8-975D-76C7D1F42877@ruc.dk> SECOND Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. 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. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 13 November 2017 (any time zone): Abstract Submission 20 November 2017 (any time zone): Submission deadline 15 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Talks To be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 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 (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 (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 (co-chair) John Gallagher Roskilde University and IMDEA Software Institute (co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair)