From m.mazzara at innopolis.ru Sat Dec 2 13:51:09 2017 From: m.mazzara at innopolis.ru (Manuel Mazzara) Date: Sat, 2 Dec 2017 12:51:09 +0000 Subject: [fg-arc] STAF 2018: Call for Workshop In-Reply-To: References: Message-ID: <2d21ac2f520c4051a1a8c85aed9f7090@innopolis.ru> ------------------ Apologies for multiple postings ------------------ STAF 2018: Software Technologies: Applications and Foundations June 25-29, 2018, Toulouse, France Web: http://www.staf2018.fr -------------------------------------------------------------------- Call for Workshops -------------------------------------------------------------------- Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with a steering committee that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, formal approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools. STAF 2018 will bring together - 11th International Conference on Model Transformation (ICMT) - 11th International Conference on Graph Transformation (ICGT) - 14th European Conference on Modelling Foundations and Applications (ECMFA) - 12th International Conference on Tests and Proof (TAP) - 16th International Conference on Software Engineering and Formal Methods (SEFM). STAF 2018 will be held between June 25-29 within the premises of the National Polytechnic Institute (INP/ENSEEIHT) in Toulouse, France. STAF 2018 will also host a number of satellite events including workshops between June 25-29 2018. Workshops will provide a collaborative forum for groups of typically 15 to 35 participants to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical experience on specific aspects, specific problems, or domain-specific needs. Each workshop should provide a balanced distribution of its time for both presentation of papers and discussions. We encourage prospective workshop organizers to submit proposals for highly-interactive workshops. Both research-oriented and applied topics are welcome. The duration of each workshop is either half day or full day. --------------------------- Important Dates --------------------------- January 19, 2018: Workshop proposal submission deadline January 26, 2018: Notification of acceptance/rejection of workshop proposals February 16, 2016: Workshop Web page and Call for Papers issued --------------------------- Workshop Proposal Guidelines --------------------------- Your proposal document must contain the following information: 1. General Information 1.1 Event title 1.2 Organizers and primary contact (name/affiliation/email) 1.3 Abstract (200 words), intended for the STAF 2018 website 1.4 Desired length of the workshop (half day or full day) 1.5 Related STAF conference (among ICMT, ICGT, ECMFA, TAP, SEFM). If more than one, please indicate the most related one. 2. Objectives and Scope 2.1 Motivation 2.2 Objectives 2.3 Intended audience 2.4 Relevance (in particular to the STAF community) 2.5 Previous events including, where applicable, * a link to the website, * the number of submitted and accepted papers, and * the number of attendees 3. Organization Details 3.1 Details on the organizers (150 words max each), including relevant past experience in workshop organization 3.2 Preliminary list of program committee members (either proposed or confirmed -- please specify) 4. Workshop Format 4.1 Intended paper format (number of pages; types of papers, e.g., full papers, work-in-progress papers, practitioners' reports, posters) 4.2 Paper evaluation process 4.3 Intended publication of accepted papers (please see proceedings options stated below) 4.4 Intended workshop format (number of presentations, planned keynotes, panels, etc.) 4.5 How many participants do you expect (please explain your educated guess)? 4.6 Specific requirements (e.g., equipment, room capacity) For Section 4.4, please clarify in particular why participants should submit to your workshop instead of to a conference or journal on related topics. If you do not plan to apply some interactive parts (such as interactive brainstorming, prototyping, benchmarking, experimentation, ...) please clarify why you still think a physical workshop is the appropriate format. 5. Additional Material 5.1 Event Web page (URL of the draft Web page, if one exists) 5.2 Draft Call for Papers for the workshop (a one-page Call for Papers that you intend to send out if your workshop is accepted) --------------------------- For accepted workshops --------------------------- General rules: - The organizers will be required to issue the workshop Web page and the first Call for Papers by the deadline indicated above (see Important Dates). - All participants, including workshop organizers, keynote speakers, and invited guests, must register at least for the workshop day. - Every workshop will have one free registration every 15 paying registrants. We encourage workshop organisers to use these free registrations for keynote speakers. - Workshop organizers must attend their workshop or, if not possible, communicate in advance to the STAF Workshop co-chairs who will act as session chair(s) and will be responsible for the correct realization of the event. - The actual dates of workshops will be decided by the STAF organizers. Recommended deadlines to be set by the organizers of accepted workshops: - Workshop paper submission: April 20, 2018 (or later) - Workshop paper notification: May 25, 2018 (or before, but STRICTLY NOT LATER since the STAF early registration deadline will be end of May) --------------------------- Proceedings --------------------------- Workshops organizers may choose between two publishing options: - joining the STAF Workshop Post-Proceedings published with Springer LNCS - own agreements for proceedings or special issue publication In order to be included in the Springer LNCS post-proceedings, workshop papers should be: - written in English and prepared using the specific LNCS templates - be at least 6 pages but not exceed 15 pages long - have been suitably peer-reviewed Accepted papers of all workshops that opted for LNCS post-proceedings will be published in one (or more) collective volumes edited by the STAF Workshop co-chairs. --------------------------- Submissions --------------------------- Please ensure that you adhere to the above workshop proposal guidelines providing all requested information using at most six pages (not including the draft Call for Papers). Workshop proposals should be submitted in PDF using the Springer LNCS style (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and via Easychair: https://easychair.org/conferences/?conf=stafw18 Proposals will be selected based on their relevance to the conferences' aims, beneficiaries, and timely advances in their respective topics. In particular, proposals will be evaluated according to the following criteria: - potential to advance the state of research and practice - organizers' experience and ability to lead a successful event - meaningful use of methods that activate the audience - balance and synergy between the proposed topics - continuity of workshop series --------------------------- Workshop Co-Chairs --------------------------- - Manuel Mazzara, Innopolis University, Russia - Iulian Ober, University of Toulouse, France - Gwen Salaün, University of Grenoble Alpes, France For further information, please send us an email. -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.uni-stuttgart.de Tue Dec 5 10:16:06 2017 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Tue, 5 Dec 2017 10:16:06 +0100 Subject: [fg-arc] CfP HMD 323 - Praxis der Wirtschaftsinformatik Message-ID: Liebe Kolleginnen und Kollegen, anbei ein CfP, den ich im Namen von Herrn Prof. Knoll weiterleite. Viele Grüße Steffen Becker ----------------------------- snipp -- CfP ------------------------------ Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen, Die HMD 323 - Praxis der Wirtschaftsinformatik mit Erscheinungsdatum Oktober 2018 befasst sich mit aktuellen Fragestellungen rund um das Thema "IT-Architektur". Der Begriff „IT-Architektur“ ist vielschichtig, seine Verwendung in der Praxis daher häufig mehrdimensional. Aus diesem Grund ist es das Ziel der Ausgabe 323, einen umfassenden Überblick über die Architekturbegriffe im Kontext der IT zu verschaffen, sie systematisch einzuordnen und Anwendungsszenarien zu beschreiben. Neben technischen Beiträgen sollen insbesondere auch alle Überlegungen zur „richtigen“ Architektur im Kontext der Digitalisierung mit einfließen. Denn letztlich ist es gerade heute von zentraler Bedeutung die unternehmenseigene IT-Architektur auf allen Ebenen so zu gestalten, dass der digitale Wandel des eigenen Unternehmens erfolgreich gelingt. Gesucht werden daher Beiträge aus Forschung und Praxis gleichermaßen, die sich mit Fragen der Gestaltung der IT-Architektur ebenso auseinandersetzen, wie mit den Folgen im Kontext der Digitalisierung. Willkommen sind hierbei auch Beiträge zu speziellen Fragestellungen im Architektur-Kontext, beispielsweise passende Architektur-Konzepte für die Datenhaltung vor dem Hintergrund der neuen EU-DSGVO oder einer Architektur nach dem Konzept des Security-by-Design für die IoT-Welt. Zur besseren Planbarkeit bitte ich interessierte Autorinnen und Autoren, mir baldmöglichst in einem kurzen Abstract Ihren Beitragsvorschlag per Mail einzureichen. Dieser Abstract soll die wesentliche Frage-/Themenstellung und die wesentlichen Stichworte umfassen. Ihr fertiger Beitrag sollte für den Review-Prozess bis 01.05.2018 als anonymisiertes Word-Dokument über den Editorial-Manager (https://www.editorialmanager.com/hmdw/) eingereicht sein. Falls Sie hierzu Fragen haben, wenden Sie sich bitte per Mail direkt an mich. Die Beiträge werden doppelt begutachtet (siehe hierzu auch unsere Autorenrichtlinien auf der HMD-Website: www.springer.com/computer/journal/40702) und inhaltlich von mir als Herausgeber betreut. Eventuelle Überarbeitungen nach Abschluss des Begutachtungsverfahrens müssen bis spätestens 20.07.2018 abgeschlossen sein. Die endgültige Annahme erfolgt dann bis spätestens 27.07.2018 Bitte richten Sie Ihre Vorschläge an Prof. Dr. Matthias Knoll, Hochschule Darmstadt, matthias.knoll at h-da.de. Für Rückfragen stehe ich jederzeit gerne zur Verfügung und freue mich auf Ihre Einreichungen. Mit den besten Grüßen Matthias Knoll -- -- Universität Stuttgart - Institut für Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html -------------- next part -------------- A non-text attachment was scrubbed... Name: steffen_becker.vcf Type: text/x-vcard Size: 478 bytes Desc: not available URL: From raoul.strackx at cs.kuleuven.be Wed Dec 6 10:04:00 2017 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Wed, 6 Dec 2017 10:04:00 +0100 Subject: [fg-arc] [ESSoS'18] International Symposium on Engineering Secure Software and Systems Message-ID: <7e6935b2-a766-6112-702f-7c5fd931b039@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | International Symposium on | | Engineering Secure Software and Systems | | (ESSoS) | | | | June 26-27, 2018 | | Campus Paris-Saclay, France | | (Co-Located with DIMVA) | | | | | | https://distrinet.cs.kuleuven.be/events/essos/2018/index.html | | | | In cooperation with: ACM SIGSAC and SIGSOFT (pending) | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | Next important date: | | *Paper submission*: Friday, March 9, 2018 (firm) | +----------------------------------------------------------------------+ +------------------------+ | Context and motivation | +------------------------+ Software-based systems permeate the very fabric of our society -- from enterprise IT systems and mobile devices to smart home and city environments. Consequently, computer security is becoming an increasingly inter-disciplinary subject requiring attention to the various aspects of securing our software-based infrastructure. One must pay careful attention to ensure compatibility with existing software and the wider socio-technical context (e.g., users and organisations) which it inhabits. This, in turn, requires an approach that integrates insights from computer security research with rigorous software engineering methods to ensure the security and resilience of our digital infrastructure. ESSoS therefore welcomes contributions that are at the border of system security and software engineering. +----------------+ | Goal and setup | +----------------+ The goal of this symposium is to bring together researchers and practitioners to advance the state of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and software security communities. The symposium features two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in secure software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. +--------+ | Topics | +--------+ The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Secure software engineering - Security by design - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Processes for the development of secure software and systems - Security testing - Security requirements analysis and modelling - Model checking for security Secure programming - Programming paradigms, models, and domain-specific languages for security - Verification techniques for security properties - Static and dynamic code analysis for security - Program rewriting techniques for security - Security measurements Systems Security - Cloud security, virtualization for security - Mobile devices security - Operating system security - Web applications security Malware and vulnerability analysis - Automated techniques for vulnerability discovery and analysis - Binary code analysis, reverse-engineering - Malware: detection, analysis, mitigation - Computer forensics Human factors - Usable security - Studies of developers’ behaviours - Organisational practices pertaining to secure development Infrastructure security - Security in critical infrastructures - Embedded software security - Security of cyber-physical systems and IoT +-----------------+ | Important dates | +-----------------+ Paper submission: Friday, March 9, 2018 (firm) Paper acceptance notification: Friday, April 27, 2018 Artifact evaluation submission: Wednesday, May 2, 2018 Poster submission: Friday, May 4, 2018 Poster acceptance notification: Friday, May 18, 2018 Camera-ready: Friday, May 11, 2018 Conference: Tuesday to Wednesday, June 26-27, 2018 (DIMVA is held June 28-29, following ESSoS) +-----------------------+ | Submission and format | +-----------------------+ The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/computer/lncs, pending approval). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: - Full papers (max 14 pages excluding bibliography/appendices) Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. - Idea papers (max 8 pages including bibliography) Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. - Posters ESSoS will have a poster session to present ideas, discuss prototypes, and feature ongoing work. Authors of accepted papers and authors with evaluated artifacts are invited to submit a poster as well. Poster abstracts are limited to 1 page. - Approved Artifacts Due to the secure software engineering focus, we expect the majority of papers to be based on an accompanying software artifact, data set, or similar. We strongly encourage the authors of accepted papers to submit such artifacts for evaluation. Artifact Evaluation will take place after accepted papers have been announced. Further information will be given closer to the paper-submission deadline. Submissions where the artifact evaluation committee can reproduce the software artifacts and evaluation will receive the “approved artifact” badge. Authors of approved artifacts are further given the opportunity to demo their artifact at the conference. In addition, the committee will select a best artifact to receive the Distinguished Artifact Award. From raoul.strackx at CS.KULEUVEN.BE Wed Dec 6 10:03:00 2017 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Wed, 6 Dec 2017 10:03:00 +0100 Subject: [fg-arc] [ESSOS] [ESSoS'18] International Symposium on Engineering Secure Software and Systems Message-ID: <8ecf39f2-f36a-4bb8-9a39-ee3701ae2a9c@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | International Symposium on | | Engineering Secure Software and Systems | | (ESSoS) | | | | June 26-27, 2018 | | Campus Paris-Saclay, France | | (Co-Located with DIMVA) | | | | | | https://distrinet.cs.kuleuven.be/events/essos/2018/index.html | | | | In cooperation with: ACM SIGSAC and SIGSOFT (pending) | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | Next important date: | | *Paper submission*: Friday, March 9, 2018 (firm) | +----------------------------------------------------------------------+ +------------------------+ | Context and motivation | +------------------------+ Software-based systems permeate the very fabric of our society -- from enterprise IT systems and mobile devices to smart home and city environments. Consequently, computer security is becoming an increasingly inter-disciplinary subject requiring attention to the various aspects of securing our software-based infrastructure. One must pay careful attention to ensure compatibility with existing software and the wider socio-technical context (e.g., users and organisations) which it inhabits. This, in turn, requires an approach that integrates insights from computer security research with rigorous software engineering methods to ensure the security and resilience of our digital infrastructure. ESSoS therefore welcomes contributions that are at the border of system security and software engineering. +----------------+ | Goal and setup | +----------------+ The goal of this symposium is to bring together researchers and practitioners to advance the state of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and software security communities. The symposium features two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in secure software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. +--------+ | Topics | +--------+ The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Secure software engineering - Security by design - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Processes for the development of secure software and systems - Security testing - Security requirements analysis and modelling - Model checking for security Secure programming - Programming paradigms, models, and domain-specific languages for security - Verification techniques for security properties - Static and dynamic code analysis for security - Program rewriting techniques for security - Security measurements Systems Security - Cloud security, virtualization for security - Mobile devices security - Operating system security - Web applications security Malware and vulnerability analysis - Automated techniques for vulnerability discovery and analysis - Binary code analysis, reverse-engineering - Malware: detection, analysis, mitigation - Computer forensics Human factors - Usable security - Studies of developers’ behaviours - Organisational practices pertaining to secure development Infrastructure security - Security in critical infrastructures - Embedded software security - Security of cyber-physical systems and IoT +-----------------+ | Important dates | +-----------------+ Paper submission: Friday, March 9, 2018 (firm) Paper acceptance notification: Friday, April 27, 2018 Artifact evaluation submission: Wednesday, May 2, 2018 Poster submission: Friday, May 4, 2018 Poster acceptance notification: Friday, May 18, 2018 Camera-ready: Friday, May 11, 2018 Conference: Tuesday to Wednesday, June 26-27, 2018 (DIMVA is held June 28-29, following ESSoS) +-----------------------+ | Submission and format | +-----------------------+ The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/computer/lncs, pending approval). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: - Full papers (max 14 pages excluding bibliography/appendices) Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. - Idea papers (max 8 pages including bibliography) Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. - Posters ESSoS will have a poster session to present ideas, discuss prototypes, and feature ongoing work. Authors of accepted papers and authors with evaluated artifacts are invited to submit a poster as well. Poster abstracts are limited to 1 page. - Approved Artifacts Due to the secure software engineering focus, we expect the majority of papers to be based on an accompanying software artifact, data set, or similar. We strongly encourage the authors of accepted papers to submit such artifacts for evaluation. Artifact Evaluation will take place after accepted papers have been announced. Further information will be given closer to the paper-submission deadline. Submissions where the artifact evaluation committee can reproduce the software artifacts and evaluation will receive the “approved artifact” badge. Authors of approved artifacts are further given the opportunity to demo their artifact at the conference. In addition, the committee will select a best artifact to receive the Distinguished Artifact Award. From grlmc at grlmc.com Fri Dec 8 00:57:51 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 08 Dec 2017 00:57:51 +0100 Subject: [fg-arc] TPNC 2017: call for participation Message-ID: <545102060a010b070954530606015a5752530507570555540a0a5b03550f00575c5954510358520351040206520204@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 -------------- next part -------------- An HTML attachment was scrubbed... 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: [fg-arc] 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From haowu at cs.nuim.ie Mon Dec 11 12:41:43 2017 From: haowu at cs.nuim.ie (HaoWu) Date: Mon, 11 Dec 2017 11:41:43 -0000 Subject: [fg-arc] iFM 2018 Call For Paper Message-ID: <023201d37275$0eb995e0$2c2cc1a0$@cs.nuim.ie> =========================================================== CALL FOR PAPERS iFM 2018 14th International Conference on integrated Formal Methods September 5-7, 2018, Maynooth, Irland https://ifm2018.cs.nuim.ie/ =========================================================== === Important dates === Abstract submission: Monday, 16 April 2018 Paper submission: Friday, 20 April 2018 Notification: Thursday, 14 June 2018 Camera-ready copy: Tuesday, 1 July 2018 Conference: 5-7 September 2018 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis: the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference === Submission guidelines === iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: - Regular papers (limit 15 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigourous evaluations - Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions should be made using the iFM 2018 Easychair site: https://easychair.org/conferences/?conf=ifm2018 Submissions must be in PDF format, using the Springer LNCS style files. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. === Organization === = General chair = Rosemary Monahan, Maynooth University, Ireland = PC chairs = Carlo A. Furia, Chalmers University of Technology, Sweden Kirsten Winter, University of Queensland, Australia = Program committee = Erika Abraham, RWTH Aachen, Germany Bernhard Aichernig, University of Graz, Austria Elvira Albert, Complutense University of Madrid, Spain Domenico Bianculli, University of Luxembourg, Luxembourg Eeke Boiten, University of Kent, UK Einar Broch Johnsen, University of Oslo, Norway Maria Christakis, MPI-SWS, Germany David Cok, GrammaTech, USA Robert Colvin, University of Queensland, Australia Ferruccio Damiani, University of Turin, Italy Eva Darulova, MPI SWS, Germany Frank de Boer, CWI Amsterdam, Netherlands John Derrick, University of Sheffield, UK Brijesh Dongol, Brunel University, UK Catherine Dubois, ENSIEE, France Diego Garbervetsky, University of Buenos Aires, Argentina Peter Hoefner, Data61, Australia Marieke Huisman, University of Twente, Netherlands Rajeev Joshi, NASA JPL, USA Nikolai Kosmatov, CEA LIST, France Laura Kovács, Vienna University of Technology, Austria Rustan Leino, Amazon, USA Larissa Meinicke, University of Queensland, Australia Dominique Mery, LORIA Nancy, France Toby Murray, University of Melbourne, Australia Luigia Petre, Åbo Akademi University, Finland Ruzica Piskac, Yale University, USA Chris Poskitt, SUTD, Singapore Kostis Sagonas, Uppsala University, Sweden Gerhard Schellhorn, Universitaet Augsburg, Germany Steve Schneider, University of Surrey, UK Gerardo Schneider, University of Gothenburg, Sweden Emil Sekerinski, McMaster University, Canada Martin Steffen, University of Oslo, Norway Helen Treharne, University of Surrey, UK Caterina Urban, ETH Zurich, Switzerland Mark Utting, University of Sunshine Coast, Australia Heike Wehrheim, University of Paderborn, Germany Mitsuharu Yamamoto, Chiba University, Japan Chenyi Zhang, Jinan University, China = Publicity chair = Hao Wu, Maynooth University, Ireland === Conference location === iFM 2018 is organized by Maynooth University and will take place in Maynooth, Ireland. -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Thu Dec 14 00:26:56 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 14 Dec 2017 00:26:56 +0100 Subject: [fg-arc] AlCoB 2018: 1st call for papers Message-ID: <545102060a010b07095e500b02015a54005403020b5307000b045f550055065852545406520e070708000757010202@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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From wortmann at se-rwth.de Mon Dec 18 11:33:37 2017 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Mon, 18 Dec 2017 11:33:37 +0100 Subject: [fg-arc] CfP: Workshop on Robotics Software Engineering (May 28 at ICSE'18) Message-ID: Call for Papers First International Workshop on Robotics Software Engineering Co-located with ICSE 2018 May 28, Gothenburg, Sweden http://tinyurl.com/RoSE2018 Robotics is one of the most challenging domains for software engineering. Deploying even simple applications requires integrating solutions from experts of various domains, including navigation, path planning, manipulation, localization, human-robot interaction, etc. Integration of modules contributed by respective domain experts is one of the key challenges in engineering software-centric systems, yet only one of the cross-cutting software concerns crucial to robotics. As robots often operate in dynamic, partially observable environments additional challenges include adaptability, robustness, safety, and security. The goal of RoSE 2018 is to bring together researchers from participating domains with practitioners to identify new frontiers in robotics software engineering, discuss challenges raised by real-world applications, and transfer latest insights from research to industry. RoSE 2018 will solicit contributions from both academic and industrial participants, thus fostering active synergy between the two communities. RoSE 2018 welcomes the following types of contributions: * research papers presenting novel contributions on advancing software engineering in robotics (6-8 pages) * challenge showcase papers describing robotics challenges considered insufficiently addressed from an industry perspective (4-6 pages) * vision papers on the future of software engineering in robotics (2-4 pages) The submission and review process will be done using EasyChair (http://www.easychair.org/?conf=rose2018). The official publication date of the workshop proceedings is the date the proceedings are made available in the ACM Library. This date may be up to two weeks prior to the first day of ICSE 2018. The official publication date affects the deadline for any patent filings related to published work. Important Dates * Submission deadline: February 05 2018 * Notification of acceptance: March 05 2018 * Camera-ready version: March 19 2018 Best wishes, Federico Ciccozzi (Mälardalen University, Sweden) Davide Di Ruscio (University of L’Aquila, Italy) Ivano Malavolta (Vrije Universiteit Amsterdam, The Netherlands) Patrizio Pelliccione (Chalmers University of Technology, Sweden) Andreas Wortmann (RWTH Aachen University, Germany) -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21343 / Fax -22218 | http://www.se-rwth.de From grlmc at grlmc.com Tue Dec 19 04:03:54 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 19 Dec 2017 04:03:54 +0100 Subject: [fg-arc] BigDat 2018: early registration December 27 Message-ID: <545102060a010b06005250040e015a035a5f5704565202540a000e550f02545103020205075a035054530756005657@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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From alfonso.pierantonio at univaq.it Tue Dec 19 15:37:45 2017 From: alfonso.pierantonio at univaq.it (Alfonso Pierantonio) Date: Tue, 19 Dec 2017 15:37:45 +0100 Subject: [fg-arc] ECMFA 2018: CfP 14th European Conference on Modelling Foundations and Applications Message-ID: <4B744321-02B6-4BCA-88A5-ECC936C6BBFE@univaq.it> [apologies for multiple copies] ===================================================================== 14th European Conference on Modelling Foundations and Applications ECMFA 2018: Call for Papers Co-located with STAF 2018 June 25-29, 2018, Toulouse (France) http://eventmall.info/ecmfa2018/ ===================================================================== == IMPORTANT DATES Abstract submission: February 23, 2018 Paper submission: March 2, 2018 Notification of acceptance: April 9, 2018 Camera-ready version due: April 23, 2018 Conference: June 25-27, 2018 == OVERVIEW Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality. The ECMFA conference series is dedicated to advancing the state of knowledge and fostering the industrial application of MBE and related approaches. Its focus is on engaging the key figures of research and industry in a dialog which will result in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results. ECMFA 2018 will be co-located with ICMT, TAP, SEFM, ICGT and TTC as part of the STAF federation of conferences, leading conferences on software technologies (STAF 2018). The joint organization of these prominent conferences provides a unique opportunity to gather practitioners and researchers interested in all aspects of software technology, and allow them to interact with each other. == TOPICS ECMFA has two distinct Paper Tracks: one for research papers dealing with the foundations for MBE, and one for industrial/applications papers dealing with the applications of MBE, including experience reports on MBE tools. Research Papers In this track, we are soliciting papers presenting original research on all aspects of MBE. Research papers will be evaluated based on their suitability for the conference, originality, and technical soundness. They require novel and complete research work supported by adequate evaluation results. Typical topics of interest include, among others: - Foundations of (Meta)modelling - Domain Specific Modelling Languages and Language Workbenches - Model Reasoning, Testing and Validation - Model Transformation, Code Generation and Reverse Engineering - Model Execution and Simulation - Model Management aspects such as (Co-)Evolution, Consistency, Synchronization - Model-Based Engineering Environments and Tool Chains - Foundations of Requirements Modelling, Architecture Modelling, Platform Modelling - Foundations of Quality Aspects and Modelling non-functional System Properties - Scalability of MBE techniques - Collaborative Modeling Industrial Papers In this track, we are soliciting papers representing views, innovations and experiences of industrial players in applying or supporting MBE. In particular, we are looking for papers that set requirements on the foundations, methods, and tools for MBE. We are also seeking experience reports or case studies on the application, successes or current shortcomings of MBE. Quantitative results reflecting industrial experience are particularly appreciated. All application areas of MBE are welcome including but not limited to any of the following: - MBE for Large and Complex Industrial Systems - MBE for Safety-Critical Systems - MBE for Cyber-Physical Systems - MBE for Software and Business Process Modelling - MBE Applications in Transportation, Health Care, Cloud & Mobile computing, etc. - Model-Based Integration and Simulation - Model-Based System Analysis - Application of Modeling Standards - Comparative Studies of MBE Methods and Tools - Metrics for MBE Development - MBE Training == SUBMISSION GUIDELINES Manuscripts for both tracks must be submitted as PDF files through the EasyChair online submission system: https://easychair.org/conferences/?conf=ecmfa2018 Please ensure that you submit to the right track by choosing either Foundations or Applications as your topic in the EasyChair submission form. * Research papers should be up to 14 pages long plus at most 2 pages references (16 in total). * Industrial papers should be up to 12 pages long plus at most 2 pages references (14 pages in total) for full papers, or up to 2 pages long plus 1 page references (3 pages in total) for short papers. Short papers will be given shorter presentation slots. Papers must be compliant with the LNCS paper style. Failure to conform to these guidelines may result in disqualification of the paper. In particular, papers longer than the maximum number of pages may be automatically rejected without review. All contributions will be subject to a rigorous selection process by the Program Committee. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed; any concurrent submission will result in the immediate rejection of the paper. As in previous years, the proceedings of the conference with the accepted papers of both tracks will be published in a dedicated Springer LNCS volume. If accepted, one of the authors must attend the ECMFA 2018 conference and present the work in person. The proceedings of the conference with the accepted papers of both tracks will be published in a dedicated Springer LNCS volume. == SPECIAL ISSUE Selected papers among accepted ones in ECMFA 2018 with a proper extension will be considered for publishing in Special Issue of the International Journal on Software and Systems Modeling (SoSyM). Authors of selected papers will receive invitation to extend and submit a manuscript for this special issue. == KEYNOTE Perdita Stevens, Professor of Mathematics of Software Engineering in the School of Informatics of the University of Edinburgh, will give the keynote speech. == ORGANIZATION PC Chiars * Foundations Track Alfonso Pierantonio, Università degli Studi dell’Aquila, Italy * Applications Track Salvador Trujillo, Ikerlan, Spain Program Committees * Foundations Track PC - Anthony Anjorin, Paderborn University, Germany - Marco Brambilla, Politecnico di Milano, Italy - Jordi Cabot, ICREA, Spain - Marsha Chechik, University of Toronto, Canada - Antonio Cicchetti, Mälardalen University, Sweden - Benoit Combemale, University of Toulouse, France - Zinovy Diskin, McMaster/Waterloo University, Canada - Romina Eramo, Università degli Studi dell’Aquila, Italy - Michalis Famelis, University of Montreal, Canada - Martin Gogolla, University of Bremen, Germany - Jeff Gray, University of Alabama, USA - Joel Greenyer, Leibniz Universität Hannover, Germany - Esther Guerra, Universidad Autónoma de Madrid, Spain - Regina Hebig, Chalmers | Gothenburg University, Sweden - Reiko Heckel, University of Leicester, UK - Ludovico Iovino, Gran Sasso Science Institute, Italy - Ekkart Kindler , Technical University of Denmark - Dimitris Kolovos, University of York, UK - Thomas Kuehne, Victoria University of Wellington, New Zealand - Ralf Lämmel, Universität Koblenz-Landau, Germany - Timothy Lethbridge, University of Ottawa, Canada - Richard Paige, University of York, UK - Bernhard Rumpe, RWTH Aachen University, Germany - Eugene Syriani, University of Montreal, Canada - Massimo Tisi, IMT Atlantique, France - Antonio Vallecillo, Universidad de Málaga, Spain - Mark Van Den Brand, TU Eindhoven, The Netherlands - Hans Vangheluwe, Antwerp/ McGill University, Belgium and Canada - Daniel Varro, Budapest University of Technology and Economics, Hungary - Manuel Wimmer, Vienna University of Technology, Austria - Tao Yue, Simula Research Laboratory and University of Oslo, Norway - Steffen Zschaler, King's College London, UK * Applications Track PC (to be completed) - Shaukat Ali, Simula, Norway - Alessandra Bagnato, Softeam, France - Jean-Michel Bruel, IRIT, France - Federico Ciccozzi, MDH, Sweden - Sebastien Gerard, CEA, France - Øystein Haugen, University of Oslo, Norway - Rolf-Helge Pfeiffer, Danish Meteorological Institute, Danemark - Daniel Ratiu, Siemens Corporate Technology, Germany - Bernhard Rumpe, RWTH Aachen University, Germany - Houari Sahraoui, University of Montreal, Canada - Juha-Pekka Tolvanen, MetaCase, Finland - Ramin Tovakoli-Kolagali, University Nuernberg, Germany - Steffen Zschaler, King’s College London, UK == Contact All questions about submissions should be emailed to: ecmfa2018 at googlegroups.com -- Alfonso Pierantonio Department of Information Engineering, Computer Science and Mathematics University of L’Aquila, Italy http://bit.ly/APierantonio 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: [fg-arc] 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 Fri Dec 22 20:54:20 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 22 Dec 2017 20:54:20 +0100 Subject: [fg-arc] HighPer 2018: early registration December 28 Message-ID: <545102060a010b06015650010e055a00565153505607065305050f54045253515c585300575f060b05545106570300@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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Dec 30 10:34:12 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 30 Dec 2017 10:34:12 +0100 Subject: [fg-arc] AlCoB 2018: 2nd call for papers Message-ID: <545102060a010b060150500302025a015354530554085751050758090107065057590305005d555103005454500455@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 -------------- next part -------------- An HTML attachment was scrubbed... URL: