From grlmc at grlmc.com Mon Aug 1 09:06:10 2016 From: grlmc at grlmc.com (GRLMC) Date: Mon, 01 Aug 2016 09:06:10 +0200 Subject: [fg-arc] TPNC 2016: extended submission deadline August 8 Message-ID: <545102060a010b020351500304035a565a045305570503000a0358010057510003590352505d0001065202500e0b53@grlmc_ip-zone_com-6> TPNC 2016: extended submission deadline August 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: August 8 ***** ----------------------------------------------------------------------------   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect   Luis Martínez López (University of Jaén), Managing Natural Noise in Recommender Systems   Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) 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=tpnc2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Soft Computing (Springer, 2014 JCR impact factor: 1.304) 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/TPNC2016/Registration.php   DEADLINES:   Paper submission: August 8, 2016 (23:59h, CET) – EXTENDED – Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Tohoku University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From ibichind at oswego.edu Wed Aug 3 16:09:44 2016 From: ibichind at oswego.edu (Isabelle Bichindaritz) Date: Wed, 3 Aug 2016 10:09:44 -0400 Subject: [fg-arc] CFP WK on Synergies between CBR and Knowledge Discovery @ ICCBR - Extended Deadline 8/12/2016 Message-ID: ICCBR-16 Workshop Workshop on Synergies between CBR and Knowledge Discovery Call for Papers At the core of CBR lies the ability of a system to learn from past cases. However, CBR systems often incorporate knowledge discovery methods, for example, to organize their memory or to learn adaptation rules. In turn, knowledge discovery systems often utilize CBR as a learning methodology, for example, through a common set of problems with the nearest-neighbor method and reinforcement learning. Meanwhile, the machine learning community, which is tightly coupled with knowledge discovery, has historically included CBR among the types of instance-based learning. This workshop will be dedicated to studying in-depth the possible synergies between case-based reasoning (CBR) and knowledge discovery. It also aims at identifying potentially fruitful ideas for co-operative problem-solving where both CBR and knowledge discovery researchers can compare and combine methods. In particular, new advances in knowledge discovery may help CBR to advance its field of study and play a vital role in the future of knowledge discovery. This first Workshop on Synergies between CBR and Knowledge discovery aims to: * provide a forum for identifying important contributions and opportunities for research on combining CBR and knowledge discovery, * promote the systematic study of how to synergistically integrate CBR and knowledge discovery, * showcase synergistic systems using CBR and knowledge discovery. Some of the technical issues addressed, and potential outcomes of the workshop, are to identify the knowledge discovery methods used in CBR, to categorize the problems addressed by knowledge discovery in CBR, to propose methodological improvements to fit this context’s needs, preferred types and methods, and guidelines to better develop CBR systems taking advantage of all knowledge discovery research has to offer. Similarly, the workshop will identify the CBR methods used in knowledge discovery, categorize the problems addressed by CBR in knowledge discovery, propose methodological improvements to fit this context’s needs, preferred types and methods, and guidelines to better develop knowledge discovery systems taking advantage of all CBR research has to offer. We welcome all those interested in the problems and promise of synergistically combining CBR and knowledge discovery whether they belong to the CBR, the knowledge discovery community, or the machine learning community. Topics of interest include (but are not limited to): * Architectures for synergistic systems between CBR and knowledge discovery * Theoretical frameworks for synergistic systems between CBR and data mining * Memory structure mining in CBR * Memory organization mining in CBR (decision tree induction, etc.) * Case mining * Feature selection in CBR * Knowledge discovery in CBR (adaptation knowledge, meta-knowledge, etc.) * Concept mining in CBR * Image and multimedia mining in CBR * Temporal mining in CBR * Text mining in CBR * Nearest-neighbor systems and CBR * Instance-based learning and CBR * Reinforcement learning and CBR * CBR and statistics * CBR and statistical data analysis * CBR in multi-strategy learning systems * CBR and similarity and metric learning * CBR and Big Data * CBR and deep learning * Application specific synergies between CBR and knowledge discovery (medicine, bioinformatics, social networks, sentiment analysis, etc.) Paper presentations will be interspersed with discussions in which we characterize, categorize, and discuss the synergies between CBR and data mining. A wrap-up round table discussion will summarize the lessons learnt, issues identified, and future directions. Submission Requirements Submitted papers are limited to 10 pages in length. All papers are to be submitted via the CBR-KD-16 EasyChair system (https://www.easychair.org/conferences/?conf=cbrkd2016). Papers should be in Springer LNCS format. Author's instructions, along with LaTeX and Word macro files, are available at http://www.springer.de/comp/lncs/authors.html. Submissions should be original papers that have not already been published elsewhere. However, papers may include previously published results that support a new theme, as long as all past publications are fully referenced. Dates * Submission Deadline: August 12, 2016 (extended deadline) * Notification Date: September 5, 2016 * Camera-Ready Deadline: September 25, 2016 * Workshop Date: October 31, 2016 (Atlanta, USA) Workshop Web Site: http://cs.oswego.edu/~bichinda/iccbr2016/ Submission Site: http://www.easychair.org/conferences/?conf=cbrkd2016 Organizing Committee Co-Chairs Isabelle Bichindaritz State University of New York, Oswego Oswego, NY, 13126, USA Phone: +1 315 312 2683 Email: ibichind at oswego.edu Cindy Marling Ohio University Athens, Ohio, 45701, USA Phone: +1 740 593 1246 Email: marling at ohio.edu Stefania Montani University of Piemonte Orientale I-15100 Alessandria, Italy Phone: +30 0131 360158 Email: stefania.montani at unipmn.it -- Dr. Isabelle Bichindaritz Associate Professor Director of Biomedical Informatics SUNY Oswego Computer Science Department Shineman 396A 7060 New York 104 Oswego, NY 13126 USA http://cs.oswego.edu/~bichinda Ph: (315) 312 2683 Cell: (206) 455 0221 Email: ibichind at oswego.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Aug 4 13:33:50 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 4 Aug 2016 14:33:50 +0300 Subject: [fg-arc] 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017) Message-ID: <74DF43MG-UXDH-SQXI-2M8X-JGHGPO8G8TPH@cs.ucy.ac.cy> Dear colleagues, The 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017, see http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0M3JkIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDE3KQk1OAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sofsem.cz%2Fsofsem17%2F%29 will take place at Lero in Limerick January 16-20, 2017. SOFSEM (SOFtware SEMinar) is the annual international winter conference devoted to the theory and practice of computer science. SOFSEM aims to present the latest results and developments in research in academia and industry, in leading areas of computer science. DEADLINE EXTENSION Due to the many requests for a deadline extension, we have postponed the deadlines as follows: Abstract and paper deadline: August 10th, 2016 Kindly submit your abstract as early as possible in order to enable the bidding process. You will be able to update your submission until the deadline. PROCEEDINGS The SOFSEM 2017 proceedings containing all invited and contributed papers will be published in the series Lecture Notes in Computer Science by Springer Verlag, in the prestigious subline ARCOSS: Advanced Research in Computing and Software Science. STUDENT RESEARCH FORUM The SOFSEM 2017 Student Research Forum (SRF) will provide young researchers with valuable scientific feedback and networking. Master and PhD students are invited to present their research ideas and projects, discuss them with the scientific community, and establish collaborations in their field of research. See you at SOFSEM 2017! Tiziana Margaria and Mike Hinchey (General Chairs) Bernhard Steffen (Program Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: From hasselbring at email.uni-kiel.de Fri Aug 5 15:26:50 2016 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Fri, 5 Aug 2016 15:26:50 +0200 Subject: [fg-arc] =?utf-8?q?Gr=C3=BCndung_eines_AK_Microservices?= Message-ID: <146907a0-ea11-0139-4f84-14b01bf44eb7@email.uni-kiel.de> Sehr geehrte Mitglieder der GI-Fachgruppe Architekturen, in der Fachgruppe Architekturen kam die Idee auf einen Arbeitskreis zum Thema Microservices zu gründen. Hintergrund: Modularisierung ist ein grundlegendes Prinzip im Softwareentwurf (http://dl.acm.org/citation.cfm?id=361623). Microservices dienen zur Modularisierung von Softwaresystemen. Eine wesentliche Eigenschaft von Microservices -- im Gegensatz zu vielen anderen Modularisierungsansätzen wie z.B. Modulen und Komponenten -- ist das unabhängige Deployment. Dazu erhalten die einzelnen Microservices insbesondere auch eigene Datenhaltungssysteme. Neben den Vorteilen, wie der unabhängigen Entwicklung einzelner Microservices und der Unterstützung von Continuous Deployment, gibt es auch viele Herausforderungen, wie der Konsistenzsicherung verteilter Datenbestände und der benötigten Kenntnisse zur polyglotten Programmierung verteilter Systeme. In diesem Arbeitskreis wollen wir uns zu diesen Chancen und Risiken austauschen. Falls Sie Interesse an einer Mitarbeit haben, tragen Sie sich zunächst bitte in die folgenden Mailingliste ein: http://www.lists.uni-kiel.de/sympa/info/ak-microservices Weitere Informationen werden dann über diese Liste verteilt. Schöne Grüße, Wilhelm (Willi) Hasselbring -- Prof. Dr. W. Hasselbring, Software Engineering Group Dept. Computer Science, Kiel University, D-24118 Kiel, Germany Tel: +49 (0)431 880-4664, -3734 (secretary), Fax: -7617 Email: hasselbring at email.uni-kiel.de http://se.informatik.uni-kiel.de/ From mgalster at ieee.org Mon Aug 8 06:23:37 2016 From: mgalster at ieee.org (Matthias Galster) Date: Mon, 8 Aug 2016 16:23:37 +1200 Subject: [fg-arc] ECSA 2016: Change of conference location and date Message-ID: === NEW CONFERENCE LOCATION AND DATE === 10th European Conference on Software Architecture - ECSA 2016 November 28 - December 2, 2016, Copenhagen, Denmark ecsa2016.iku.edu.tr/ The Steering Committee of ECSA has decided to move ECSA 2016 from Istanbul to Copenhagen. Because of this, the dates will change as well and some co-located events re-opened their submission. ECSA 2016 will be organised in Copenhagen from November 28 to December 2, 2016. --- RE-OPENED SUBMISSIONS --- - Women in Software Architecture track (paper submissions due September 7, 2016) - Architecture Tool demos - All workshops (submission dates vary between August 21, 2016 and September 2, 2016) --- SCOPE --- The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels. --- CONFERENCE ORGANIZATION --- Program Co-chairs: Bedir Tekinerdogan, Wageningen University, Netherlands; Uwe Zdun, University of Vienna, Austria General chair: Muhammad Ali Babar, University of Adelaide, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From pedro.lopez at imdea.org Wed Aug 10 19:35:16 2016 From: pedro.lopez at imdea.org (pedro.lopez) Date: Wed, 10 Aug 2016 19:35:16 +0200 Subject: [fg-arc] Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation Message-ID: <736da3b64b2fff8aa616abe9eaf7ad2b@imdea.org> ============================================================ CALL FOR PARTICIPATION: LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, Scotland UK, September 6-8, 2016 http://www.cliplab.org/Conferences/LOPSTR16/ co-located with PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, Scotland UK, September 5-7, 2016 http://ppdp16.webs.upv.es/ and SAS 2016 23rd Static Analysis Symposium, Edinburgh, Scotland UK, September 8-10, 2016 http://staticanalysis.org/sas2016/ ============================================================ Registration is open at: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/ ** EARLY REGISTRATION UNTIL AUGUST 15 ** VISA Please check here: https://www.gov.uk/check-uk-visa whether you require a visa to visit the UK. If so, contact us as soon as possible as explained here: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/registration.html Getting a visa can take from 3-6 weeks depending on the nationality and country from which applying. We recommend that anyone considering attending who needs a visa register now and apply now. If you are eventually unable to attend due to visa issues we will refund your registration fee. INVITED TALKS - Greg Morrisett, Cornell University, USA (jointly with PPDP'16): Challenges in Compiling Coq. - Francesco Logozzo, Facebook, USA (jointly with PPDP'16): Abstract interpretation for taint analysis at scale. - Martin Vechev, ETH Zurich, Switzerland (jointly with SAS'16): Learning from Programs: Probabilistic Models, Program Analysis and Synthesis. ACCEPTED PAPERS - Symbolic Abstract Contract Synthesis in a Rewriting Framework. María Alpuente, Daniel Pardo and Alicia Villanueva. - Coinductive Soundness of Corecursive Type Class Resolution. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu. - MiniZinc with Strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey and Guido Tack. - On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Fred Mesnard, Etienne Payet and German Vidal. - Verification of Time-Aware Business Processes using Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti. - Tuning Fuzzy Logic Programs with Symbolic Execution. Gines Moreno, Jaime Penabad and German Vidal. - A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Paul Tarau. - A New Functional-Logic Compiler for Curry: Sprite. Sergio Antoy and Andy Jost. - Towards Reversible Computation in Erlang. Naoki Nishida, Adrian Palacios and German Vidal. - Slicing Concurrent Constraint Programs. Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi. - Scaling Bounded Model Checking By Transforming Programs With Arrays. Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C. - Hierarchical Shape Abstraction of Free-List Memory Allocators. Bin Fang and Mihaela Sighireanu. - A Productivity Checker for Logic Programming. Ekaterina Komendantskaya, Patricia Johann and Martin Möhrmann. - Automata Theory Approach to Predicate Intuitionistic Logic. Maciej Zielenkiewicz and Aleksy Schubert. - Nominal Unification of Higher Order Expressions with Recursive Let. Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret. - A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin. - Partial Evaluation of Order-sorted Equational Programs modulo Axioms. María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer. - lpopt: A Rule Optimization Tool for Answer Set Programming. Manuel Bichler, Michael Morak and Stefan Woltran. - CurryCheck: Checking Properties of Curry Programs. Michael Hanus. - Intuitionistic Logic Programming for SQL. Fernando Saenz-Perez. Hope to see you in Edinburgh! Manuel Hermengildo and Pedro Lopez-Garcia LOPSTR 2016 Co-chairs From grlmc at grlmc.com Wed Aug 10 20:05:43 2016 From: grlmc at grlmc.com (GRLMC) Date: Wed, 10 Aug 2016 20:05:43 +0200 Subject: [fg-arc] SLSP 2016: call for posters Message-ID: <545102060a010b020454500206005a07070707545707040702515a09025305045c020555520c080b56535700550b02@grlmc_ip-zone_com-6> SLSP 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Statistical Language and Speech Processing (SLSP 2016) invites researchers to submit poster presentations. SLSP 2016 will be held in Pilsen (Czech Republic) on October 11-12, 2016. See  http://grammars.grlmc.com/SLSP2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on the employment of statistical models (including machine learning) in language and speech processing are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 4, 2016 Notification of poster acceptance or rejection: September 11, 2016 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=slsp2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2016. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753). REGISTRATION At least one author of each accepted poster must register to the conference by September 27, 2016. The registration fare is reduced: 240 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Thu Aug 18 21:00:41 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Thu, 18 Aug 2016 22:00:41 +0300 (EEST) Subject: [fg-arc] Call for Participation: ICLP, New York City, Oct 16-21, 2016: International Conference on Logic Programming Message-ID: <20160818190041.7C06A2C02B4@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Call For Participation 32nd International Conference on Logic Programming New York City, USA October 16-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ News: - The list of accepted papers is available online: http://software.imdea.org/Conferences/ICLP2016/accepted.html - Early registration deadline: September 5. - Invited talks: * Arun Majumdar: One Billion Dollars, Global Warming and Logic Programming. * Francesca Rossi: Embedding Ethical Principles in Decision Support Systems: Can (Constraint) Logic Programming Play a Role? - Tutorials: * Michael Kifer, Theresa Swift and Benjamin Grosof: Practical Knowledge Representation and Reasoning in Ergo. * Yuliya Lierler: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories. - Autumn School on Computational Logic: http://iclp16school.webs.upv.es/ * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming - Sponsors: * The Association for Logic Programming: http://logicprogramming.org/ * LogicBlox, Inc: http://www.logicblox.com/ * Semantic Systems: http://www.semantic-systems.com/ * UT Dallas: http://www.utdallas.edu/ Conference Scope Since the first conference held in Marseille in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Early Registration Deadline: September 5, 2016 Conference: October 16-21, 2016 Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic Students and researchers are invited to participate in the Autumn School with the following tutorials: * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming Information on scholarships can be found on the homepage: http://iclp16school.webs.upv.es/ Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP), LogicBlox Inc., Semantic Systems, and UT Dallas. Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From grlmc at grlmc.com Thu Aug 18 23:27:00 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 18 Aug 2016 23:27:00 +0200 Subject: [fg-arc] BigDat 2017: early registration August 26 Message-ID: <545102060a010b020451510b05005a545053565101080403060b0b530e045a0707550c0e015a5301530752570e0a55@grlmc_ip-zone_com-6> BigDat 2017: early registration August 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2017   Bari, Italy   February 13-17, 2017   Organized by: University of Bari "Aldo Moro" Rovira i Virgili University   http://grammars.grlmc.com/BigDat2017/   ********************************************************   --- Early registration deadline: August 26, 2016 ---   ********************************************************   AIM:   BigDat 2017 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.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 2-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 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be:   Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples   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   Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy   Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud   Geoffrey C. Fox (Indiana University), tba   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics   Sander Klous (University of Amsterdam), [introductory] We Are Big Data   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management   Jiebo Luo (University of Rochester), [introductory/advanced] Big Data. Strong Health. Better Life   Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics   Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data   Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis   Pierangela Samarati (University of Milan), [intermediate] Data Protection in the Cloud   V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity   Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Lyle Ungar (University of Pennsylvania), [introductory] Text Mining   John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by February 10, 2017.   ORGANIZING COMMITTEE:   Annalisa Appice Michelangelo Ceci (co-chair) Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2017/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.   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 will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate allowing the attendance to all courses during the week. 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.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Fri Aug 19 09:54:03 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Fri, 19 Aug 2016 07:54:03 +0000 Subject: [fg-arc] ACM/SPEC ICPE 2017 - 2nd Call for Papers Message-ID: <9604E498-BD54-497A-B150-7B362C68C515@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Research and Industrial / Experience Abstracts: Sep 23, 2016 Research and Industrial / Experience Papers: Sep 30, 2016 Research and Industrial / Experience Paper Notification: Nov 18, 2016 Work-in-Progress/Vision Papers: Nov 25, 2016 Workshop Proposals: Nov 05, 2016 Workshop Proposal Notification: Nov 19, 2016 Dates for tutorials, posters and demos will be announced. ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is cost-effective performance engineering, where cost has a wide interpretation including measures such as effort and energy in addition to traditional performance measures. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of micro-service architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, data analytics systems, and other data analysis systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2017.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference, there will be a call for a special issue of a journal. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) Amy Apon, Clemson University Martin Arlitt, HP Labs and University of Calgary Alberto Avritzer, Performance Engineering Consultant Steffen Becker, University of Technology Chemnitz Robert Birke, IBM Zurich Research Laboratory Andre B. Bondi, Software Performance and Scalability Consulting LLC Niklas Carlsson, Linkoping University Lydia Y. Chen, IBM Zurich Research Laboratory Lucy Cherkasova, HP Labs Antinisca Di Marco, Università dell'Aquila Wilhelm Hasselbring, Kiel University Alexandru Iosup, Delft University of Technology Evangelia Kalyvianaki, City University London Samuel Kounev, University of Wuerzburg Heiko Koziolek, ABB Corporate Research Diwakar Krishnamurthy, University of Calgary Patrick Lee, The Chinese University of Hong Kong Catalina M. Lladó, Universitat Illes Balears Lei Lu, VMware Andrea Marin, University of Venice Daniel Menasce, George Mason University Daniel S. Menasché, Federal Univ. of Rio de Janeiro José Merseguer, Universidad de Zaragoza Ningfang Mi, Northeastern University Raffaela Mirandola, Politecnico di Milano Manoj Nambiar, Tata Consultancy Services Dorina Petriu, Carleton University Denys Poshyvanyk, College of William and Mary Ralf Reussner, Karlsruhe Institute of Technology Alma Riska, Network Appliances Jerry Rolia, HP Labs Rekha Singhal, Tata Consultancy Services Mirco Tribastone, IMT Institute for Advanced Studies Catia Trubiani, Gran Sasso Science Institute Petr Tuma, Charles University Ana Lucia Varbanescu, University of Amsterdam Enrico Vicario, University of Florence Katinka Wolter, Freie Universitaet zu Berlin Murray Woodside, Carleton University Feng Yan, University of Nevada-Reno Xiaoyun Zhu, Futurewei Technologies Inc ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From neha.s.rungta at nasa.gov Thu Aug 25 02:30:42 2016 From: neha.s.rungta at nasa.gov (Rungta, Neha S. (ARC-TI)[SGT, INC]) Date: Thu, 25 Aug 2016 00:30:42 +0000 Subject: [fg-arc] [fm-announcements] CFP NFM 2017: 9th NASA Formal Methods Symposium Message-ID: <662D03D3-BA5A-4D7A-81AB-3722D646E0D3@nasa.gov> NFM 2017 - Call For Papers The 9th NASA Formal Methods Symposium ------------------------------------- http://ti.arc.nasa.gov/events/nfm-2017/ May 16 - 18, 2017 NASA Ames Research Center Moffett Field, CA, USA Theme of the Symposium ---------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems’ specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM’s goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. Topics of interest include but are not limited to: ------------------------------------------------- * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Formal methods for multi-core, GPU-based implementations * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification Important Dates --------------- Abstract Submission: November 28, 2016 Paper Submission: December 5, 2016 Paper notification: February 3, 2017 Camera Ready Deadline: March 1, 2017 Symposium: May 16-18, 2017 Location -------- The symposium will take place at NASA Ames Research Center, Moffett Field, CA, USA. Registration is required but is free of charge. Submission Details ------------------ There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Fri Aug 26 00:23:08 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 26 Aug 2016 00:23:08 +0200 Subject: [fg-arc] LATA 2017: 1st call for papers Message-ID: <545102060a010b0205545105050b5a5051520459000455570751580902025454570251020b0b080751525006550056@grlmc_ip-zone_com-6> LATA 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2017 will consist of:   invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE (to be completed):   Eric Allender (Rutgers University, Piscataway, US) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rodney Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Jean-Éric Pin (Paris Diderot University, FR) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) 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=lata2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 21, 2016 Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Umeå universitet Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Aug 30 23:03:35 2016 From: grlmc at grlmc.com (GRLMC) Date: Tue, 30 Aug 2016 23:03:35 +0200 Subject: [fg-arc] SLSP 2016 posters: submission deadline September 4 Message-ID: <545102060a010b020551510400005a03550353590a040107510b0d0657070007000751560a5a020102510700550700@grlmc_ip-zone_com-6> SLSP 2016 posters: submission deadline September 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Statistical Language and Speech Processing (SLSP 2016) invites researchers to submit poster presentations. SLSP 2016 will be held in Pilsen (Czech Republic) on October 11-12, 2016. See  http://grammars.grlmc.com/SLSP2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on the employment of statistical models (including machine learning) in language and speech processing are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 4, 2016 Notification of poster acceptance or rejection: September 11, 2016 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=slsp2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2016. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753). REGISTRATION At least one author of each accepted poster must register to the conference by September 27, 2016. The registration fare is reduced: 240 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: