[Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a proof assistant, preferably Isabelle. Please share this opportunity with anyone you think might be interested. The closing date for applications is *** 23rd May 2023 *** More details can be found here: https://www.jobs.ac.uk/job/CYZ645/research-assistant-or-research-associate-in-formal-modelling-and-verification and here: https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9zdF9pbnN0X2d1aWQ9NjQzNTIyNEU0RDhBMUFDM0UxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXBlPUVYVA%3d%3d=400=EN=X=%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos# Best wishes, Andrei Popescu https://www.andreipopescu.uk/ ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. -- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 4, 2023 Seattle, Washington, USA (the day before ICFP 2023) https://icfp23.sigplan.org/home/hope-2023 HOPE 2023 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of contributed talks on work in progress, and open-ended discussion sessions. -- Call for Talk Proposals --- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerst...@ed.ac.uk) and Max S. New (maxs...@umich.edu). Deadline for talk proposals: May 31, 2023 (Wednesday) Notification of acceptance: June 29, 2023 (Thursday) Workshop: September 4, 2023 (Monday) The submission website is now open: https://hope23.hotcrp.com - Workshop Organization - Program Committee: Casper Bach Poulsen (TU Delft) Craig McLaughlin (University of New South Wales) Cristina Matache (The University of Edinburgh) Daniel Hillerström (co-chair) (Huawei Zurich Research Center) Fredrik Nordvall Forsberg (University of Strathclyde) James Noble Małgorzata Biernacka (University of Wroclaw) Matias Toro (University of Chile) Max S. New (co-chair) (University of Michigan) Shin-ya Katsumata (National Institute of Informatics) - Goals of the Workshop - A recurring theme in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)
(Apologies for multiple postings) NEW! Are you running late in preparing your SAS paper? No worries! Submit what you have (e.g., title and abstract) and you will have one extra week until May 1 for updating your paper (and May 6 for your artifact). -- Final Call for Papers - Extended deadlines Paper submission April 24, Paper update May 1, Artifacts May 6 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023 https://2023.splashcon.org/home/sas-2023 -- The 30th Static Analysis Symposium, SAS 2023, will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal. Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. IMPORTANT DATES All deadlines are AoE (Anywhere on Earth) **NEW** - Paper submission (title and abstract): April 24, 2023 - Paper update deadline: (Extended) May 1, 2023 - Artifact submission: (Extended) May 6, 2023 - Author response period: June 11-14, 2023 - Notification: June 29, 2023 - Final version due: August 3, 2023 - Conference: Part of SPLASH, Oct 22-24, 2023 TOPICS The technical program for SAS 2023 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract interpretation - Automated deduction - Data flow analysis - Debugging techniques - Deductive methods - Emerging applications - Model-checking - Data science - Program optimizations and transformations - Program synthesis - Program verification - Machine learning and verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking - Distributed or networked systems PAPER SUBMISSION All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas2023 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: - Well-motivated discussion of new questions or new areas. - Experience with static analysis tools, Industrial Reports, and Case Studies - Brief announcements of work in progress - Tool papers We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper. RADHIA COUSOT AWARD The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. ARTIFACTS As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review. PROGRAM COMMITTEE Gogul Balakrishnan, Google, United States Liqian Chen, National University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Patrick Cousot, United States Michael Emmi, Amazon Web Services, United States Pietro Ferrara, Università Ca' Foscari, Venezia, Italy Roberto Giacobazzi, University of Verona, Italy Roberta Gori, University of Pisa, Italy Manuel Hermenegildo, U. Pol. de Madrid and IMDEA SW., Spain (Co-Chair) Francesco Logozzo, Facebook, United States Isabella Mastroeni, University of Verona, Italy Antoine Miné, Sorbonne Université, France José Morales, IMDEA Software Institute, Spain (Co-Chair) Kedar
[Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT 2023 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. Important Dates - Workshop Proposal Due: February 20, 2023 - Paper Submission Due:April 21, 2023 (Final) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication All SEIT 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. 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. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. Conference Main Topics (A detailed list can be found at: http://cs-conferences.acadiau.ca/seit-23/#callforPapers): = - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems COMMITTEES: -- General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Isam Janajreh, Khalifa University, UAE Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Yazan Mualla, UTBM, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh, World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-23/#programCommittees ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell