September 2018 - 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

Post-doc in programming languages and energy-, time- and security-aware parallel computing (Amsterdam)
by Clemens Grelck 27 Sep '18

27 Sep '18

The Systems and Networking Lab (SNE) in the Informatics Institute of the University of Amsterdam invites applications for a 2-year post-doctoral researcher position in the area of programming languages for energy-, time- and security-aware parallel computing. The successful candidate will primarily work with Dr Clemens Grelck and Dr Sebastian Altmeyer in the EU Horizon-2020 research project TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms, http://teamplay-h2020.eu/) The appointment will be full-time (38 hours per week) for a period of 2 years. The salary is in accordance with the Dutch university regulations for academic personnel and will range from €2,640 up to a maximum of €4,852 before tax per month (scale 10/11) based on a full-time appointment. Additional benefits such as the 8% holiday allowance and the 8.3% end of year allowance effectively lead to roughly 14 salaries per year. This is a paid position as a staff member of the Informatics Institute with all advantages and privileges of the Dutch higher education sector! The University of Amsterdam is one of the top research universities in Europe, and the Informatics Institute has consistently been ranked among the top 100 computer science departments in the world. Come to work in one of Europe’s top universities and live in one of Europe's most beautiful and cosmopolitan cities. Closing date: October 1, 2018 All further information and a link to apply can be found here: http://www.uva.nl/en/content/vacancies/2018/09/18-525--postdoctoral-researc… Or contact us directly: Dr Clemens Grelck: c.grelck(a)uva.nl Dr Sebastian Altmeyer: altmeyer(a)uva.nl -- ---------------------------------------------------------------------- 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

SPLASH 2018: Call for Participation
by SPLASH Publicity 25 Sep '18

25 Sep '18

ACM SIGPLAN SPLASH 2018 November 4-9, 2018 Boston, MA, USA http://2018.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. # Registration * 1 October 2018 (Early Deadline) <-- very soon! * Contact: info(a)splashcon.org * Register: https://2018.splashcon.org/attending/registration * Venue: https://2018.splashcon.org/venue/splash-2018-venue # What's Happening at SPLASH? ## Keynotes * Daniel Jackson A new modularity for software * Chris Granger Against the Current: What we Learned from Eve * Jenny Quillien Beauty is the Promise of Happiness * Barbara Liskov Distributed Abstractions * Felienne Hermans Explicit Direct Instruction in Programming Education * Kathi Fisler Programming Language Semantics through a Pedagogic Lens * Byron Cook Reasoning about Security of Amazon Web Services * Guy L. Steele Jr. (PLMW) 50 Years of Programming and Language Design * Saman Amarasinghe (GPCE) How to Make Sparse Fast * Martin Rinard (SLE) A New Approach for Software Correctness and Reliability ## Conference Program * https://2018.splashcon.org/program/program-splash-2018 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos, and panels that address topics relevant to the SPLASH community. The SPLASH-I series is held in the afternoons of SPLASH. Talks are open to all attendees. * https://2018.splashcon.org/track/splash-2018-SPLASH-I#program ## Research Tracks and Co-Located Conferences and Symposia * OOPSLA https://2018.splashcon.org/track/splash-2018-OOPSLA * Onward! Essays https://2018.onward-conference.org/track/onward-2018-Onward-Essays#program * Onward! Papers https://2018.onward-conference.org/track/onward-2018-papers#program * GPCE - Generative Programming: Concepts and Experience https://conf.researchr.org/track/gpce-2018/gpce-2018#program * SLE - Software Language Engineering https://conf.researchr.org/track/sle-2018/papers#program * DLS - Dynamic Languages Symposium https://conf.researchr.org/track/dls-2018/dls-2018#program * SPLASH-E https://2018.splashcon.org/track/splash-2018-SPLASH-E ## Workshops SPLASH 2018 is hosting 16 workshops this year. * AGERE! - Programming based on Actors, Agents, and Decentralized Control https://2018.splashcon.org/track/agere-2018-papers * AI-SEPS - Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems https://2018.splashcon.org/track/seps-2018-papers * BLOCKS+ https://2018.splashcon.org/track/blocks%2B-2018-papers * DSLDI - Domain-Specific Language Design and Implementation https://2018.splashcon.org/track/dsldi-2018-talks * GRACE https://2018.splashcon.org/track/grace-2018-papers * HILT - High Integrity Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems https://2018.splashcon.org/track/hilt-2018-papers * LIVE https://2018.splashcon.org/track/live-2018-papers * META - Meta-Programming Techniques and Reflection https://2018.splashcon.org/track/meta-2018 * NJR - Normalized Java Resource https://2018.splashcon.org/track/njr-2018-papers * NOOL - New Object-Oriented Languages https://2018.splashcon.org/track/nool-2018-papers * OCAP - Object-Capability Languages, Systems, and Applications https://2018.splashcon.org/track/ocap-2018-papers * PLATEAU - Evaluation and Usability of Programming Languages and Tools https://2018.splashcon.org/track/plateau-2018-papers * REBLS - Reactive and Event-based Languages & Systems https://2018.splashcon.org/track/rebls-2018-papers * SLEBoK - Software Language Engineering Body of Knowledge https://2018.splashcon.org/track/slebok-2018 * TURBO - Tutorial on Language Runtimes Built With Eclipse OMR https://2018.splashcon.org/track/turbo-2018-tutorial * VMIL - Virtual Machines and Language Implementations https://2018.splashcon.org/track/vmil-2018 ## Other Events * Doctoral Symposium https://2018.splashcon.org/track/splash-2018-Doctoral-Symposium * PL Mentoring Workshop https://2018.splashcon.org/track/splash-2018-PLMW * Posters https://2018.splashcon.org/track/splash-2018-Posters * Student Research Competition https://2018.splashcon.org/track/splash-2018-Student-Research-Competition

1 0

Re: [Haskell] [ANNOUNCE] GHC 8.6.1 released
by Ben Gamari 24 Sep '18

24 Sep '18

On September 24, 2018 2:09:13 AM CDT, Jens Petersen <juhpetersen(a)gmail.com> wrote: >I have built 8.6.1 for Fedora 27, 28, 29, Rawhide, and EPEL7 in: > >https://copr.fedorainfracloud.org/coprs/petersen/ghc-8.6.1/ > >The repo also includes latest cabal-install. > Thanks Jens! This is a very helpful service. Cheers, - Ben -- Sent from my Android device with K-9 Mail. Please excuse my brevity.

1 0

[ANNOUNCE] GHC 8.6.1 released
by Ben Gamari 22 Sep '18

22 Sep '18

Hello everyone, The GHC team is pleased to announce the availability of GHC 8.6.1, the fourth major release in the GHC 8 series. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.6.1 The 8.6 release fixes over 400 bugs from the 8.4 series and introduces a number of exciting features. These most notably include: * A new deriving mechanism, `deriving via`, providing a convenient way for users to extend Haskell's typeclass deriving mechanism * Quantified constraints, allowing forall quantification in constraint contexts * An early version of the GHCi `:doc` command * The `ghc-heap-view` package, allowing introspection into the structure of GHC's heap * Valid hole fit hints, helping the user to find terms to fill typed holes in their programs * The BlockArguments extension, allowing the `$` operator to be omitted in some unambiguous contexts * An exciting new plugin mechanism, source plugins, allowing plugins to inspect and modify a wide variety of compiler representations. * Improved recompilation checking when plugins are used * Significantly better handling of macOS linker command size limits, avoiding linker errors while linking large projects * The next phase of the MonadFail proposal, enabling -XMonadFailDesugaring by default A full list of the changes in this release can be found in the release notes: https://downloads.haskell.org/~ghc/8.6.1/docs/html/users_guide/8.6.1-notes.… Perhaps of equal importance, GHC 8.6 is the second major release made under GHC's accelerated six-month release schedule and the first set of binary distributions built primarily using our new continuous integration scheme. While the final 8.6 release is around three weeks later than initially scheduled due to late-breaking bug reports, we expect that the 8.8 release schedule shouldn't be affected. Thanks to everyone who has contributed to developing, documenting, and testing this release! As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: https://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page https://www.haskell.org/ghc/ GHC developers' home page https://ghc.haskell.org/trac/ghc/ Haskell home page https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Some GHC developers hang out on #haskell on IRC, too: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug

2 1

CPP 2019: Final Call for Papers
by Magnus Myreen 17 Sep '18

17 Sep '18

Certified Programs and Proofs (CPP) is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. In 2019, CPP will be co-located with Principles of Programming Languages (POPL) in Cascais/Lisbon, Portugal. Important Dates (AoE, UTC-12h) Abstract Deadline: 11 October 2018 Paper Submission Deadline: 18 October 2018 Author Notification: 22 November 2018 Camera-ready deadline: 27 November 2018 Conference dates: 14 January - 15 January 2019 Topics of interest We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interests to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement. - certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors; - program logics, type systems, and semantics for certified code; - certified decision procedures, mathematical libraries, and mathematical theorems; - proof assistants and proof theory; - new languages and tools for certified programming; - program analysis, program verification, and proof-carrying code; - certified secure protocols and transactions; - certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; - certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; - certificates for program termination; - logics for certifying concurrent and distributed programs; - higher-order logics, logical systems, separation logics, and logics for security; - teaching mathematics and computer science with proof assistants. Submission Guidelines Papers should be submitted in PDF format through the EasyChair submission page at https://easychair.org/conferences/?conf=cpp2019 Submitted papers must be formatted following the ACM SIGPLAN Proceedings format using the acmart format with the sigplan option, using 10 point font for the main text, and a header for single blind review submission, e.g., \documentclass[sigplan,10pt,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} Submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography. Shorter papers are welcome and will be given equal consideration. Submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the paper. They should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical and formal developments directed to the specialist should follow. References and comparisons with related work should be included. Submitted papers are not allowed to have an appendix. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration. Whenever appropriate, the submission should come along with a formal development, using whatever prover, e.g., Agda, Coq, Dafny, Elf, HOL, HOL-Light, Isabelle, Lean, Matita, Mizar, NQTHM, PVS, Vampire, etc. Such formal developments must be submitted together with the paper as auxiliary material, and will be taken into account during the reviewing process. Please do so by including a link to your files in the text of your paper, or by sending a zip or tar file to the PC chairs at cpp2019(a)easychair.org with your paper number included in the subject of your email. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. Original formal proofs of known results in mathematics or computer science are welcome. One author of each accepted paper is expected to present it at the conference. For any questions about the formatting or submission of papers, please consult the PC chairs (cpp2019(a)easychair.org) Conference webpage: https://popl19.sigplan.org/track/CPP-2019

1 0

Call for lightning talks and participation -- Haskell Implementors' Workshop
by Joachim Breitner 16 Sep '18

16 Sep '18

Call for Contributions ACM SIGPLAN Haskell Implementors’ Workshop Sunday, 23 September, 2018 https://icfp18.sigplan.org/track/hiw-2018-papers Co-located with ICFP 2018 St. Louis, Missouri, US https://conf.researchr.org/home/icfp-2018 The Haskell Implementors Workshop is only one week away! Time to look at our great program at https://icfp18.sigplan.org/track/hiw-2018-papers#program and plan your day! Lightning Talks --------------- Like in the previous years, we will have slots for lightning talks. And because they were so successful last year, we will have more! *Topics* Anything related to Haskell implementations, fun uses of Haskell etc. goes. Feel free to tell us about ongoing work, to entertain, to rant, to stir a debate! (If you ever have been to a security or crypto conference, you might have attended their “rump session”. While there will not be alcohol involved at HIW, I hope that we can still match their creativity and insightful fun.) *Rules* * There are 3 sets of 3 lightning talks. * Sign-up is on day of the event, in person, on paper. No prior registration possible. * Lightning talks are 8 mins or less. If you know that your lightning talk takes less time, please say so, and maybe we can put four lightning talks into the slot. * Lightning talks do not count as peer-reviewed publications and are not published in the conference proceedings. Program Committee ----------------- * Edwin Brady (University of St. Andrews, UK) * Joachim Breitner – chair (DFINITY / University of Pennsylvania) * Ben Gamari (Well-Typed LLP) * Michael Hanus (Kiel University) * Roman Leshchinsky (Facebook) * Niki Vazou (University of Maryland) Contact ------- * Joachim Breitner <joachim(a)cis.upenn.edu> -- Joachim Breitner former post-doctoral researcher http://cis.upenn.edu/~joachim

1 0

Post-doc in programming languages for energy-, time- and security-aware parallel computing (Amsterdam)
by Clemens Grelck 14 Sep '18

14 Sep '18

The Systems and Networking Lab (SNE) in the Informatics Institute of the University of Amsterdam invites applications for a 2-year post-doctoral researcher position in the area of programming languages for energy-, time- and security-aware parallel computing. The successful candidate will primarily work with Dr Clemens Grelck and Dr Sebastian Altmeyer in the EU Horizon-2020 research project TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms, http://teamplay-h2020.eu/) The appointment will be full-time (38 hours per week) for a period of 2 years. The salary is in accordance with the Dutch university regulations for academic personnel and will range from €2,640 up to a maximum of €4,852 before tax per month (scale 10/11) based on a full-time appointment. Additional benefits such as the 8% holiday allowance and the 8.3% end of year allowance effectively lead to roughly 14 salaries per year. This is a paid position as a staff member of the Informatics Institute with all advantages and privileges of the Dutch higher education sector! The University of Amsterdam is one of the top research universities in Europe, and the Informatics Institute has consistently been ranked among the top 100 computer science departments in the world. Come to work in one of Europe’s top universities and live in one of Europe's most beautiful and cosmopolitan cities. Closing date: October 1, 2018 All further information and a link to apply can be found here: http://www.uva.nl/en/content/vacancies/2018/09/18-525--postdoctoral-researc… Or contact us directly: Dr Clemens Grelck: c.grelck(a)uva.nl Dr Sebastian Altmeyer: altmeyer(a)uva.nl -- ---------------------------------------------------------------------- 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

[ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
by Davidekova Monika 11 Sep '18

11 Sep '18

Call for Papers The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/) Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track: Distributed systems, networks and applications General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium Workshops Chair Stéphane Galland, UTBM, France Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Michael Sheng, Macquarie University, Australia Program Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain John Gallagher, Trinity College Dublin, Ireland Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Steering Committee Elhadi Shakshuki, Acadia University, Canada (Chair and ANT Founder)

1 0

ETAPS 2019 1st joint call for papers
by Tarmo Uustalu 11 Sep '18

11 Sep '18

****************************************************************** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/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). -- INVITED SPEAKERS -- * 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) -- IMPORTANT DATES * Abstracts due: 9 November 2018 23:59 AoE * Papers due: 16 November 2018 23:59 AoE * Rebuttal (ESOP, FoSSaCS, POST): 11 January 00:01 AoE - 14 January 2019 23:59 AoE * Notification: 25 January 2019 * Camera-ready versions due: 15 February 2019 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, see below. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST use double-blind review. Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in *gold open access*. The copyright of the papers will remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography) for research papers, whereas POST allows at most 20 pp (excluding bibliography) and ESOP 25 pp (excluding bibliography). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also *case study papers* (with the same page limit as for regular research papers). POST solicits also *systematization of knowledge papers* (with the same page limit as for regular research papers) and *position papers* (max 10 pp, excluding bibliography). Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp, excluding bibliography). - Tool demonstration papers Tool demo papers have a page limit of 6 pp. The individual conferences FASE, POST, TACAS have additional specific requirements on tool demo papers. ESOP and FoSSaCS do not consider tool demonstration papers. -- SATELLITE EVENTS (6-7 April) -- A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University in Prague, the beautiful capital of the Czech Republic. -- 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