February 2019 - Haskell

Call for Conference Grant Applications (Inclusiveness Target Countries)
by Ambrus Kaposi 05 Nov '19

05 Nov '19

Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of September 2017, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator

1 6

SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada)
by Aneta Poniszewska-Marańda 28 Apr '19

28 Apr '19

--- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 7

Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities
by Rodolfo I. Meneguette 28 Feb '19

28 Feb '19

Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/manuscript-submission-guidelines. Please submit your manuscript in electronic form through Manuscript Central web site: https://mc.manuscriptcentral.com/tii . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested.

1 0

Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities
by Rodolfo I. Meneguette 28 Feb '19

28 Feb '19

Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/manuscript-submission-guidelines. Please submit your manuscript in electronic form through Manuscript Central web site: https://mc.manuscriptcentral.com/tii . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested.

1 0

CFP: ACM SIGPLAN Scala Symposium 2019
by Nate Nystrom 28 Feb '19

28 Feb '19

Tenth ACM SIGPLAN Scala Symposium https://2019.ecoop.org/home/scala-2019 London, UK July 17, 2019 Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ECOOP 2019 in London, UK. # Topics of Interest # We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Do not hesitate to contact the Program Chair (nate.nystrom(a)usi.ch) if you are unsure whether a particular topic falls within the scope of Scala 2019. # Important dates # * Paper submission: April 9, 2019 * Paper notification: May 24, 2019 * Student talk submission: May 31, 2019 * Student talk notification: June 14, 2019 * Camera ready: June 7, 2019 * Scala Symposium 2019: July 17, 2019 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). # Submission Format # To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) * Open-source talks (short abstract only, in plain text) Accepted papers (either full papers, short ones or tool papers, but not student talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page ( https://www.sigplan.org/Resources/Author) Scala 2019 submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions and to the SIGPLAN Republication Policy. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # Full and Short Papers # Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). # Tool Papers # Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks # In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 5-10 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks # We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 10 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee # * (General Chair) Sukyoung Ryu (KAIST, South Korea) * (PC Chair) Nathaniel Nystrom (USI, Switzerland) * (Sponsorship Chair) Jonathan Immanuel Brachthäuser (University of Tübingen, Germany) # Program Committee # - Aggelos Biboudis - EPFL, Switzerland - Edwin Brady - University of St. Andrews, UK - Franck Cassez - Macquarie University, Australia - Wolfgang De Meuter - Vrije Universiteit Brussel, Belgium - Sebastien Doeraene - EPFL, Switzerland - Edward Kmett - Machine Intelligence Research Institute, USA - Doug Lea - SUNY Oswego, USA - Ana Milanova - Rensselaer Polytechnic Institute, USA - Ulf Norell - University of Gothenburg, Sweden - Nate Nystrom - Università della Svizzera italiana, Switzerland (chair) - Miles Sabin - Underscore.io, UK - Guido Salvaneschi - Technische Universität Darmstadt, Germany - Marco Servetto - Victoria University of Wellington, New Zealand - Daniel Spiewak - SlamData, USA - Mirko Viroli - University of Bologna, Italy # Submission Website # The submission will be managed through HotCRP: https://scala19.hotcrp.com. For questions and additional clarifications, please contact the conference organizers.

1 0

Haskell.Org accepted for GSoC 2019
by Jasper Van der Jeugt 26 Feb '19

26 Feb '19

Hi all, We're very excited to announce that Haskell.Org has been accepted [1] into the Google Summer of Code 2019 program [2]. We hope that, like last year, it will lead to a whole range of improvements to the Haskell ecosystem, and to new faces joining our community! We would like to thank everyone who submitted ideas -- this is a key part of being accepted into GSoC. Now, here's the near term timeline: - Today - March 25: Potential student participants discuss application ideas with mentors - March 25 - April 9: Students can submit applications - May 6: Accepted student proposals announced At this point, we're looking for both students and extra mentors. We would like to assign at least two mentors to each project if possible, so the students get the support they deserve. Additional ideas for projects are still welcome! There's a lot of information on our Summer of Haskell page [3]. If there are any students who are not sure where to begin, feel free to reach out to us directly [4]! [1]: https://summerofcode.withgoogle.com/organizations/5556388114202624/ [2]: https://summerofcode.withgoogle.com/ [3]: https://summer.haskell.org/ [4]: https://summer.haskell.org/contact.html Warm regards Jasper Van der Jeugt on behalf of the Haskell.Org Committee

1 0

[ANN] Haskell.Org Discourse Instance
by Jasper Van der Jeugt 22 Feb '19

22 Feb '19

Hello all, We would like to announce a new discourse-based forum for the Haskell community, at: https://discourse.haskell.org/ This is inspired by the Rust, Nix and Elm discourse instances, where these forums have had a strong positive effect on the community. We will run this as a "beta" for 6 months and then evaluate its usefulness. It is meant as an extra alternative to Haskell-cafe, reddit and Haskell IRC, but it does not replace any of those. Discourse is completely open source and easily accessible using an email client. We would like to thank the Haskell.Org admin team for provisioning a server and Matthew Pickering for suggesting this and doing the hard work setting up the instance. Warm regards, Jasper Van der Jeugt on behalf of the Haskell.Org Committee

1 0

CfP: HLPP 2019 - 12th International Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 21 Feb '19

21 Feb '19

CALL FOR PAPERS: 12th International Symposium on High-Level Parallel Programming and Applications (HLPP-2019) July 3-5, 2019, Linköping, Sweden https://www.ida.liu.se/conferences/hlpp2019/ Aims and scope of HLPP: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 12th Symposium on High-Level Parallel Programming and Applications will be held in Linköping, Sweden. HLPP 2019 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: High-level parallel programming and performance models (e.g. BSP, CGM, LogP, MPM, etc.) and tools Declarative parallel programming methodologies based on functional, logical, data-flow, actor, and other paradigms Algorithmic skeletons, patterns, etc. and constructive methods High-level parallelism in programming languages and libraries (e.g, Haskell, Scala, C++, etc.): semantics and implementation Verification of declarative parallel and distributed programs Efficient code generation, auto-tuning and optimization for parallel programs Model-driven software engineering for parallel systems Domain-specific languages: design, implementation and applications High-level programming models for heterogeneous/hierarchical platforms with accelerators, e.g., GPU, Many-core, DSP, VPU, FPGA, etc. High-level parallel methods for large structured and semi-structured datasets Applications of parallel systems using high-level languages and tools Teaching experience with high-level tools and methods Papers submitted to HLPP-2019 must describe original research results and must not have been published or simultaneously submitted anywhere else. For formatting and submission see https://www.ida.liu.se/conferences/hlpp2019/submission.shtml Each paper will receive a minimum of three reviews by members of the program committee. Papers will be selected based on their originality, relevance, technical clarity, and quality of presentation. At least one author of each accepted paper must register for the HLPP 2019 symposium and present the paper. Informal proceedings with the camera-ready versions of accepted papers will be available at the symposium. After the symposium, there will be ample time to revise the paper incorporating reviewer comments. Authors of accepted and presented papers will be invited to submit a revised version of their paper for publication in a special issue of the International Journal of Parallel Programming (Springer). HLPP-2019 will also include tutorials and an open poster session for current (esp., European) research projects related to the scope of the symposium. For details see the HLPP-2019 web page. Important dates: Paper submission: 5 April 2019 Notification: 24 May 2019 Poster abstracts: 1 June 2019 Tutorial(s): 3 July 2019 (afternoon) Symposium: 4-5 July 2019 at Linköping University, Linköping, Sweden Post-symposium special issue submission: 9 October 2019 Organization Christoph Kessler, Linköping University, Sweden (program chair) Suejb Memeti, Linköping University, Sweden Program Committee Marco Aldinucci, University of Torino, Italy Ioana Banicescu, Mississippi State University, USA Jost Berthold, Digital Asset, Australia Murray Cole, University of Edinburgh, UK Frederic Dabrowski, LIFO/Univ. Orleans, France Rudolf Eigenmann, University of Delaware, USA Franz Franchetti, Carnegie Mellon University, USA Jose Daniel Garcia, Univ. Carlos III Madrid, Spain Frederic Gava, Univ. Paris-East, France Alex Gerbessiotis, New Jersey Inst. Techn., USA Arturo Gonzalez-Escribano, Univ. Valladolid, Spain Sergei Gorlatch, Univ. of Münster, Germany Clemens Grelck, Univ. of Amsterdam, Netherlands Dalvan Griebler, PUCRS/SETREM, Brasil Gaetan Hains, Huawei Paris Research Center, France Ludovic Henrio, CNRS Lyon, France Peter Kilpatrick, Queen's Univ. Belfast, UK Herbert Kuchen, Univ. of Münster, Germany Frederic Loulergue, Northern Arizona University, USA Kiminori Matsuzaki, Kochi Univ. of Technology, Japan Aleksandar Prokopec, EPFL Lausanne, Switzerland Kostis Sagonas, Uppsala University, Sweden Michel Steuwer, Univ. of Glasgow, UK Massimo Torquati, Univ. of Pisa, Italy Jesper Larsson Träff, Vienna Univ. of Technology, Austria Ana Lucia Varbanescu, Univ. of Amsterdam, Netherlands Steering Committee Clemens Grelck (University of Amsterdam, Netherlands) Gaetan Hains (Huawei Technologies Paris, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frederic Loulergue (Northern Arizona University, USA) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) https://www.ida.liu.se/conferences/hlpp2019 -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 System and Network Engineering Lab F +31 (0) 20 525 7490 Office C3.109 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0

CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19)
by Yazan Mualla 19 Feb '19

19 Feb '19

CALL FOR PAPERS The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) 13th and 14th of May 2019 in Montreal, Canada. https://extraamas.ehealth.hevs.ch ------------------------------------------------------------------------------------------- Description ========== The aim of the EXTRAAMAS-19 workshop is to: - Establish a common ground for the study and development of explainable and understandable autonomous agents, robots and multi-agent systems, - Investigate the potential of agent-based systems in the development of personalized user-aware explainable AI, - Assess the impact of transparent and explained solutions on user/agents behaviors, and - Discuss motivating examples and concrete applications in which the lack of explainability leads to problems that can be resolved by explainability. ---------------------------------------------- Topics ====== The main topics of the EXTRAAMAS-19 workshop are (but not restricted to): - Explainable agent architectures - Adaptive and personalized explainable agents - Explainable human-robot interaction - Expressive robots - Explainable planning - Explanation visualization - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Reinforcement learning agents - Cognitive and social sciences perspectives on explanations - Legal aspects of explainable agents ---------------------------------------------- Important Dates ============== - Deadline for Submissions: February 20, 2019 - Notification of acceptance: March 10, 2019 - Camera-ready: April 1, 2019 - Workshop: May 13-14, 2019 ---------------------------------------------- Submission ========= Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, the final acceptance will be subject to their accomplishment. Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS proceedings template), and have to be submitted electronically as PDF files via the EasyChair submission page. The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). ---------------------------------------------- Program Chairs ============= - Kary Främling (Umeå University, Sweden / Aalto University, Finland) - Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) - Amro Najjar (Umeå University, Sweden) - Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) ---------------------------------------------- Advisory Board ============= - Virginia Dignum (Umeå University, Sweden) - Tim Miller (University of Melbourne, Australia) - Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) ---------------------------------------------- Publicity Chairs ============== - Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) - Timotheus Kampik (Umeå University, Sweden) ---------------------------------------------- Program Committee ================= To be announced.

1 3

ETAPS 2019 call for participation
by Tarmo Uustalu 18 Feb '19

18 Feb '19

****************************************************************** CALL FOR PARTICIPATION 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 https://conf.researchr.org/home/etaps-2019 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP) and TOOLympics, an event to celebrate the achievements of the various competitions or comparative evaluations. -- INVITED TALKS AND TUTORIALS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) * Tutorial speakers: Dirk Beyer (LMU München, Germany) Cesare Tinelli (University of Iowa, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at webpages of the individual conferences. For the 2nd year, the proceedings of the ETAPS main conferences in LNCS/ARCoSS will appear in Gold Open Access. -- PROGRAM -- See the full program here: https://conf.researchr.org/program/etaps-2019/program-etaps-2019 -- SATELLITE EVENTS (6-7 April) -- 18 satellite workshops and other events will take place before ETAPS 2019. DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis, TOOLympics (6-7 April) BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April) CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp, Mentoring Workshop (7 April) -- REGISTRATION -- Early registration is until Sunday, 11 March 2019, https://regmaster4.com/2019conf/ETAPS19/register.php -- HOST CITY AND VENUE -- ETAPS 2019 will take place in the centre of Prague, the beautiful capital of the Czech Republic. The main conferences will be held at Orea Hotel Pyramida, while the workshops will take place at the School of Computer Science, Faculty of Mathematics and Physics, Charles University. Both are close to the Prague Castle. For the special deal for accommodation at the conference hotel, see the conference website. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kofron(a)d3s.mff.cuni.cz and j.vitek(a)neu.edu.

1 0