- Haskell - Haskell.org

Build Automation and Programming Languages workshop (20 June 2020, collocated with PLDI 2020 in London)
by Georgy Lukyanov 30 Jan '20

30 Jan '20

Build Automation and Programming Languages workshop (20 June 2020, collocated with PLDI 2020 in London) pldi20.sigplan.org/home/bapl-2020 Call for participation ====================== Software building is an unloved but unavoidable part of the software engineering process, which requires reliable and incremental automation to deliver reproducible results rapidly and continuously. Build systems and programming languages have historically been mostly evolving independently of each other; indeed, build systems are often extra-linguistic (a prototypical example being Make), which makes them generally applicable but also unaware of the accurate dependencies induced by programs in a particular language. Language-specific build systems can use the knowledge of syntax and semantics to guarantee reliable builds and are gaining popularity but typically provide only rudimentary support for polyglot programming. The goal of this workshop is to bring together build automation experts and language designers and implementers to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software. It is time for build automation and programming languages to start evolving together, because language design affects the “buildability” of programs in a significant way and, conversely, build automation can benefit from the (static) semantics of languages to deliver faster and more reliable builds. The scope of the workshop includes: * Interaction between programming language design and build system design * Build systems, both general-purpose and language-specific * IDEs, particularly incremental program analysis * Feedback-directed optimisation, where program building and analysis are interlinked * Incremental computation DSLs, aimed at incrementalising general computation * Computational complexity of build systems * Software package-management systems We solicit the submission of extended abstracts (2 to 4 pages) in the standard ACM SIGPLAN format. The extended abstracts of accepted contributions will be provided as preprints on the workshop web page, but there will be no formal proceedings. We also encourage workshop attendees to present a poster about their work at the PLDI poster session.

1 0

2nd CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Beijing, China, July 8-11, 2020
by songfu1983＠shanghaitech.edu.cn 30 Jan '20

30 Jan '20

We apology for possible cross posting, and appreciate your support and distribution.? ======================================== SETTA 2020: Symposium on Dependable Software Engineering Theories, Tools and Applications Peking University, Beijing, China, July 8-11, 2020 Submission deadline: April 16th, 2020 Conference website: http://lcs.ios.ac.cn/setta2020/ Colocated with LICS 2020 and ICALP 2020 ======================================== ************************ INVITED SPEAKERS ************************ - Wan Fokkink, VU University Amsterdam - Andrew Yao, Tsinghua University (joint with LICS and ICALP) - Andreas Zeller, Helmholtz Center for Information Security ************************ ABOUT SETTA 2020 ************************ The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Beijing, China on July 8-11, 2020. SETTA 2020 will be hosted at Peking University, in co-location with LICS 2020 and ICALP 2020. Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. The purpose of the SETTA symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. The interaction with the Chinese computer science and software engineering community is a central focus point. The aim is to show research interests and results from different groups so as to initiate interest-driven research collaboration. The SETTA symposium is aiming at academic excellence and its objective is to become a flagship conference on formal software engineering in China. To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium encourages in particular the participation of young researchers and students. This year, SETTA welcomes submissions to the following two tracks: Journal First Papers and Research Papers. All submissions must be in the PDF format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers for both tracks must be presented at the conference. ************************ LIST OF TOPICS ************************ Topics of interest include, but are not limited to: - Requirements specification and analysis - Formalisms for modeling, design and implementation - Model checking, theorem proving, and decision procedures - Scalable approaches to formal system analysis - Formal approaches to simulation, run-time verification, and testing - Integration of formal methods into software engineering practice - Contract-based engineering of components, systems, and systems of systems - Formal and engineering aspects of software evolution and maintenance - Parallel and multicore programming - Embedded, real-time, hybrid, probabilistic, and cyber-physical systems - Mixed-critical applications and systems - Formal aspects of service-oriented and cloud computing - Safety, reliability, robustness, and fault-tolerance - Dependability of smart software and systems - Empirical analysis techniques and integration with formal methods - Applications and industrial experience reports - Software tools to assist the construction or analysis of software systems ************************ RESEARCH PAPERS TRACK ************************ Research papers will be published in the SETTA 2020 proceedings as a volume in Springer's LNCS series. Papers should be submitted electronically through the EasyChair submission web page <https://easychair.org/conferences/?conf=setta2020>. ------------------------ Important Dates ------------------------ Abstract & paper submission: April 16, 2020 (AoE) Notification to authors: May 18, 2020 (AoE) Camera-ready versions: May 25, 2020 (AoE) Conference date: July 8-11, 2020 ------------------------ Submission Guidelines ------------------------ Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either regular or short papers. Regular papers should not exceed 16 pages (excluding references) in LNCS format. Short papers can discuss ongoing research at an early stage, including PhD projects. Short papers should not exceed 6 pages (excluding references) in LNCS format. ------------------------ Special Session ------------------------ This year, we will also organise a special session on Artificial Intelligence Meets Formal Methods (AI+FM), in order to provide a platform for experts of both AI and FM, from both the academia and the industry, to discuss important research problems across these two areas, for example, how to apply AI to improve the performance of FM methods and how to apply FM to improve the robustness, safety and security of AI systems. Extended abstracts of the accepted papers in this session will be published in the conference proceedings (a volume in Springer's LNCS series). Full versions of a few accepted papers, to be selected by the program committee, will be invited for submission to a special theme of the journal Formal Aspects of Computing (to be confirmed). ************************ JOURNAL FIRST PAPERS TRACK ************************ The journal first papers track of SETTA 2020 is implemented in partnership with the Journal of Computer Science and Technology (JCST). Accepted papers to this track will be presented and discussed at the conference SETTA 2020. Papers should be submitted electronically through the journal's submission web page <https://mc03.manuscriptcentral.com/jcst>. ------------------------ Important Dates ------------------------ Paper submission: March 27, 2020 (AoE) Tentative acceptance decision: May 18, 2020 Acceptance decision: June 30, 2020 Conference date (paper presentations): July 8-11, 2020 ------------------------ Submission Guidelines ------------------------ To submit to this track, authors have to make a journal submission to the Journal of Computer Science and Technology, and select the type of submission to be for the SETTA 2020 special issue. It is recommended that submitted papers follow the submission guidelines of JCST <https://www.springer.com/journal/11390/submission-guidelines> and do not exceed 15 pages including references. All submissions must be done electronically through JCST's e-submission system at https://mc03.manuscriptcentral.com/jcst, with manuscript type: "Special Section on Software Systems 2020". In the cover letter, please indicate that the submission is intended to the special theme on "Dependable Software Engineering". ************************ COMMITTEES ************************ General Chair: - Huimin Lin, Chinese Academy of Sciences Program Chair: - Jun Pang, University of Luxembourg - Lijun Zhang, Chinese Academy of Sciences Local Organisation Chair: - Meng Sun, Peking University Publicity Chair: - Fu Song, ShanghaiTech University Web Chair: - Chengchao Huang, Institute of Intelligent Software Program Committee Members: - Ezio Bartocci, Vienna University of Technology - Lei Bu, Nanjing University - Milan Ceska, Brno University of Technology - Sudipta Chattopadhyay, Singapore University of Technology and Design - Yu-Fang Chen, Academia Sinica - Alessandro Cimatti, FBK-ICT Irst - Yuxin Deng, East China Normal University - Wei Dong, National University of Defense Technology - Hongfei Fu, Shanghai Jiao Tong University - Jan Friso Groote, Eindhoven University of Technology - Nan Guan, Hong Kong Polytechnic University - Dimitar P. Guelev, Bulgarian Academy of Sciences - Xiaowei Huang, University of Liverpool - Nils Jansen, Radboud University - Yu Jiang, Tsinghua University - Sebastian Junges, RWTH Aachen - Zhiming Liu, Southwest University - Stefan Mitsch, Carnegie Mellon University - Sebastian Moedersheim, Technical University of Denmark - Jean Francois Monin, Université Grenoble Alpes - Mohammad Mousavi, University of Leicester - Dave Parker, University of Birmingham - Jaco van de Pol, Aarhus University - Mickael Randour, FNRS & Université de Mons - Fu Song, ShanghaiTech University - Jeremy Sproston, University of Turin - Jun Sun, Singapore Management University - Meng Sun, Peking University - Cong Tian, Xidian University - Andrea Turrini, Chinese Academy of Sciences - Tarmo Uustalu, Reykjavik University - Chenyi Zhang, Jinan University ************************ VENUE ************************ The conference will be held in Peking University, China. ************************ CONTACT ************************ All questions about submissions should be emailed to setta2020@easy*chair.org (remove *). ?

1 0

[ANNOUNCE] Glasgow Haskell Compiler 8.10.1-rc1 released
by Ben Gamari 25 Jan '20

25 Jan '20

Hello all, The GHC team is happy to announce the availability of the first release candidate of GHC 8.10.1. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.1-rc1/ GHC 8.10.1 will bring a number of new features including: * The new UnliftedNewtypes extension allowing newtypes around unlifted types. * The new StandaloneKindSignatures extension allows users to give top-level kind signatures to type, type family, and class declarations. * A new warning, -Wderiving-defaults, to draw attention to ambiguous deriving clauses * A number of improvements in code generation, including changes * A new GHCi command, :instances, for listing the class instances available for a type. * An upgraded Windows toolchain lifting the MAX_PATH limitation * A new, low-latency garbage collector. * Improved support profiling, including support for sending profiler samples to the eventlog, allowing correlation between the profile and other program events This is the first and likely final release candidate. For a variety of reasons, it comes a few weeks later than the original schedule of release late December. However, besides a few core libraries book-keeping issues this candidate is believed to be in good condition for the final release. As such, the final 8.10.1 release will likely come in two weeks. Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. In addition, we are still looking for any Alpine Linux to help diagnose the correctness issues in the Alpine binary distribution [1]. If you use Alpine any you can offer here would be greatly appreciated. Please do test this release and let us know if you encounter any other issues. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17508 [2] https://gitlab.haskell.org/ghc/ghc/issues/17418

1 0

10 PhD studentships in Nottingham for Home/EU applicants
by Graham Hutton 20 Jan '20

20 Jan '20

Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships for Home/EU students: https://tinyurl.com/ten-phds-2020 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible (the application deadline is 6th March): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, category theory, epistemic logic. Graham Hutton - not taking on any new students this year, but you may find these notes useful: https://tinyurl.com/scbkxkr Henrik Nilsson - functional reactive programming, domain- specific languages, generalised notions of computation. These positions are only open to Home/EU applicants. An advert for international students was posted earlier and is now closed. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded International PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/ten-phds-2020 Applications are invited for 10 fully-funded PhD studentships for Home/EU students in the School of Computer Science at the University of Nottingham, starting on 1st October 2020. The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Agents Lab; Computational Optimisation and Learning Lab; Computer Vision Lab; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems and Design and Uncertainty in Data and Decision Making The studentships are for three and a half years and include a stipend of £15,009 per year and tuition fees. Applicants are normally expected to have a first-class Masters or Bachelors degree in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Eligible successful applicants are expected to apply for a EU VC Scholarship. Informal enquiries may be addressed to Kathleen.Fennemore(a)nottingham.ac.uk. To apply, please submit the following items by email to: Marc.Williams(a)nottingham.ac.uk: (1) a copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (2) an example of your technical writing, such as a project report or dissertation; (3) contact details for two academic referees. (4) a research proposal – max 2 x sides A4 You may also include a covering letter but this is optional. Closing date for applications: Friday 6 March 2020. +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

Haskell.org Committee Nomination Results
by Emily Pillmore 20 Jan '20

20 Jan '20

Hello Everyone, I'm pleased to announce that the results for the Haskell.org ( http://haskell.org/ ) committee nominations are in, and voting has completed. The following tally is the final result: Jaspe Van der Jeugt: 6 Alexandre Garcia de Oliveira: 5 April Gonçalves: 2 Rebecca Skinner: 5 With no votes for anyone else. This means that Jasper's renomination was successful, and we get to welcome 2 new faces to the Haskell.org ( http://haskell.org/ ) ; congratulations Rebecca and Alexandre! Thanks, Emily

1 0

[FNC-2020] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
by Wim Ectors 16 Jan '20

16 Jan '20

------------------------------------------------------------------------ The 15th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2020 http://cs-conferences.acadiau.ca/fnc-20/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help to achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 20, 2020 - Paper Submission Due: March 19, 2020 - Acceptance Notification: May 17, 2020 - Final Manuscript Due: June 15, 2020 Publication ------------ All FNC 2020 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 following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.901), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) FNC 2020 will be held in conjunction with the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-20/) FNC 2020 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometers (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 in 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. The facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohammed Erritali, University Sultane Moulay Slimane, Morocco Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-20/#programCommittees Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

[ANN] 2nd Call for Participation: BOB 2020 (February 28, Berlin, early-bird until Jan 20)
by Stefan Wehr 15 Jan '20

15 Jan '20

================================================================================ BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin http://bobkonf.de/2020/ Program: http://bobkonf.de/2020/en/program.html Registration: http://bobkonf.de/2020/en/registration.html ================================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2020/en/program.html The subject range of talks includes functional programming, formal methods, architecture documentation, functional-reactive programming, and language design. The tutorials feature introductions to Idris, Haskell, F#, TLA+, ReasonML, and probabilistic programming. Heather Miller will give the keynote talk. Registration is open online: http://bobkonf.de/2020/en/registration.html NOTE: The early-bird rates expire on January 20, 2020! BOB cooperates with the Racketfest conference on the day before BOB: https://racketfest.com/ BOB cooperates with the :clojureD conference on the day after BOB: https://clojured.de/

1 0

Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20)
by Yazan Mualla 15 Jan '20

15 Jan '20

INVITATION FOR PAPERS AND TALKS The 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) ----------------------------------------------------------------------- In conjunction with: * the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020); * the 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-20); * the 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20). April 6-9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:EuSarlCon20 ------------------------------------------------------------------- Description =========== The 2020 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on April 6-9, 2020, at Warsaw, Poland. That is the last day of the ANT-2020 conference, the ABMTRANS-20 and the SARL-20 workshops. Submissions directly for the EuSarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 10, 2020, through EasyChair. ABMTRANS-20 and SARL-20 are providing an alternative for publishing longer papers. Important Dates =============== * Paper or talk submission: January 31, 2020; * Acceptance notification: February 10, 2020; * Forum: April 6-9, 2020. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2020) not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) <stephane.galland(a)utbm.fr> Program Chairs ============== Yazan MUALLA (UBFC, France) Igor TCHAPPI HAMAN (UBFC, France) Registration ============ You must be registered to the ANT20 conference, which provides the access to its facilities. The EuSarlCon forum is considered as a specific type of tutorial. In order to assist to EuSarlCon20, you must apply to a tutorial registration of the ANT20 conference.

1 1

First ETAPS Doctoral Dissertation Award, final call for nominations
by Tarmo Uustalu 15 Jan '20

15 Jan '20

First ETAPS Doctoral Dissertation Award ================================= The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the quality of writing. The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet. Eligibility ----------- Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2019 to December 31st, 2019. Nominations ----------- Award candidates should be nominated by their supervisor. Members of the Award Committee are not allowed to nominate their own PhD students for the award. Nominations consist of a single PDF file (extension .pdf) containing: * name and email address of the candidate * a short curriculum vitae of the candidate * name and email address of the supervisor * an endorsement letter from the supervisor * the final version of the doctoral dissertation * institution and department that has awarded the doctorate * a document certifying that the doctoral degree was successfully completed within the eligibility period * a report from at least one examiner of the dissertation who is not affiliated with the candidate's institution All documents must be written in English. Nominations are welcome regardless of whether results that are part of the dissertation have been published at ETAPS. Nominations should be submitted via EasyChair: https://easychair.org/conferences/?conf=etapsdda2020 The deadline for nominations is January 19th, 2020. Award Committee --------------- Caterina Urban (chair) Amal Ahmed (representing ESOP) Dirk Beyer (representing TACAS) Andrew Pitts (representing FoSSaCS) Perdita Stevens (representing FASE) Marieke Huisman

1 0

ETAPS Test of Time Award 2020, call for nominations
by Tarmo Uustalu 15 Jan '20

15 Jan '20

The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. Nominations 2020 Nominations for the 2020 ETAPS Test of Time Award are solicited from the ETAPS community. A nomination should include the title and publication details of the nominated paper, explain the influence it has had since publication, and why it merits the award. It should be phrased in terms that are understandable by the members of the award committee and suitable for use in the award citation, and should be endorsed by at least 2 people other than the person submitting the nomination. Self-nominations are not allowed. Nominations should be sent by Monday 2 March 2020 to the chair of the award committee, Don Sannella <dts(a)inf.ed.ac.uk>. Award committee The 2020 award committee consists of Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Tiziana Margaria, Don Sannella (chair), Gabriele Taentzer and Peter Thiemann.

1 0