From manolis.stamatogiannakis at vu.nl Sat Dec 2 00:36:26 2017 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Sat, 2 Dec 2017 00:36:26 +0100 Subject: DIMVA 2018: Call for Papers In-Reply-To: <5A21D5F7.9060700@vu.nl> References: <5A21D5F7.9060700@vu.nl> Message-ID: <5A21E77A.3070809@vu.nl> ============================================================= Call for Papers: DIMVA 2018 15th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment Paris-Saclay Campus, France -- 28-29 June 2018 ============================================================= WWW: http://dimva2018.org / http://bit.ly/dimva2018 Twitter: @DIMVAConf #DIMVA18 Important Dates ------------------------------------ * Submission deadline: 22 Feb 2018, 23:59:59 UTC * Notification: 12 Apr 2018 * Camera-ready version: 28 Apr 2018 * Conference: 28-29 Jun 2018 General Information ------------------------------------ The annual DIMVA conference serves as a premier forum for advancing the state of the art in the broader areas of intrusion detection, malware analysis, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. DIMVA is organized by the special interest group Security - Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). The conference proceedings will appear in Springer Lecture Notes in Computer Science (LNCS) series. DIMVA 2018 will be co-located with the ESSOS conference (25-26 June 2018). Types of Submissions Solicited ------------------------------------ DIMVA solicits submissions of high-quality, original scientific papers presenting novel research on malware analysis, intrusion detection, vulnerability assessment, and related systems security topics. Submissions of two types are invited: * FULL PAPERS, presenting novel and mature research results. Full papers are limited to 20 pages in LNCS format, including bibliography and appendices. * SHORT PAPERS, presenting original, still ongoing work that has not yet reached the maturity required for a full paper. Short papers are limited to 10 pages in LNCS format, including bibliography and appendices. Short papers will be included in the proceedings. The title of short papers should start with the words "Extended Abstract". Topics of Interest ------------------------------------ Indicative topics of interest include (but are not limited to): Intrusions: * Novel approaches and domains * Insider detection * Prevention and response * Data leakage and exfiltration * Result correlation and cooperation * Evasion and other attacks * Potentials and limitations * Operational experiences * Privacy, legal, and social aspects * Targeted attacks Malware: * Automated analyses * Behavioral models * Prevention and containment * Classification * Lineage * Forensics and recovery * Underground economy Vulnerabilities: * Vulnerability detection * Vulnerability prevention * Vulnerability analysis * Exploitation prevention * Situational awareness * Active probing Organization ------------------------------------ General Chairs: * Sébastien Bardin, CEA * Gregory Blanc, Télécom SudParis Program Chair: * Cristiano Giuffrida, Vrije Universiteit Amsterdam Program Committee: * Magnus Almgren, Chalmers University of Technology * Elias Athanasopoulos, University of Cyprus * Leyla Bilge, Symantec Research Labs * Lorenzo Cavallaro, Royal Holloway, University of London * Lucas Davi, TU Darmstadt * Herve Debar, Telecom Sud Paris * Sven Dietrich, City University of New York * Brendan Dolan-Gavitt, NYU * Adam Doupé, Arizona State University * Manuel Egele, Boston University * Aurélien Francillon, Eurecom * Yanick Fratantonio, Eurecom * Flavio Garcia, University of Birmingham * Thorsten Holz, Ruhr-Universität Bochum * Alexandros Kapravelos, North Carolina State University * Vasileios Kemerlis, Brown University * Erik van der Kouwe, LIACS * Anil Kurmus, IBM Research * Pavel Laskov, Huawei * Corrado Leita, Lastline * Zhiqiang Lin, University of Texas at Dallas * Martina Lindorfer, UCSB * Federico Maggi, Trend Micro * Clémentine Maurice, IRISA * Michael Meier, University of Bonn and Fraunhofer FKIE * Matthias Neugschwandtner, IBM Research * Nick Nikiforakis, Stony Brook University * Roberto Perdisci, University of Georgia and Georgia Tech * Jason Polakis, University of Illinois at Chicago * Georgios Portokalidis, Stevens Institute of Technology * Sanjay Rawat, Vrije Universiteit Amsterdam * Konrad Rieck, University of Göttingen * Christian Rossow, Saarland University * Yan Shoshitaishvili, ASU * Asia Slowinska, IBM * Gianluca Stringhini, University College London Sponsor Chair: * Hervé Debar, Télécom SudParis, France Publicity Chair: * Manolis Stamatogiannakis, Vrije Universiteit Amsterdam Steering Committee Chairs: * Ulrich Flegel, Infineon Technologies, Germany * Michael Meier, University of Bonn and Fraunhofer FKIE, Germany Steering Committee: * Bernhard Haemmerli, Acris GmbH & HSLU Lucerne, Switzerland * Christian Kreibich, ICSI, USA * Christopher Kruegel, UC Santa Barbara, USA * Danilo M. Bruschi, Universita degli Studi di Milano, Italy * Federico Maggi, Trend Micro, Italy * Herbert Bos, Vrije Universiteit Amsterdam, The Netherlands * Herve Debar, Telecom SudParis, France * Klaus Julisch, Deloitte, Switzerland * Konrad Rieck, TU Braunschweig, Germany * Lorenzo Cavallaro, Royal Holloway, University of London, UK * Magnus Almgren, Chalmers University of Technology, Sweden * Marko Jahnke, Federal Police, Germany * Pavel Laskov, Huawei European Research Center, Germany * Robin Sommer, ICSI/LBNL, USA * Roland Bueschkes, RWE AG, Germany * Sven Dietrich, City University of New York, USA * Thorsten Holz, Ruhr-University Bochum, Germany * Michalis Polychronakis, Stony Brook University, USA Sponsorship Opportunities ------------------------------------ We solicit interested organizations to serve as sponsors for DIMVA 2018. Please contact the sponsor chair (herve.debar _at_ telecom-sudparis.eu) for details regarding sponsorships. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Mon Dec 4 16:14:01 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 4 Dec 2017 16:14:01 +0100 Subject: [AAMAS 2018] - Final Call for Tutorials Message-ID: <94282616079201628813242@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 From jsabater at iiia.csic.es Mon Dec 4 16:16:49 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 4 Dec 2017 16:16:49 +0100 Subject: [Call for Proposals] Joint IJCAI/ECAI/AAMAS/ICML Workshops Message-ID: <94282616079201109831169@Galvatron> **************************************************** Joint IJCAI/ECAI/AAMAS/ICML Workshops **************************************************** A Federated Artificial Intelligence Meeting (FAIM) will be held in Stockholm from July 10-19, 2018, including the following major AI conferences: * IJCAI-ECAI (International Joint Conference on Artificial Intelligence -- also serving this year as ECAI, the European Conference on Artificial Intelligence) * ICML (International Conference on Machine Learning) * AAMAS (Autonomous Agents and Multi-Agent Systems) * ICCBR (International Conference on Case-Based Reasoning) * SoCS (Symposium on Combinatorial Search) Rather than holding separate workshops, IJCAI/ECAI, AAMAS, and ICML are organizing a joint workshop program on Saturday-Sunday, July 13-15, 2018. The objective of the joint FAIM workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of artificial intelligence, and in specific areas of research often associated with one or more of the federated conferences. The workshops will provide an informal setting where participants will have the opportunity to discuss technical topics in an atmosphere that fosters the active exchange of ideas. This year, due to the co-location of these major conferences, the workshops represent a unique opportunity to meet and discuss ideas with researchers from a broad spectrum of disciplines spanning artificial intelligence, machine learning, and autonomous agents. We are soliciting workshop proposals from all members of the AI community, whether or not associated with one of the federated conferences. Workshop proposals should explain and motivate the topic of the workshop, discuss a format that will foster discussion and exchange of ideas, and provide preliminary evidence of interest (e.g., a list of tentatively-confirmed attendees). Workshops will likely be half-day or one-day in duration, though we we are willing to consider exceptions due to demonstrated special circumstances. Due to the unique opportunity for a joint program, we will favor workshop proposals that have a broader audience, such as joint proposals from organizers of multiple events that have been previously held in conjunction with different conferences. Space constraints will make this year�s workshop program unusually competitive. In cases where synergies exist between multiple proposals, we anticipate the likelihood of merging such proposals into a single workshop slot. Of course, we also welcome proposals on topics that will attract interest only from a specific community. Dates ----- * Workshop proposals submissions: January 10, 2018 * Workshop proposal notifications: January 29, 2018 * Workshop program: July 13-15, 2018 Format ------ Proposals should clearly specify the following: * Workshop title and acronym if available * A brief description, emphasizing why this workshop would appeal to audiences from IJCAI-ECAI, AAMAS, and/or ICML * A draft call for papers, * A short description of the format of planned activities (talks, posters, panels, invited speakers if any, ...), * A list of organizers with * email addresses * web page URLs * pointers to Google Scholar or other similar citation service pages * a one-paragraph bio for each organizer, describing work experience, research expertise, and previous experience organizing scientific meetings. * The proposed duration (half day, one day, more---note need for special circumstances). * A description of the history of the workshop (if it previously took place then when/where) * Similar past and current events in the last 5 years * Intended audience. * Explanation of If this workshop is a merger of similar events from different conferences, or if you think it would be of interest to researchers in a given community, please let us know and explain. Submission Process ------------------ Workshop proposals must be submitted by the deadline noted above at the easychair web site: https://easychair.org/conferences/?conf=faim18ws For any details, please contact faim18ws at easychair.org From geoff at cs.miami.edu Mon Dec 4 16:09:54 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 4 Dec 2017 10:09:54 -0500 (EST) Subject: IJCAR 2018 - Call for Papers Message-ID: <20171204150954.8AB8517010BA@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 (http://ijcar2018.org/#assocev) 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. IJCAR'18 Special Issue of the Journal of Automated Reasoning: ------------------------------------------------------------- The authors of a selection of the best IJCAR'18 papers will be invited to produce an extended version of their paper for a special issue of the Journal of Automated Reasoning. 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, FaMA FUniversidad 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, University of 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 Viganò, 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 jsabater at iiia.csic.es Mon Dec 4 16:20:29 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 4 Dec 2017 16:20:29 +0100 Subject: [AAMAS 2018] Nominations for ----- ACM SIGAI Autonomous Agents Research Award 2018 ----- Message-ID: <94282616079203146327983@Galvatron> ******************************************************** ACM SIGAI Autonomous Agents Research Award 2018 ******************************************************** Nominations are solicited for the 2018 ACM SIGAI Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to recognize researchers in autonomous agents whose **current work** is an important influence on the field. The award is an official ACM award, funded by an endowment created by ACM SIGAI from the proceeds of previous Autonomous Agents conferences. The recipient of the award will receive a monetary prize and a certificate, and will be invited to present a plenary talk at the AAMAS 2018 conference in Stockholm, Sweden. Previous winners of the ACM SIGAI Autonomous Agents Research Award are: David Parkes (2017), Peter Stone (2016), Catherine Pelachaud (2015), Michael Wellman (2014), Jeff Rosenschein (2013), Moshe Tennenholtz (2012), Joe Halpern (2011), Jonathan Gratch and Stacy Marsella (2010), Manuela Veloso (2009), Yoav Shoham (2008), Sarit Kraus (2007), Michael Wooldridge (2006), Milind Tambe (2005), Makoto Yokoo (2004), Nicholas R. Jennings (2003), Katia Sycara (2002), and Tuomas Sandholm (2001). For more information on the award, see the Autonomous Agents Research Award page (http://sigai.acm.org/awards/autonomous_agents_award.html) How to nominate Anyone can make a nomination. Nominations should be made by email to the chair of the award committee, Jeff Rosenschein (jeff at cs.huji.ac.il), and should consist of a short (< 1 page) statement that emphasizes not only the research contributions that the individual has made that merit the award but also how the individual�s **current work** is an important influence on the field. NOTE: a candidate can only be considered for the award if they are explicitly nominated. If you believe that someone deserves the award, then NOMINATE THEM -- don't assume that somebody else will! Important dates �17 January 2018 -- Deadline for nominations �7 February 2018 -- Announcement of 2017 winner �10-15 July 2018 -- AAMAS-2018 conference in Stockholm From ijv at acm.org Tue Dec 5 21:59:13 2017 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 5 Dec 2017 21:59:13 +0100 Subject: Special issue of IJAR on Defeasible and Ampliative Reasoning Message-ID: * Please accept our apologies if you receive multiple copies of this call * Call for Papers: ====================================================================== Special Issue of the International Journal of Approximate Reasoning on "Defeasible and Ampliative Reasoning" ====================================================================== Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of decision making as done by humans. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages (poor expressiveness) or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity in order to be also considered as good candidates for eXplainable Artificial Intelligence (XAI). This special issue aims at bringing together work on defeasible and ampliative reasoning from the perspective of artificial intelligence, cognitive sciences, philosophy and related disciplines in a multi-disciplinary way, thereby consolidating the mission of the DARe workshop series. -- Topics of interest -- Submissions are welcome on topics relevant to defeasible and ampliative reasoning and that include but are not limited to: - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- How to submit -- The submission url is: http://www.evise.com/evise/jrnl/IJA When submitting your manuscript, please select “VSI:DARe special issue” as the article type. Check the “Help” link on the above url for instructions. If you have any enquiries, please feel free to contact us at dare.to.contact.us at gmail.com -- Important Dates -- - Submission deadline: 15 February 2018 - Notification: 1 November 2018 - Publication date: 1 January 2019 -- Guest editors -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Szymon Klarman, Semantic Integration Ltd., UK - Gilles Richard, Université Paul Sabatier, France - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From sdm.publicity at gmail.com Thu Dec 7 04:17:42 2017 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Wed, 6 Dec 2017 22:17:42 -0500 Subject: Call for nominations: SDM/IBM Early Career Data Mining Researcher Award Message-ID: SDM/IBM EARLY CAREER DATA MINING RESEARCHER AWARD About the Award: The SDM/IBM Early Career Data Mining Researcher Award for Excellence in Data Analytics seeks to recognize one individual (no runner up/ honorable mention) who has made outstanding, influential, and lasting contributions in the field of data analysis and who will be within 10 years of having received their PhD degree as of the calendar year prior to the year of the award. For example, an award winner in 2018 should have received their PhD no earlier than 2007 from their alma mater. Nominations: A candidate may be nominated by any member of the community. An individual may nominate at most one candidate for this award. Nominations must be submitted to the Award Selection Committee Chair by email with “SDM/IBM Research Award” as the subject. A nomination application (a single PDF file) should contain the following: 1 Name/email of nominator (self-nominations are not permitted). 2 Name/email of candidate being nominated. 3 A statement by the nominator (maximum of 500 words) as to why the nominee is highly deserving of the award. Note that since the award is for outstanding contributions, the statement and supporting letters should address what the contributions are and why they are both outstanding and significant. The nomination should also list the names and email addresses of up to 3 persons who will provide letters supporting the nomination. 4 CV of the nominee (the CV must clearly indicate date of degree received) 5 Up to three support letters from persons other than the nominator – these should be collected by the nominator and included in the nomination. Important Dates: • Nomination Deadline: January 15, 2018 • Results Notification: March 1, 2018 Award Chair: The award selection committee will be chaired by Zoran Obradovic, Temple University (Chair): zoran.obradovic at temple.edu Note that members of the selection committee cannot be nominators or provide support letters. Also note that the intent is to select exactly one awardee – re-nominations for subsequent years are permissible as long as the individuals continue to maintain eligibility. The committee at its discretion may elect not to make an award in a particular year. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Dec 8 04:40:21 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 08 Dec 2017 04:40:21 +0100 Subject: TPNC 2017: call for participation Message-ID: <545102060a010b07095556060e005a5d070754030b530e0355060904575250585c0404030b5b030254045901505657@grlmc_ip-zone_com-6> TPNC 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************************** 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2017 Prague, Czech Republic December 18-20, 2017 Organized by: Institute of Computer Science Czech Academy of Sciences Faculty of Mathematics and Physics Charles University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2017/ *************************************************************************** PROGRAM Monday, December 18 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Enrique Alba. Natural Computing for Smart Cities - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Hanadi Alkhudhayr and Jason Steggles. A Formal Framework for Composing Qualitative Models of Biological Systems Witold Bolt, Aleksander Bolt, Barbara Wolnik, Jan M. Baetens and Bernard De Baets. A Statistical Approach to the Identification of Diploid Cellular Automata Julia Pulwicki and Christophe Godin. Modeling Curvature Effects Using L-Systems: From Discrete and Deterministic to Continuous and Stochastic 12:15 - 13:45    Lunch 13:45 - 15:00 David Fagan and Michael O'Neill. Exploring Target Change Related Fitness Reduction in the Moving Point Dynamic Environment Agostino Forestiero. A Smart Discovery Service in Internet of Things Using Swarm Intelligence Krzysztof Jurczuk, Marcin Czajkowski and Marek Kretowski. GPU-accelerated Evolutionary Induction of Regression Trees 15:00 - 15:15    Break 15:15 - 16:30 Tibor Kmet and Maria Kmetova. Bezier Curve Parameterization Methods for Solving Optimal Control Problems of SIR Model Petr Hajek and Ondrej Prochazka. Learning Interval-valued Fuzzy Cognitive Maps with PSO Algorithm for Abnormal Stock Return Prediction Alicja Mieszkowicz-Rolka and Leszek Rolka. Fuzzy Linguistic Labels in Multi-expert Decision Making --- Tuesday, December 19 09:00 - 09:50    Carlos A. Coello Coello. Recent Results and Open Problems in Evolutionary Multiobjective Optimization - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Katarzyna Poczeta, Lukasz Kubus and Alexander Yastrebov. An Evolutionary Algorithm Based on Graph Theory Metrics for Fuzzy Cognitive Maps Learning Zbigniew Suraj and Piotr Grochowalski. Fuzzy Petri Nets with Linear Orders for Intervals Henning Bordihn, Victor Mitrana, Andrei Paun and Mihaela Paun. Networks of Polarized Splicing Processors 11:35 - 11:50    Break and Group photo 11:50 - 13:05 Samuel J. Ellis, Titus H. Klinge and James I. Lathrop. Robust Combinatorial Circuits in Chemical Reaction Networks Manasi S. Kulkarni, Kalpana Mahalingam and Ananda Chandra Nayak. Watson-Crick Partial Words Michela Quadrini, Rosario Culmone and Emanuela Merelli. Topological Classification of RNA Structures via Intersection Graph 13:05 -    14:35    Lunch 14:35 - 15:25 Roberto De Prisco, Delfina Malandrino, Gianluca Zaccagnino, Rocco Zaccagnino and Rosalba Zizza. Splicing-inspired Recognition and Composition of Musical Collectives Styles Prasenjit Dey, Abhijit Ghosh and Tandra Pal. Regularized Stacked Auto-encoder Based Pre-training for Generalization of Multi-layer Perceptron 15:25 - 16:25    Poster presentations Athanassios Alexiou, Stephan Preiwisch, Joachim Schenk and Gerhard Rigoll. Gas-tracking Proof of Concept through Synthetic Gas-signal Generation and Successive Signal Separation Kaoru Fujioka. Swarm Automata: Swarm-based Computing Model Maja Gwozdz. Neural Networks in the Disambiguation of Polysemous Strings Alicja Mieszkowicz-Rolka and Leszek Rolka. Labeled Fuzzy Rough Sets in Analysis of Pilot's Control Actions Maria C. Negru. Solving the Queens Problem Using Networks of Polarized Splicing Processors Michela Quadrini. RNA Comparison via a Continuous Distance Measure 16:30 - 18:30    Touristic visit --- Wednesday, December 20 09:00 - 09:50    Thomas Stützle. Automatic Generation of Swarm Intelligence Algorithms - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Lukas Pastorek and Michael O'Neill. Historical Markings in Neuroevolution of Augmenting Topologies Revisited Pak-Kan Wong, Man-Leung Wong and Kwong-Sak Leung. Long-short Term Memory Network for RNA Structure Profiling Super-resolution Alessandra Di Pierro, Riccardo Mengoni, Rajagopal Nagarajan and David Windridge. Hamming Distance Kernelisation via Topological Quantum Computation 11:35 - 11:50    Break 11:50 - 13:05 Alejandro Díaz-Caro and Gilles Dowek. Typing Quantum Superpositions and Measurement Raymond Laflamme, Tal Mor, Nayeli A. Rodríguez-Briones and Yossi Weinstein. Heat-bath Algorithmic Cooling with Correlated-qubits Relaxation Shenggen Zheng, Daowen Qiu and Jozef Gruska. Time-space Complexity Advantages for Quantum Computing 13:05 - 13:15    Closing 13:15 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Fri Dec 8 08:29:53 2017 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Fri, 08 Dec 2017 00:29:53 -0700 Subject: CFP: International Conference on Logic Programming 2018 Message-ID: <2BED3E73-F764-4732-9EBE-C3B4A61CE606@cs.nmsu.edu> APOLOGIES if you receive multiple copies of this message 34th International Conference on Logic Programming (ICLP 2018) Call for Papers ===================== July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018. Scope: ------ ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on: * Foundations: semantics, execution algorithms, formal models * Implementation: virtual machines, compilation, memory management,   parallel execution, foreign interfaces * Language Design: inference engines, type systems, concurrency and   distribution, modules, metaprogramming, relations to object-oriented   and functional programming, logic-based domain-specific languages * Software-Development Techniques: declarative algorithms and data   structures, design patterns, debugging, testing, profiling, execution   visualization * Transformation and Analysis:  assertions, type and mode inference,   partial evaluation, abstract interpretation, program transformations * Applications and Synergies:  interaction with SAT, SMT and CSP solvers,   logic programming techniques for type inference and theorem proving,   Horn-clause analysis, knowledge representation, cognitive computing,   artificial intelligence, natural language processing, information   retrieval, web programming, education, computational life sciences,   computational mathematics. Submission Details: ------------------- Submissions of regular papers must be made in the condensed TPLP format via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can   advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability,   and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates: ---------------- Abstract registration February 5, 2018 Paper submission February 12, 2018 Notification March 20, 2018 Revision submission (TPLP papers) April 5, 2018 Final notifications (TPLP papers) April 15, 2018 Camera-ready copy May 1, 2018 Conference July 14 / July 17, 2018 General Chair: Marco Gavanelli Program Chairs:    Alessandro Dal Palù    University of Parma    Paul Tarau             University of North Texas Program Committee: Mario Alviano             University of Calabria Hassan Ait-Kaci   Marcello Balduccini       St. John's University Mutsunori Banbara         Kobe University Pedro Cabalar             University of Corunna Mats Carlsson             SICS Manuel Carro              UPM and IMDEA Software Institute Michael Codish            Ben-Gurion University of the Negev Marina De Vos             University of Bath Thomas Eiter              TU Wien Esra Erdem                Sabanci University Thom Fruehwirth           University of Ulm Marco Gavanelli           University of Ferrara Martin Gebser             University of Potsdam Gopal Gupta               University of Texas at Dallas Michael Hanus             CAU Kiel Amelia Harrison           University of Texas at Austin Manuel Hermenegildo       UPM Tomi Janhunen             Aalto University Angelica Kimmig           Cardiff University Ekaterina Komendantskaya  Heriot-Watt University Nicola Leone              University of Calabria Michael Leuschel          University of Dusseldorf Yuliya Lierler            University of Nebraska at Omaha Vladimir Lifschitz        University of Texas at Austin Barry O'Sullivan          University College Cork David Pearce              Technical University of Madrid (UPM) Enrico Pontelli           New Mexico State University Ricardo Rocha             University of Porto Chiaki Sakama             Wakayama University Vitor Santos Costa        University of Porto Tom Schrijvers            KU Leuven Tran Cao Son              New Mexico State University Theresa Swift             Universidade Nova de Lisboa Peter Szeredi             Budapest University of Technology and Economics Mirek Truszczynski        University of Kentucky German Vidal              Universitat Politècnica de València Jan Wielemaker            VU University of Amsterdam Stefan Woltran            TU Wien Roland Yap                National University of Singapore Jia-Huai You              University of Alberta Neng-Fa Zhou              CUNY Brooklyn College and Graduate Center -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dario.dellamonica at unina.it Sun Dec 10 13:44:01 2017 From: dario.dellamonica at unina.it (Dario Della Monica) Date: Sun, 10 Dec 2017 13:44:01 +0100 Subject: =?UTF-8?Q?Logic_Col=c2=adlo=c2=adquium_2018_=28LC18=29:_1st_call_fo?= =?UTF-8?Q?r_contributions?= Message-ID: <5a4e2da6-5ac1-645d-c19b-920fd7bf1578@unina.it> We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm). It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016) and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for travel grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== K. Tent (WWU Münster) U. Sattler (University of Manchester) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-Universität München) A. Atserias (Universitat Politècnica de Catalunya) V. Brattka (Universität der Bundeswehr München) A. Ciabattoni (TU Wien) P. D’Aquino (Università degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (Università degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems:     Chairs:     B. Miller (Universität Wien),                 A. Törnquist (København Universitet) * Model theory:     Chairs:     F. Wagner (Université Lyon I),                 E. Casanovas (Universitat de Barcelona) * Proof theory and constructivism:     Chairs:     S. Ghilardi (Università degli Studi di Milano),                 G. Sambin (Università degli Studi di Padova) * Temporal and multivalued logics:     Chairs:     M. Lange (Universität Kassel),                 B. Gerla (Università dell'Insubria) * Computability theory:     Chairs:     A. Sorbi (Università di Siena 1240),                 P. Shafer (University of Leeds) * Philosophy of Logic and Mathematics:     Chairs:     J. Kennedy (University of Helsinki),                 G. Sagi (University of Haifa) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (Università degli Studi di Udine) A. Montalban (UC Berkeley) P. Pudlàk (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics, University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions please contact lc18 at uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as pdf file via EasyChair at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using  the ASL abstract style (available at http://aslonline.org/abstractresources.html). For submission instructions see https://lc18.uniud.it starting from January 2018. The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Upon notification of acceptance, authors will be requested to submit the TeX source files. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic  only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT TRAVEL GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest travel awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student travel grants and recommendations should be received between January 1 and May 4, 2018. They should be submitted electronically, by email to LC18grant at uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Applicants will be notified in time to be able to register with the early registration fee. ______________________________________________ Event sponsored by ASL, NSF, SILFS and AILA. ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.linker at liverpool.ac.uk Tue Dec 12 13:04:48 2017 From: s.linker at liverpool.ac.uk (Sven Linker) Date: Tue, 12 Dec 2017 12:04:48 +0000 Subject: Call for Papers: SCAV 2018 - 2nd Workshop on Safe Control of Autonomous Vehicles Message-ID: [[ apologies if you receive multiple copies ]] SCAV 2018 2nd International Workshop on Safe Control of Autonomous Vehicles hosted by CPS Week 2018, April 10-13, 2018, Porto, PT # Important Dates (AoE) # Full paper deadline: 26 Jan 2018 Author notification: 28 Feb 2018 Camera-ready due: 20 Mar 2018 Workshop: 10 Apr 2018 Autonomous vehicles (AV) of any kind (e.g. road, maritime, aerial, unmanned) and in any configuration (e.g. individual, connected, cooperative, traffic) will provide novel services having to fulfill strong safety requirements. For controllers of AVs and for control schemes of AV collectives, we must (1) guarantee safety and resilience, (2) deliver verified system designs for (1), and (3) enhance verification approaches for (1) & (2). These objectives will play a decisive role in the adoption of AVs as a consumer, transport, and mobility technology. These objectives demand novel approaches to the analysis and assurance of local, distributed, and supervisory controllers. The goal of this workshop is to discuss and consolidate models, algorithms, and verification approaches for safety and resilience of the whole control loop of autonomous machines and machine collectives. The task of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g. control theory, adaptive systems, machine self-organization and autonomy, mobile intelligent robotics, transportation, traffic control, machine learning, software verification, and dependability and security engineering. For this interactive single-day workshop we plan a keynote, an optional poster session, and a final discussion. # Paper Categories # * technical research or methodology (max. 8 pages incl. bib.), * case studies (max. 8 pages incl. bib.), and * problem statements or tools (max. 2 pages incl. bib.) # Topics # We kindly request contributions to (but not limited to): ** formal verification and validation (e.g. testing, simulation, experimentation) of * safe high-performance requirements, * safe non-deterministic behaviors (weakest invariants), * safe off-line and on-line machine-learnable behaviors, * resilience against hazardous unintentional or malicious misuse (e.g. non-vigilance, security attacks), ** formal models and design methods for * controllers, * monitors, * platforms (i.e., architecture, SW, HW, network), ** verified efficient algorithms for * incremental and online synthesis of controllers, * optimal adaptive control, * self-adaptation and run-time reconfiguration for AVs and AV collectives in open environments. # Workshop Format # All submissions are expected to be original work not published, or in submission, elsewhere, and will be peer-reviewed by at least three members of the program committee for quality, relevance, and novelty. Accepted papers will be included in the electronic CPSWeek workshop proceedings. Please, check our workshop website for updates! # Workshop Organizers # Mario Gleirscher (U York, UK) Stefan Kugele (TU Munich, DE) Sven Linker (U Liverpool, UK) # Workshop Website # http://scav.in.tum.de # Contact # mario.gleirscher at york.ac.uk From xrambous at aurora.fi.muni.cz Tue Dec 12 13:23:02 2017 From: xrambous at aurora.fi.muni.cz (TSD 2018) Date: Tue, 12 Dec 2017 13:23:02 +0100 Subject: TSD 2018 - Preliminary Announcement and Call for Workshops Message-ID: ************************************************************ TSD 2018 - PRELIMINARY ANNOUNCEMENT and CALL for WORKSHOPS ************************************************************ Twenty-first International Conference on TEXT, SPEECH and DIALOGUE (TSD 2018) Brno, Czech Republic, 11-14 September 2018 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. CALL for SATELLITE WORKSHOP PROPOSALS The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. The organizing committee can arrange for a meeting room at the conference venue and prepare a workshop proceedings as a book with ISBN by a local publisher. The workshop papers that will pass also the standard TSD review process will appear in the Springer proceedings. Each workshop is a subject to proposal that should be sent to the contact e-mail tsd2018 at tsdconference.org ahead of the respective deadline. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. KEYNOTE SPEAKERS Kenneth Church, IBM Thomas J. Watson Research Center, USA PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Björn Gambäck, Norway Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, USA Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Pavel Král, Czech Republic Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Pavel Rychlý, Czechia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. CONFERENCE PROGRAM The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. IMPORTANT DATES March 15 2018 ............ Submission of abstracts March 22 2018 ............ Submission of full papers May 16 2018 .............. Notification of acceptance May 31 2018 .............. Final papers (camera ready) and registration August 8 2018 ............ Submission of demonstration abstracts August 15 2018 ........... Notification of acceptance for demonstrations sent to the authors September 11-14 2018 ..... Conference date The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2018 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2018 at tsdconference.org The official TSD 2018 homepage is: http://www.tsdconference.org/tsd2018 LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London and Munich, and by trains or buses from Prague (200 km) or Vienna (130 km). From riccardo.zese at unife.it Wed Dec 13 10:54:44 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Wed, 13 Dec 2017 10:54:44 +0100 Subject: [CfP] IJAR Special issue on Probabilistic Logic Programmin Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 4th Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2017). Deadline: March 7, 2018 ---------------------------------------------------------------------- The 4th PLP workshop was held on the 7th of September 2017, in Orlèans, France, as part of the 27th International Conference on Inductive Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Orlèans, as well as new submissions on all topics of the workshop. Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important Dates: -------------- Submission of manuscripts: before March 7, 2018 (Papers will be sent to reviewers as soon as we receive them). Publication of the special issue: January 2019 (tentative). Guest Editors: -------------- Christian Theil Have (Copenhagen University, Denmark, c.have at sund.ku.dk) Riccardo Zese (University of Ferrara, Italy, riccardo.zese at unife.it) Submissions: ------------ All submitted papers under this call will undergo the standard review process of the journal and they must be prepared according to the "Guide for Authors" available from the online submission page of the IJAR at https://www.evise.com/profile/api/navigate/IJA Please select the Special Issue Prob. Log. Prog. 2017 at the "Article Type" step in the submission process. -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 From grlmc at grlmc.com Thu Dec 14 03:53:13 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 14 Dec 2017 03:53:13 +0100 Subject: AlCoB 2018: 1st call for papers Message-ID: <545102060a010b07095f560200025a53060402510503525451525d020f06055551570056030d550108565505010352@grlmc_ip-zone_com-6> AlCoB 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2018   Hong Kong   June 25-27, 2018   Co-organized by:   The Hong Kong Polytechnic University Department of Computing   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2018/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in the world, one of the highest human development indexes, and the longest life expectancy. The venue will be:   M1603, Li Ka Shing Tower The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2018 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Josep Francesc Abril (University of Barcelona, ES) Kees Albers (Radboud University Medical Centre, NL) Emmanuel Barillot (Curie Institute, FR) Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) Rita Casadio (University of Bologna, IT) José C. Clemente (Icahn School of Medicine at Mount Sinai, US) Eytan Domany (Weizmann Institute of Science, IL) Liliana Florea (Johns Hopkins University, US) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina at Chapel Hill, US) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) John Hancock (ELIXIR Europe, UK) Robert Harrison (Georgia State University, US) Martijn Huynen (Radboud University Medical Centre, NL) Jesper Jansson (The Hong Kong Polytechnic University, HK) Pouya Kheradpour (Verily Life Sciences, US) Julien Lagarde (Centre for Genomic Regulation, ES) Gerton Lunter (University of Oxford, UK) Ruibang Luo (Johns Hopkins University, US) Bill Majoros (Duke University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Huaiyu Mi (University of Southern California, US) Ryan E. Mills (University of Michigan, US) Kenta Nakai (University of Tokyo, JP) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) Itsik Pe'er (Columbia University, US) Mihaela Pertea (Johns Hopkins University, US) Paolo Ribeca (The Pirbright Institute, UK) Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) Stephane Rombauts (Ghent University, BE) Russell Schwartz (Carnegie Mellon University, US) Xinghua Shi (University of North Carolina at Charlotte, US) Denis Shields (University College Dublin, IE) Ilya Shmulevich (Institute for Systems Biology, US) Thomas Sicheritz-Pontén (Technical University of Denmark, DK) Steven Skiena (Stony Brook University, US) Wing-Kin Sung (National University of Singapore, SG) Weili Wu (The University of Texas at Dallas, US) Wenzhong Xiao (Massachusetts General Hospital, US) Shibu Yooseph (University of Central Florida, US) Yaoqi Zhou (Griffith University, AU)   ORGANIZING COMMITTEE:   Jesper Jansson (Hong Kong, co-chair) Konstantinos Mampentzidis (Hong Kong) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra-Royón (Granada) Abdul Raheem (Hong Kong) David Silva (London) Sandhya T P (Hong Kong) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI 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/AlCoB2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: February 11, 2018 Notification of paper acceptance or rejection: March 18, 2018 Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 Early registration: March 28, 2018 Late registration: June 11, 2018 Submission to the journal special issue: September 27, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   AlCoB 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGEMENTS:   The Hong Kong Polytechnic University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Thu Dec 14 09:50:46 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Thu, 14 Dec 2017 09:50:46 +0100 Subject: [AAMAS18] Victor Lesser Distinguished Dissertation award - 2017 Message-ID: <39602639016802510330452@Galvatron> ******************************************************************* Victor Lesser Distinguished Dissertation award - 2017 ----- Call for nominations ----- ******************************************************************* Nominations are invited for the 2017 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2018 (http://celweb.vuse.vanderbilt.edu/aamas18/). Eligible doctoral dissertations are those defended between January 1, 2017 and December 31, 2017 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate and a 1500EUR payment. The selection of the dissertation will be based on the originality, significance, and impact of the work. Evidence of such impact include publications at highly selective conferences and journals in the field, with due importance given to the AAMAS conference series and JAAMAS. Research output that resulted primarily from the student's initiative will be considered more favorably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right to not award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents (the documents must be placed on a web page and only a link to this page e-mailed to Karl Tuyls, karltuyls at google.com, on or before February 26, 2018): 1. A PDF file of the dissertation. If the dissertation is not written in English, the nomination must include a substantial manuscript in English, with the nominee as the first author, published in a journal or a prestigious conference. 2. A list of citations to published papers based primarily on this dissertation with links to corresponding PDF files. 3. A recommendation from the dissertation supervisor, on departmental letterhead, nominating the dissertation for the IFAAMAS-17 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2017. 4. The names, email addresses, and affiliations of at most three referees, familiar with the research of the candidate and experts in the pertinent research area, who will directly email their recommendations for the candidate to the chair of the selection committee. It is the responsibility of the dissertation supervisor to contact the referees and ensure that the letters are submitted by the deadline. A reference letter should be no more than 500 words in length and should be on official letterhead, signed and emailed as scanned PDF file. NOTE: IT IS THE RESPONSIBILITY OF THE DISSERTATION SUPERVISOR TO CONTACT THE REFEREES AND ENSURE THAT LETTERS (max 500 words, signed, and on letterhead) ARE SUBMITTED BY THE DEADLINE. Though the nomination is to be submitted by the nominee's dissertation supervisor, it is required that the nominee has consented that the dissertation be considered for this award and, if selected for the award, commits to attend the AAMAS-2018 conference, where she/he will receive the award, and will give an hour-long presentation in a special session of the conference on the work contained in the dissertation. The cost of attending the conference is not covered by the award. From C.Orasan at wlv.ac.uk Fri Dec 15 16:17:42 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Fri, 15 Dec 2017 15:17:42 +0000 Subject: Two PhD studentships in Translation Technology Message-ID: <1513351062.6993.21.camel@wlv.ac.uk> [Apologies for cross-posting] 2 PhD studentships in Translation Technology Closing date 5th January 2018 The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton invites applications for TWO 3-year PhD studentships in the area of translation technology. These two PhD studentships are part of a larger university investment which includes other PhD students and members of staff with the aim to strengthen the existing research undertaken by members of the group in this area. These funded student bursaries consist of a stipend towards living expenses (£14,500 per year) and remission of fees. We invite applications in the area of translation technology defined in the broadest sense possible and ranging from advanced methods in machine translation to user studies which involves using of technology in the translation process. We welcome proposals focusing on Natural Language Processing techniques for translation memory systems and translation tools in general. Given the current research interests of the group and its focus on computational approaches, we would be interested in topics including but not limited to: - Enhancing retrieval and matching from translation memories with linguistic information - The use of deep learning (and in general, statistical) techniques in translation memories - (Machine) translation of user generated content - The use of machine translation in cross-lingual applications (with particular interest in sentiment analysis, automatic summarisation and question answering) - Phraseology and computational treatment of multi-word expressions in machine translation and translation memory systems - Quality estimation for translation professionals Other topics will be also considered as long as they align with the interests of the group. The appointed student is expected to work on a project that has a significant computational component. For this reason we expect that the successful candidate will have good background in computer science and programming. The application deadline is 5th January 2018 and Skype interviews with the shortlisted candidates will be organised shortly after the deadline. The starting date of the PhD positions is as soon as possible after the offer is made. A successful applicant must have: - A good honours degree or equivalent in Computational Linguistics, Computer Science, Translation studies or Linguistics - A strong programming and statistical / Mathematical background or closely related areas (if relevant to the proposed topic). - Experience in Computational Linguistics / Natural Language Processing, including statistical, Machine Learning and Deep Learning, applications to Natural Language Processing. - Experience with translation technology - Experience with programming languages such as Python, Java or R is a plus - An IELTS certificate with a score of 6.5 is required from candidates whose native language is not English. If a certificate is not available at the time of application, the successful candidate must be able to obtain it within one month from the offer being made. Candidates from both UK/EU and non-EU can apply. Applications must include: 1. A curriculum vitae indicating degrees obtained, courses covered, publications, relevant work experience and names of two referees that could be contacted if necessary 2. A research statement which outlines the topics of interest. More information about the expected structure of the research statement can be found at https://www.wlv.ac.uk/media/departments/star-office/documents/Guideline s-for-completion-of-Research-Statement.doc These documents will have to be sent by email before the deadline to Amanda Bloore (A.Bloore at wlv.ac.uk). Informal enquiries can be sent to Constantin Orasan (C.Orasan at wlv.ac.uk) The shortlisted applicants will be interviewed by phone/Skype shortly after the application deadline. Established by Prof Mitkov in 1998, the research group in Computational Linguistics delivers cutting-edge research in a number of NLP areas. The results from the latest Research Evaluation Framework confirm the research group in Computational Linguistics as one of the top performers in UK research with its research defined as ‘internationally leading, internationally excellent and internationally recognised’. The research group has recently completed successfully the coordination of the EXPERT project a successful EC Marie Curie Initial Training Network promoting research, development and use of data-driven technologies in machine translation and translation technology (http://expert-itn.eu) -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://dinel.org.uk University of Wolverhampton, UK From jiayuz at msu.edu Mon Dec 18 18:06:20 2017 From: jiayuz at msu.edu (Jiayu Zhou) Date: Mon, 18 Dec 2017 12:06:20 -0500 Subject: Call for Papers: 1st Int'l Workshop on Big Traffic Data Analytics (BigTraffic 2018) Message-ID: **apologies for cross-posting** *BigTraffic 2018: 1st Int'l Workshop on Big Traffic Data Analytics* Venue: San Diego Marriott Mission Valley San Diego, CA, United States, May 5, 2018 Conference website https://urldefense.proofpoint.com/v2/url?u=https-3A__illidanlab.github.io_big-5Ftraffic_2018_index.html&d=DwIBaQ&c=nE__W8dFE-shTxStwXtp0A&r=QWfjqZrx6cy8BF2ZHAGwcrFgMz68fN_wFM_P-xO4WV8&m=WOymTyOTUswTys87Kkm_8lvjrKsHqKt2slAop91IrhY&s=EfyN2ePxo9PF814jER8BnK50GH6d99bB37Tg43e_Zx4&e= Submission link https://urldefense.proofpoint.com/v2/url?u=https-3A__easychair.org_conferences_-3Fconf-3Dbigtraffic2018&d=DwIBaQ&c=nE__W8dFE-shTxStwXtp0A&r=QWfjqZrx6cy8BF2ZHAGwcrFgMz68fN_wFM_P-xO4WV8&m=WOymTyOTUswTys87Kkm_8lvjrKsHqKt2slAop91IrhY&s=k2YJSDs3ubLCt-tYpwMto2_BIRF_lA8DvbK42mE-Hzc&e= Submission deadline *January 19, 2018* The BigTraffic workshop, in conjunction with 18th SIAM International Conference on Data Mining (SDM 2018), aims to bring the attention of researchers to the various data mining and machine learning methods for traffic studies, and therefore promote AI research. The availability of massive amount of travel data has provided unique opportunities for data-driven intelligent transportation systems. Even though traffic patterns are extensively studied from both the marcoscopic traffic level (e.g., urban traffic patterns) and microscropic traffic level (e.g., behavior of individual drivers/vehicles), the small-scale data used in prior studies has greatly restricted the complexity of models and thus the capability of capturing complicated dynamics in traffic patterns. The availability of big traffic data has enabled a wide spectrum of powerful machine learning and data mining methodologies to be applied to traffic studies. We encourage submissions on a variety of topics, including but not limited to: 1. Novel machine learning algorithms for traffic studies, e.g., new trajectory analysis algorithms, new traffic state estimation algorithms, new data-driven algorithms for map matching. 2. Novel approaches for applying existing machine learning algorithms, e.g., applying bilinear models, sparse learning, metric learning, neural networks and deep learning, for traffic studies. 3. Novel optimization algorithms and analysis for improving traffic data processing, e.g., parallel/distributed optimization techniques and efficient stochastic gradient descent. 4. Industrial practices and implementations of big traffic data modeling, e.g., feature engineering, model ensemble, and lessons from large-scale implementations of intelligent transportation systems. > *Submission Guidelines* The workshop accepts long paper and short (demo/poster) papers. Short papers submitted to this workshop should be limited to 4 pages while long papers should be limited to 8 pages. All papers should be formatted using the SIAM SODA macro. > *Invited Speakers* Yan Liu, University of Southern California [More speakers will be confirmed soon] > *Program Committee* Zhenhui Li, Pennsylvania State University Shiyu Chang, IBM Research Yanjie Fu, Missouri University of Science and Technology Yong Ge, University of Arizona Guannan Liu, Beihang University Jiawei Zhang, Florida State University Zijun Yao, Rutgers University Jianpeng Xu, eBay Inc. Defu Lian, University of Electronic Science and Technology of China > *Organizing committee* Jiayu Zhou, Michigan State University Zheng Wang, Didi Research Jieping Ye, Didi Research > *Contact* All questions about submissions should be emailed to jiayuz at msu.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Tue Dec 19 07:43:32 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 19 Dec 2017 07:43:32 +0100 Subject: BigDat 2018: early registration December 27 Message-ID: <545102060a010b060053570a04015a045b02015403030e0706570104015256590105030256580455075652510f0056@grlmc_ip-zone_com-6> BigDat 2018: early registration December 27*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: December 27, 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, 25 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:   Bing Liu (University of Illinois, Chicago), Towards Machines that Learn like Humans   Jeffrey Ullman (Stanford University), Data Science: Is it Real?   PROFESSORS AND COURSES:   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), [intermediate] 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), [intermediate/advanced] Data Streaming Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   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 Applications in NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory] 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 geoff at cs.miami.edu Tue Dec 19 14:29:52 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 19 Dec 2017 08:29:52 -0500 (EST) Subject: RuleML+RR 2018 - Call for Papers Message-ID: <20171219132952.2C6741700F6B@cs.miami.edu> ================================================================== RuleML+RR 2018 FIRST CALL FOR PAPERS RuleML+RR 2018: International Joint Conference on Rules and Reasoning http://2018.ruleml-rr.org Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu) ================================================================== The International Joint Conference on Rules and Reasoning (RuleML+RR), the leading international joint conference in the field of rule-based reasoning, calls for high-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2018 will take place in Luxembourg on September 18th-21th 2018 and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logics and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Rule-based approaches to agents * Higher-order and modal rules * Rules for knowledge graphs * Pragmatic web reasoning and distributed rule inference / rule execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logics for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of rule technologies in healthcare and life sciences * Applications of rule technologies in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 8 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair https://easychair.org/conferences/?conf=rulemlrr2018 The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium, the 12th International Rule Challenge. == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES == Title and Abstract submission: 20 Apr 2018 Full papers submission: 27 Apr 2018 Notification of acceptance: 1 June 2018 Camera-ready submission: 15 June 2018 Conference: 18-21 Sept 2018 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chairs (LuxLogAI): Leon van der Torre, Martin Theobald (U Luxembourg) General Chair (RuleML+RR): Xavier Parent (U Luxembourg) Program Chairs: Christoph Benzmueller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) Int'l Rule Challenge Chairs: Giovanni De Gasperis (U L'Aquila) Adrian Giurca (BTU Cottbus- Senftenberg) Reasoning Web (RW) Summer School to be announced Publicity Chairs: Frank Olken, Frank Olken Consulting == PROGRAM COMMITTEE == Full list available at: http://2018.ruleml-rr.org From jsabater at iiia.csic.es Wed Dec 20 11:18:43 2017 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Wed, 20 Dec 2017 11:18:43 +0100 Subject: [AAMAS18] - 2nd Call for Demos Message-ID: <10642664575842929514957@Galvatron> *************************************************** Call for Demos *************************************************** Seventeenth International Conference on Autonomous Agents and Multiagent Systems July 10-15, 2018, Stockholm, Sweden Important Dates --------------------- Demonstration Submission: 16th of February 2017 (23:59 UTC-12) Author Notification: 29th of March 2018 (23:59 UTC-12) Camera Ready Submission: 7th of May 2018 (23:59 UTC-12) Information for Authors ------------------------------- The goal of the AAMAS Demo track is to provide opportunities for participants from academia and industry to present their latest developments in agent-based and robotic systems. Interactive systems and novel applications are particularly welcome. Two �Best Demo� awards will be assigned by the Program Committee to recognize the most innovative demo (the one with the most original and significant research methodologies) and the best application demo (the one with the highest impact in a real-world application). Topics of Interest ---------------------- Topics of interest include (but are not limited to) the following: - Systems implementing agents in real-world settings in various application areas such as engineering (e.g., transportation, robotics, grid), economy (e.g., e-commerce), health care, societal challenges and education. - Systems supporting the development of agents which include development environments and tools to assist developers in the specification, design, implementation and/or testing of agent systems. - Systems using agents to model behavior which include virtual agents, simulation systems, games and social robots. Submission Requirements --------------------------------- Submissions accepted for the Demo track will be advertised on the AAMAS website and be included in the conference proceedings. Each Demo submission must consist of the following elements: - Paper (maximum 4 pages): -- Pages 1-2 to describe the system to be demonstrated. The authors are encouraged to discuss the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, interactive aspects, etc. -- Page 3 should only list the bibliographic references. -- Page 4 to provide the organizers with a list of requirements for the demo setting at the conference. Papers must be prepared using the AAMAS format and submitted as PDF files. Submissions not conforming to the guidelines above will be rejected. Video (maximum 5 minutes): ------------------------------------ The paper should contain a URL linking to a demonstration video of no more than 5 minutes in duration (QuickTime or YouTube format) showing and explaining the execution of the system. The video should be understandable without sound as much as possible, as they can be played during the conference (see below). The video should include (at the beginning and at the end) the title of the demo and the track number provided by the submission system. Submissions should be made through the Demo track submission system (see http://aamas18.ifaamas.org for more details). Accepted Demo papers will be included in the AAMAS proceedings. Videos of accepted demo papers will be played (with no sound) during breaks and demo sessions to increase visibility. At least one author of each accepted demonstration is required to register and attend the conference to present their work. Selection Process ------------------------ The submission and selection process for the AAMAS 2017 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Program Committee. The authors will receive a brief evaluation report with the notification. The evaluation criteria are: - Relevance to the AAMAS conference - Significance and originality - Video content and presentation - Maturity and readiness of the demonstration - Potential for public interaction - Potential impact in the intended application domain - Potential interest to a broader audience Demonstration Chairs: ----------------------------- Alessandro Farinelli (University of Verona) Iolanda Leite (KTH Royal Institute of Technology) From vitordouzi at gmail.com Wed Dec 20 19:25:45 2017 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Wed, 20 Dec 2017 18:25:45 +0000 Subject: CFP: First International Workshop on Narrative Extraction from Texts (Text2Story'18@ECIR'18) Message-ID: *** Apologies for cross-posting *** ++ CALL FOR PAPERS ++ ****************************************************************************************** First International Workshop on Narrative Extraction from Texts (Text2Story'18 at ECIR'18) Grenoble, France Text2Story18.inesctec.pt ****************************************************************************************** Proceedings to be submitted to CEUR workshop proceedings (potentially indexed on DBLP). Authors of relevant papers will be invited to submit an extended version of their article to a Special issue hosted by IPM Journal (URL: https://www.journals.elsevier.com/information-processing-and-management/) ++ Important Dates ++ - Submission deadline: January 8th, 2018 - Acceptance Notification Date: February 19th, 2018 - Camera-ready copies: March 5th, 2018 - Workshop: March 26th, 2018 ++ Overview ++ The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this workshop we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ++ List of Topics ++ Research works submitted to the workshop should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility - Fact Checking - Bots Influence ++ Submission Guidelines ++ We invite two kinds of submissions (max 6 pages): - Research papers - Demos and position papers Papers must be submitted electronically in PDF format through Easy Chair ( https://easychair.org/conferences/?conf=text2story). All submissions must be in English. LNCS style ( http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ) Submissions will be peer-reviewed by at least three members of the programme committee. ++ Workshop Format ++ Participants of accepted papers will be given 15 minutes for short oral presentation. All papers will also be presented in an interactive poster session. ++ Invited Speaker ++ TBA ++ Organizing committee ++ Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sérgio Nunes (INESC TEC; University of Porto, Portugal) ++ Proceedings Chair ++ − Conceição Rocha (LIAAD INESC TEC) − João Paulo Cordeiro (INESC TEC; University of Beira Interior) ++ Web Chair ++ − Arian Pasquali (INESC TEC) ++ Dissemination Chair ++ − Vitor Mangaravite (INESC TEC) ++ Program Committee ++ - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Gerasimos Lampouras (The University of Sheffield) - Denilson Barbosa (University of Alberta) - Sumit Bhatia (IBM) - Yating Zhang (Kyoto University) - Nina Tahmasebi (University of Gothenburg) - Jaime Arguello (University of North Carolina at Chapel Hill) - Akiko Aizawa (NII) - António Horta Branco (University of Lisbon) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) ++ Contacts ++ Website: Text2Story18.inesctec.pt For general enquires regarding the workshop, send an email to the organizers at ricardo.campos at ipt.pt, alipio.jorge at inesctec.pt, vima at inescporto.pt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bigvis2018 at gmail.com Wed Dec 20 19:55:22 2017 From: bigvis2018 at gmail.com (BigVis @ EDBT18) Date: Wed, 20 Dec 2017 20:55:22 +0200 Subject: Deadline Extension Jan. 5, 2018 - Workshop on Big Data Visual Exploration and Analytics - EDBT/ICDT Vienna Message-ID: *** The submission deadline has been extended to January 5, 2018 *** > Selected papers of the BigVis 2018 will be invited to a Special Issue of the Big Data Research Journal, Elsevier BigVis 2018 Call for Papers BigVis 2018 :: International Workshop on Big Data Visual Exploration and Analytics http://bigvis2018.imis.athena-innovation.gr Vienna, Austria Held in conjunction with the 21th Intl. Conference on Extending Database Technology & 21th Intl. Conference on Database Theory (EDBT/ICDT 2018) One the major challenges of the Big Data era is that it has realized the availability of a great amount and variety of massive datasets for analysis by non-corporate data analysts, such as research scientists, data journalists, policy makers, SMEs and individuals. A major characteristic of these datasets is that they are: accessible in a raw format that are not being loaded or indexed in a database (e.g., plain text files, json, rdf), dynamic, dirty and heterogeneous in nature. The level of difficulty in transforming a data-curious user into someone who can access and analyze that data is even more burdensome now for numerous non-expert users. In the Big Data era, several challenges arise in the field of data visualization and analytics. First, the modern exploration and visualization systems should offer scalable data management techniques in order to efficiently handle billion objects datasets, limiting the system response in a few milliseconds. Besides, nowadays systems must address the challenge of on-the-fly scalable visualizations over large and dynamic sets of volatile raw data, offering efficient interactive exploration techniques, as well as mechanisms for information abstraction, sampling and summarization for addressing problems related to information overplotting. Further, they must encourage user comprehension offering customization capabilities to different user-defined exploration scenarios and preferences according to the analysis needs. Overall, the challenge is to enable users to gain value and insights out of the data as rapidly as possible, minimizing the role of IT-expert in the loop. The BigVis workshop aims at addressing the above challenges and issues by providing a forum for researchers and practitioners to discuss exchange and disseminate their work. BigVis attempts to attract attention from the research areas of Data Management and Mining, Information Visualization and Human-Computer Interaction and highlight novel works that bridge together these communities. Workshop Topics ------------------------------- In the context of visual exploration and analytics, topics of interest include, but are not limited to: - Visualization and exploration techniques for various Big Data types (e.g., stream, spatial, high-dimensional, graph) - Human-centered database techniques - Indexes and data structures for data visualization - Raw data visual exploration and analytics - Incremental and adaptive processing - Interactive caching and prefetching - Scalable visual operations (e.g., zooming, panning, linking, brushing) - Big Data visual representation techniques (e.g., aggregation, sampling, multi-level, filtering) - Setting-oriented visualization (e.g., display resolution/size, smart phones, pixel-oriented, visualization over networks) - User-oriented visualization (e.g., assistance, personalization, recommendation) - Visual analytics (e.g., pattern matching, timeseries analytics, prediction analysis, outlier detection, OLAP) - Visual and interactive data mining - Models of human-in-the-loop data analysis - High performance/Parallel techniques - Visualization hardware and acceleration techniques - Linked Data and ontologies visualization - Case and user studies - Systems and tools Submissions ------------------------------- - regular research papers (up to 8 pages) - work-in-progress papers (up to 4 pages) - vision papers (up to 4 pages) - system papers and demos (up to 4 pages) Important Dates ------------------------------- Submission: January 5, 2018 Notification: January 22, 2018 Camera-ready: January 29, 2018 Deadlines expire at 5pm PT Workshop: March 26, 2018 Organizing Committee ------------------------------- Nikos Bikakis, ATHENA Research Center, Greece George Papastefanatos, ATHENA Research Center, Greece Olga Papaemmanouil, Brandeis University, USA Program Committee ------------------------------- Ioannis Alagiannis, Microsoft Manos Athanassoulis, Harvard, USA David Auber, Universite Bordeaux 1, France Leilani Battle, Univeristy of Maryland, USA Carsten Binnig, Brown University, UK Nan Cao, Tongji University, China Giorgio Caviglia, Trifacta Inc Remco Chang, Tufts University, USA Michael Gubanov, University of Texas at San Antonio, USA Rick Cole, Tableau Software Aba-Sah Dadzie, The Open University, UK Giorgos Giannopoulos, ATHENA Research Center, Greece Parke Godfrey, York University, Canada Jarek Gryz, York University, Canada Alexander Hinneburg, MLU, Germany Marcel Hlawatsch, Universitat Stuttgart, Germany Bill Howe, University of Washington, USA Yifan Hu Yahoo! Research Valentina Ivanova, Linkoping University, Sweden Vana Kalogeraki, AUEB, Greece Niranjan Kamat, Ohio State University, USA Manos Karpathiotakis, EPFL, Switzerland Manolis Koubarakis, University of Athens, Greece Danai Koutra, University of Michigan, USA Georgia Koutrika, ATHENA Research Center, Greece Steffen Lohmann, Fraunhofer, Germany Kwan-Liu Ma, University of California at Davis, USA Suvodeep Mazumdar, University of Sheffield, Sweden Davide Mottin, Hasso Plattner Institute, Germany Paul Parsons, Purdue University, USA Tobias Schreck, Graz University of Technology, Austria Mariano Rico, UPM, Spain Thibault Sellam, Columbia University, USA Mike Sips, GFZ, Germany Dimitrios Skoutas, ATHENA Research Center, Greece Kostas Stefanidis, University of Tampere, Finland Hanghang Tong, Arizona State University, USA Yannis Tzitzikas, University of Crete, Greece Panos Vassiliadis, University of Ioannina, Greece -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ta10 at tu-clausthal.de Wed Dec 20 21:40:27 2017 From: ta10 at tu-clausthal.de (Tobias Ahlbrecht) Date: Wed, 20 Dec 2017 20:40:27 +0000 Subject: Call For Tutorials: EASSS 2018 Message-ID: ********************************************************************** * FIRST CALL FOR TUTORIALS * 20th European Agent Systems Summer School (EASSS-2018) to be held at the University of Maastricht, The Netherlands 18-22 June 2018 https://project.dke.maastrichtuniversity.nl/easss/ Deadline for Proposals: 10 March 2018 Please submit proposals to: easss at maastrichtuniversity.nl ********************************************************************** We invite tutorial proposals for the 20th European Agent Systems Summer School (EASSS-2018), which will be held at the University of Maastricht, The Netherlands. EASSS tutorials are typically 3.5 hours long, divided into two sessions of 1.45 hours each. For the detailed call for tutorials, please see below. ********************************************************************** ABOUT EASSS-2018 ********************************************************************** 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 20th European Agent Systems Summer School will be held at the University of Maastricht, The Netherlands, from the 18th to the 22nd of June 2018. As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher. EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems (http://www.euramas.org/). *** We invite proposals from members of the research community who are willing to offer tutorials at EASSS-2018. *** We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multi-Agent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research. Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic consideration of the fundamental topics presented. We encourage both well-established senior researchers and younger colleagues to submit proposals. Each tutorial is usually given by one or two people. Exceptions are of course possible; for proposals by more than two tutors, please justify this choice in the proposal and explain how you intend to ensure the coherence of the tutorial. To support the tutors, we can commit to the provision of up to 400 EUR per tutorial to cover the travel and accommodation costs. ********************************************************************** SUBMISSION INSTRUCTIONS ********************************************************************** A tutorial proposal should take the form of a single PDF document covering the points listed below. The maximal length of the proposal is 2 pages. Please, submit the proposal by email to: easss at maastrichtuniversity.nl mentioning [TUTORIAL] in the subject line. The following points should be addressed in the tutorial proposal, preferably in the order stated below: (1) Title of the proposed tutorial. (2) Tutor(s): name, affiliation, full contact details, and a link to the personal homepage of each tutor. (3) Abstract: a short paragraph describing the tutorial (100-300 words),suitable for publication on the EASSS-2018 web site. (4) Topics covered: detailed list of topics covered in the tutorial in terms of a list, preferably in the order in which the tutorial will cover them. (5) Type: a clear indication of whether the tutorial takes a theoretical or applications-oriented perspective on the topics covered. We encourage tutorial proposals that balance the two perspectives. (6) Level: please indicate the target audience and level of the course. If there are prerequisites, describe what knowledge will be assumed by the tutorial. (7) Teaching materials: Please indicate what kind of teaching materials you intend to provide. Note that we will require materials by the date below, so that they can be distributed to EASSS attendees in advance. (8) Duration: Tutorials are typically 3.5 hours long. If you have good reasons for wanting to deviate from this standard, please explain this in your proposal. (9) Equipment: Please list any special equipment (beyond data projector and blackboard/whiteboard) that you might need. (10) Short biographical sketch for each tutor (around 100 words per tutor), suitable for publication at the EASSS-2018 web site. (11) Experience of tutor(s): please provide details on relevant teaching experience of the tutor(s). (12) Additional information on the proposed tutorial. Include as much detail as you see fit. ********************************************************************** IMPORTANT DATES ********************************************************************** Deadline for tutorial proposals: 10 March 2018 Notification of acceptance: 17 March 2018 Teaching materials due: 3 June 2018 Summer school: 18-22 June 2018 ********************************************************************** SCIENTIFIC COMMITTEE ********************************************************************** Jurgen Dix, Clausthal University of Technology, Germany Nico Roos, Maastricht University, The Netherlands Paolo Turrini, University of Warwick, UK ********************************************************************** CONTACT ********************************************************************** For all matters concerning EASSS-2018 and this call, please contact: easss at maastrichtuniversity.nl ********************************************************************** PREVIOUS EDITIONS ********************************************************************** EASSS has been organised annually in different European locations since 1999. The locations and web sites of the most recent editions of EASSS are listed below: * EASSS-2017 in Gdansk: http://easss2017.ipipan.waw.pl * EASSS-2016 in Catania: http://easss2016.dmi.unict.it * EASSS-2015 in Barcelona: http://www.iiia.csic.es/easss2015 * EASSS-2014 in Chania: http://www.intelligence.tuc.gr/easss2014 * EASSS-2013 in London: http://www.inf.kcl.ac.uk/events/easss13/ * EASSS-2012 in Valencia: http://easss2012.webs.upv.es * EASSS-2011 in Girona: http://eia.udg.edu/easss2011 * EASSS-2010 in Saint-Etienne: http://easss2010.emse.fr * EASSS-2009 in Torino: http://agents009.di.unito.it/EASSS.html * EASSS-2008 in Lisbon: http://centria.di.fct.unl.pt/events/easss08 * EASSS-2007 in Durham, UK * EASSS-2006 in Annecy, France * EASSS-2005 in Utrecht, Netherlands * EASSS-2004 in Liverpool, UK * EASSS-2003 in Bologna, Italy * EASSS-2002 in Barcelona, Spain * EASSS-2001 in Prague, Czech Republic * EASSS-2000 in Saarbrucken, Germany * EASSS-1999 in Utrecht, Netherlands ********************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Thu Dec 21 19:36:15 2017 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Thu, 21 Dec 2017 13:36:15 -0500 Subject: CFP: SIAM SDM 2018 Workshops 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/ ------------------------- WORKSHOPS ------------------------ The SDM ’18 organizing committee kindly invites you to submit papers to the workshops held in conjunction with the conference: http://www.siam.org/meetings/sdm18/workshops.php This year SDM will host 6 workshops. Most workshops have paper submission deadlines in mid-January. Additional information on the individual workshops and their submission dates can be found at the following links. Workshop on Big Traffic Data Analytics https://illidanlab.github.io/big_traffic/2018/index.html Organizers: Jiayu Zhou, Zheng Wang, Jieping Ye Workshop on Artificial Intelligence in Insurance https://sda-amfam.github.io/sdm-workshop-2018.html Organizers: Glen Fung, Edward W. (Jed) Frees, Luisa F. Polanía Workshop on Machine Learning Methods for Recommender Systems https://doogkong.github.io/2018/index.html Organizers: Deguang Kong, Xia Ning, George Karypis Workshop on Cost-Sensitive Learning http://cost.dcc.fc.up.pt/ Organizers: Luis Torgo, Stan Matwin, Gary Weis, Nuno Moniz, Paula Branco Workshop on Data Mining for Geophysics and Geology http://dm4og.inesctec.pt/dmg2 Organizers: Youzuo Lin, Weichang Li, Alipio Jorge, Rui L. Lopes, German Larrazabal, Pablo Guillen Workshop on Data Mining for Medicine and Healthcare https://sites.google.com/site/feiwang03/dmmh18 Organizers: Fei Wang, Xi Zhang, Lifang He FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frederic.mesnard at gmail.com Fri Dec 22 11:41:09 2017 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Fri, 22 Dec 2017 14:41:09 +0400 Subject: LOPSTR 2018: First Call for Papers Message-ID: <0DEDC3CB-4F37-4E19-A861-4A5AC5839125@gmail.com> ====================================================================== LOPSTR 2018: First Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: March 25, 2018 Paper/Extended abstract submission: April 1, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee TBA Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From grlmc at grlmc.com Sat Dec 23 00:17:13 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 23 Dec 2017 00:17:13 +0100 Subject: HighPer 2018: early registration December 28 Message-ID: <545102060a010b060157570706055a50045656575053550306045f015350025750575755505c515055035505575005@grlmc_ip-zone_com-6> HighPer 2018: early registration December 28*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: December 28, 2017 ---   *****************************************************************************   SCOPE:   HighPer 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 high performance computing, 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 subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 24 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. Moreover, 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, HighPer 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:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), tba   PROFESSORS AND COURSES: (to be completed)   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] High Performance Computing on Parallel Computers and GPUs with Julia   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Studying Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [advanced] Embracing the Exascale Challenge: From Accelerators over Scalable Program Tracing to Resilience   J. (Ram) Ramanujam (Louisiana State University), tba   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   El-Ghazali Talbi (University of Lille 1), [introductory] Parallel Metaheuristics for Optimization and Machine Learning   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Jeffrey S. Vetter (Oak Ridge National Laboratory), [intermediate] Exploiting Deep Memory Hierarchies   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   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 April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing 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 April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation 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:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mpavone at dmi.unict.it Sat Dec 30 11:40:20 2017 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sat, 30 Dec 2017 11:40:20 +0100 Subject: MESS 2018 - from Design to Implementation - Taormina, Italy, 21-25 July 2018 Message-ID: <20171230114020.Horde.XbPpO_ph4B9aR20UPhIDwBA@mbox.dmi.unict.it> 1st Call for Participation (apologies for multiple copies) ----------------------------------------------------------------------- MESS 2018 - Metaheuristics Summer School - from Design to Implementation - 21-25 July 2018, Taormina, Italy https://www.ANTs-lab.it/mess2018/ mess.school at ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 15th April 2018 ** MESS 2018 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. As first edition, MESS 2018 wants to analyze all metaheuristics from its designing to its implementation. In particular, in MESS 2018 will be analyzed modern heuristic methods for search and optimization problems, as well as the classical exact optimization methods, seen also in the metaheuristics context. All participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. ** Confirmed Speakers + Christian Blum, IIIA-CSIC, Barcelona, Spain + Juergen Branke, Warwick Business School, UK + Salvatore Greco, University of Catania, Italy & University of Portsmouth, UK + Yaochu Jin, University of Surrey, UK + Gunther Raidl, Technische Universitat Wien, Austria + Helena Ramalhinho Lourenco, Universitat Pompeu Fabra, Spain + Celso Ribeiro, Universidade Federal Fluminense, Brazil + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy More Speakers will be announced soon!! ** Short Talk and Poster Presentation All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Mini-Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *April 15, 2018*. ** Metaheuristics Competition All students of the school will be invited to the ?Metaheuristics Competition?, where each of them, divided in working groups, will develop a metaheuristic solution on a given problem. ** Certificate: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. ** School Directors + Salvatore Greco, University of Catania, Italy + Panos Pardalos, University of Florida, USA + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy ** Oral & Poster Presentation Organizers + Luca Di Gaspero, Unviersity of Udine, Italy + Paola Festa, University of Naples "Federico II", Italy ** Metaheuristics Competition Chair + Raffaele Cerulli, University of Salerno, Italy ** More Information: https://www.ANTs-lab.it/mess2018/ -- mess.school at ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383034 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================== MESS 2018 - Metaheuristics Summer School 21-25 July 2018, Taormina, Italy W: https://www.ANTs-lab.it/mess2018/ E: mess.school at ANTs-lab.it FB: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school =========================================================== From grlmc at grlmc.com Sat Dec 30 14:25:09 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 30 Dec 2017 14:25:09 +0100 Subject: AlCoB 2018: 2nd call for papers Message-ID: <545102060a010b0601515701030a5a06045605560503035607555f04520e5456075305540709540656050457050704@grlmc_ip-zone_com-6> AlCoB 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2018   Hong Kong   June 25-27, 2018   Co-organized by:   The Hong Kong Polytechnic University Department of Computing   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2018/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in the world, one of the highest human development indexes, and the longest life expectancy. The venue will be:   M1603, Li Ka Shing Tower The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2018 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS: (to be completed)   Tatsuya Akutsu (Kyoto University), Algorithms for Analysis and Control of Boolean Networks   Bin Ma (University of Waterloo), De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications   PROGRAMME COMMITTEE:   Josep Francesc Abril (University of Barcelona, ES) Kees Albers (Radboud University Medical Centre, NL) Emmanuel Barillot (Curie Institute, FR) Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) Rita Casadio (University of Bologna, IT) José C. Clemente (Icahn School of Medicine at Mount Sinai, US) Eytan Domany (Weizmann Institute of Science, IL) Liliana Florea (Johns Hopkins University, US) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina at Chapel Hill, US) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) John Hancock (ELIXIR Europe, UK) Robert Harrison (Georgia State University, US) Martijn Huynen (Radboud University Medical Centre, NL) Jesper Jansson (The Hong Kong Polytechnic University, HK) Pouya Kheradpour (Verily Life Sciences, US) Julien Lagarde (Centre for Genomic Regulation, ES) Gerton Lunter (University of Oxford, UK) Ruibang Luo (Johns Hopkins University, US) Bill Majoros (Duke University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Huaiyu Mi (University of Southern California, US) Ryan E. Mills (University of Michigan, US) Kenta Nakai (University of Tokyo, JP) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) Itsik Pe'er (Columbia University, US) Mihaela Pertea (Johns Hopkins University, US) Paolo Ribeca (The Pirbright Institute, UK) Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) Stephane Rombauts (Ghent University, BE) Russell Schwartz (Carnegie Mellon University, US) Xinghua Shi (University of North Carolina at Charlotte, US) Denis Shields (University College Dublin, IE) Ilya Shmulevich (Institute for Systems Biology, US) Thomas Sicheritz-Pontén (Technical University of Denmark, DK) Steven Skiena (Stony Brook University, US) Wing-Kin Sung (National University of Singapore, SG) Weili Wu (The University of Texas at Dallas, US) Wenzhong Xiao (Massachusetts General Hospital, US) Shibu Yooseph (University of Central Florida, US) Yaoqi Zhou (Griffith University, AU)   ORGANIZING COMMITTEE:   Jesper Jansson (Hong Kong, co-chair) Konstantinos Mampentzidis (Hong Kong) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra-Royón (Granada) Abdul Raheem (Hong Kong) David Silva (London) Sandhya T P (Hong Kong) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955) 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/AlCoB2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: February 11, 2018 Notification of paper acceptance or rejection: March 18, 2018 Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 Early registration: March 28, 2018 Late registration: June 11, 2018 Submission to the journal special issue: September 27, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   AlCoB 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGEMENTS:   The Hong Kong Polytechnic University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: