From cong at c.titech.ac.jp Mon Jan 3 01:00:00 2022 From: cong at c.titech.ac.jp (Youyou Cong) Date: Mon, 3 Jan 2022 10:00:00 +0900 Subject: [Haskell] PEPM 2022 - Call for Participation Message-ID: -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 =============================================================================== * Website : https://popl22.sigplan.org/home/pepm-2022 * Time : 17th--18th January 2022 * Place : Online (co-located with POPL 2022, with no physical component) PEPM brings together researchers in partial evaluation, program manipulation, and related areas. This year, we are announcing "PEPM 30", a project aiming at preserving and celebrating the history of PEPM. To this effect, the program includes five invited talks by the key contributors of the PEPM community. We will have a PEPM 30+ History Celebration Day at PEPM 2023. Invited Talks: * Andrei Klimov "Why are partial evaluation and supercompilation still not widely used in practice? Reflections in light of Russian work on metacomputation." * Y. Annie Liu "From meta frameworks and transformations to distributed computing and more" * Frank Pfenning "Modal Logics and Types: Looking Back and Looking Forward" * Naoki Kobayashi "On Type-Based Techniques for Program Manipulation" * Peter Sestoft "A partial history of partial evaluation" Please find the full program at: https://popl22.sigplan.org/home/pepm-2022#program and register yourself at: https://regmaster.com/2022conf/POPL22/register.php Note that early registration closes on January 3rd. We look forward to seeing you at the workshop! Zena M. Ariola (Program Co-Chair) Youyou Cong (Program Co-Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Mon Jan 3 15:19:35 2022 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Mon, 3 Jan 2022 16:19:35 +0100 Subject: [Haskell] Call for STSMs, deadline 16 January 2022 In-Reply-To: References: Message-ID: COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear EuroProofNet COST Action participants, The next deadline is: * 16 January 2022, for STSMs during the period February - October 2022 (there will be more opportunities to apply, see https://europroofnet.github.io/grants ) A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining collaborations. Proposals are made through the e-COST system ( https://e-services.cost.eu/stsm). The coordinators for STSMs are Danijela Simic (University of Belgrade, Serbia) and Ambrus Kaposi (Eötvös Loránd University, Hungary). The procedure for proposing an STSM is described in Annex 2 of the Annotated Rules ( https://www.cost.eu/uploads/2021/10/COST-094-21-Annotated-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf ). The main points about STSMs are: * An STSM must be between two different countries which are participating in the Action. * The typical duration is one or two weeks. We favor short missions so that more people can get funded. * The financial contribution for an STSM is a fixed grant based on the applicant's budget request and the evaluation of the application by the STSM assessment committee. The grant will not necessarily cover all costs of the visit. The grant only covers travel and subsistence and is transferred after the STSM has taken place. * Recommended grants: - up to EUR 120 for daily allowance (depending on the location) - up to EUR 400 for travel. - the total may not exceed EUR 4000 (this is a hard limit) * As part of the application form submitted through e-COST, the goals of the mission have to be described including how it contributes to the objectives of the Action (see https://www.cost.eu/actions/CA20111), which working group(s) it contributes to, and a confirmation from the host that he or she will receive the applicant. * Proposals should be submitted by the deadlines. * STSMs must end before the end of October. The criteria according to which funding will be decided are in order: * importance with regard to the research coordination objectives * inclusiveness target countries * age * gender * team with low resources * balance over the action life time between people, teams, countries and working groups. Within 15 days of the end of the STSM, a short scientific report must be submitted through the e-cost system along with the Host’s approval of the report. Regards, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Mon Jan 10 11:16:05 2022 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Mon, 10 Jan 2022 12:16:05 +0100 Subject: [Haskell] CMCS 2022: Second Call for Papers Message-ID: <20220110111605.GA11118@dobby> Second Call for Papers The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022) www.coalg.org/cmcs22 *Updated info: Speakers, Important Dates and Submission Instructions*. Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: - set-theoretic and categorical foundations of coalgebra; - algebra & coalgebra, (co)monads, and distributive laws; - (modal) logic; - automata theory and formal languages; - coinductive definitions and proof principles (including "up-to" techniques) - semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) - functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing); - formal verification and specification; - control theory (notably discrete events and hybrid systems); - quantum computing; - game theory; - implementation, tools, and proof assistants Venue and event --------------- CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. Keynote speaker --------------- Ana Sokolova, University of Salzburg, Austria Invited speakers ---------------- Renato Neves, University of Minho, Portugal Sam Staton, University of Oxford, United Kingdom Invited tutorial speakers ------------------------- There will be a special session on Data Languages with invited tutorials by: Sławomir Lasota, University of Warsaw, Poland Mahsa Shirmohammadi, CNRS & University of Paris, France Important dates --------------------------- Abstract regular papers 24 January 2022 Submission regular papers 27 January 2022 Notification regular papers 25 February 2022 Camera-ready copy 18 March 2022 Submission short contributions 20 February 2022 (tentative) Notification short contributions 25 February 2022 (tentative) Programme committee ------------------- Adriana Balan, University Politehnica of Bucharest, Romania Henning Basold, Leiden University, The Netherlands Marta Bilkova, Czech Academy of Sciences, Czech Republic Fredrik Dahlqvist, Queen Mary University London, United Kingdom Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Richard Garner, Macquarie University, Australia Jeremy Gibbons, University of Oxford, United Kingdom Helle Hvid Hansen (co-chair), University of Groningen, The Netherlands Ichiro Hasuo, National Institute of Informatics, Japan Tobias Kappé, University of Amsterdam, The Netherlands Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Barbara König, University of Duisburg-Essen, Germany Marina Lenisa, University of Udine, Italy Davide Sangiorgi, University of Bologna, Italy Lutz Schröder, University of Erlangen-Nuremberg, Germany David Spivak, Massachusetts Institute of Technology, USA Tarmo Uustalu, Reykjavik University, Iceland Thorsten Wißmann, Radboud University, The Netherlands Fabio Zanasi (co-chair), University College London, United Kingdom Maaike Zwart, ITU Copenhagen, Denmark PC co-chairs -------------- Helle Hvid Hansen, University of Groningen, The Netherlands Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Thorsten Wißmann, Radboud University, The Netherlands Steering committee ------------------ Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, Leiden University, The Netherlands Corina Cirstea, University of Southampton, United Kingdom Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Bartek Klin, University of Oxford, United Kingdom Alexander Kurz, Chapman University, United States Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Lawrence Moss, Indiana University, USA Daniela Petrisan, University Paris Diderot, France Jurriaan Rot, Radboud University, The Netherlands Dirk Pattinson, Australian National University, Australia Lutz Schröder, University of Erlangen-Nuremberg, Germany Alexandra Silva, Cornell University, USA Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be max 18 pages long in Springer LNCS style, excluding references. A clearly-marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2022 The proceedings of CMCS 2022 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. From P.Achten at cs.ru.nl Tue Jan 11 17:13:42 2022 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 11 Jan 2022 18:13:42 +0100 Subject: [Haskell] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE) Message-ID: <918e5f44-7426-75a6-c269-8fbf3a4bdcc6@cs.ru.nl> ============== TFP 2022 =================== == MOVING TO ONLINE SYMPOSIUM, NEW DATES == =========================================== 23rd Symposium on Trends in Functional Programming 17-18 March, 2022 Online event https://trendsfp.github.io/index.html Due the pandemic, we have had to make TFP virtual this year. As a result, we've decided to push back the deadlines and conference date by a few weeks. In particular, the pre-symposium deadline for submitting the first version of your paper is now just after the ICFP deadline. == Important Dates == Submission deadline for draft papers                Monday 7th March, 2022 Notification for draft submissions                  Friday 11th March, 2022 Symposium dates                                     Thursday 17th - Friday 18th March, 2022 Submission deadline for post-symposium reviewing    Wednesday 6th April, 2022 Notification for post-symposium submissions         Friday 27th May, 2022 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research Articles:    Leading-edge, previously unpublished research work * Position Articles:   On what new trends should or should not be * Project Articles:    Descriptions of recently started new projects * Evaluation Articles:    What lessons can be drawn from a finished project * Overview Articles:    Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas:    security, mobility, telecommunications applications, embedded    systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and Nicolas Wu. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at:    https://easychair.org/conferences/?conf=tfp22 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Post-symposium formal review process == Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. == Program Committee == Guillaume Allais                University of St Andrews José Manuel Calderón Trilla     Galois, Inc. Stephen Chang                   University of Massachusetts Boston Matthew Flatt                   University of Utah Jeremy Gibbons                  University of Oxford Zhenjiang Hu                    Peking University Mauro Jaskelioff                CIFASIS / Universidad Nacional de Rosario Moa Johansson                   Chalmers University of Technology Shin-ya Katsumata               National Institute of Informatics Oleg Kiselyov                   Tohoku University Bas Lijnse                      Netherlands Defence Academy / Radboud University Nijmegen Kazutaka Matsuda                Tohoku University Nico Naus                       Virginia Tech Christine Rizkallah             University of New South Wales Alejandro Serrano               47 Degrees Amir Shaikhha                   Ecole Polytechnique Fédérale de Lausanne Aaron Stump                     University of Iowa Wouter Swierstra (Co-chair)     Utrecht University Baltasar Trancón Y Widemann     Semantics GmbH Nicolas Wu (Co-chair)           Imperial College London Ningning Xie                    University of Hong Kong From stefan.wehr at gmail.com Thu Jan 13 15:38:48 2022 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Thu, 13 Jan 2022 16:38:48 +0100 Subject: [Haskell] Call for Participation: BOB 2022 (March 11, Berlin or online) Message-ID: ================================================================================ BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, Berlin or online 0100+UTC https://bobkonf.de/2022/ Program: https://bobkonf.de/2022/program.html Berlin or online? Fill out our survey: https://bobkonf.de/2022/onsite.html ================================================================================ BOB conference is a place 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 experience. The program features 14 talks and 8 tutorials on current topics: https://bobkonf.de/2022/program.html The subject range includes functional programming, effects, distributed programming, formal methods, generative art, event-driven systems, the human brain, Haskell, Python, Scala, Lua, Clojure, Erlang, Nix, and others. Derek Dreyer will give the keynote talk. NOTE: We will decide on January 17 whether BOB 2022 will take place on-site in Berlin or online. Either way, we are working towards fostering a lively exchange of exciting ideas and enabling meaningful social interactions. We're collecting feedback on the issue here: https://bobkonf.de/2022/onsite.html If you're interested in BOB, please take a minute to fill the survey linked above! Registration will also open on January 17, once the decision for on-site or online has been made. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sekiyama at nii.ac.jp Fri Jan 14 13:03:04 2022 From: sekiyama at nii.ac.jp (Taro Sekiyama) Date: Fri, 14 Jan 2022 22:03:04 +0900 Subject: [Haskell] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan Message-ID: <48b66407-e4fd-a447-c1a1-c58059c91569@nii.ac.jp> [Please distribute, apologies for multiple postings.] Dear All, We are seeking a few postdoc researchers, who works for a project “Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software” by Japan Science and Technology Agency. We'd be grateful if you could spread the word to interested candidates. * Project Description The project aims at the construction of formally verified secure IoT systems that follow the concept of “zero trust architecture”, dubbed ZT-IoT systems. It consists of four research teams and two teams, led by Atsushi Igarashi, Kyoto University, Japan and Taro Sekiyama, National Institute of Informatics, Japan (NII) are investigating applications of formal verification or programming language techniques to the construction of secure IoT systems. The main research topic of Igarashi’s team is centered around the design and theory of security policy engines for ZT-IoT systems, inclucing the design of a language to describe security policies and policy enforcement algorithms and the techniques for verifying policy enforcement algorithms against given security policies. Other team members are Kohei Suenaga and Masaki Waga at Kyoto University. The main research topic of Sekiyama’s team is centered around techniques for monitoring and intervention for ZT-IoT systems. Other team members include Ichiro Hasuo and Shin-ya Katsumata at NII. Although the two teams are based in different places, we collaborate closely with each other. The appointment can start as early as April 2022 (the starting date is negotiable). The contract will initially run until the end of March 2023, with the possibility of annual renewal until the end of the project, which is March 2027 at maximum. Salary will be about 360,000–550,000 JPY/month. Applicants should have a Ph.D in computer science or related fields, and have a strong background in formal verification and/or programming language theory. Due to the project’s nature, they are required to have strong interests in applying theory to practice; they should also be (self-)motivated, dedicated, and able to work both independently and collaboratively. Strong communication skills in oral and written English are required. * Workplace Members of Igarashi’s team will work at Kyoto University, Kyoto, Japan and members of Sekiyama’s team will work at NII, Tokyo, Japan. (Living costs in Japan are not very high nowadays. An estimate is found here https://www.internations.org/go/moving-to-japan/living/the-cost-of-living-in-japan#:~:text=A%20single%20person%20living%20in,will%20see%20that%20number%20tripled and we find rent can be cheaper than the cited amount.) * Applications and inquiries Inquiries can be sent to application-zt-iot [at] fos.kuis.kyoto-u.ac.jp, with the subject CREST Job Inquiry. Feel free to ask us any questions on relevance, topics, compensation, etc. We will reply when we see enough relevance. Applications should be made electronically via the following JREC-IN Portal web sites. NII: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D122010021&ln_jor=1 Kyoto: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D121122219&ln_jor=1 Please upload a pdf including - your brief CV, - short description of research interests (can be very informal and short), - the list of papers (a dblp or Google scholar link will do, for example), - a couple of representative papers (in pdf), and - (preferably) the contact of two references. We will contact you for further material and interview, provided that we find sufficient relevance in your application. Starting dates are negotiable. The positions will remain open until filled. Many thanks, Taro. From clemens.grabmayer at gssi.it Fri Jan 14 19:13:21 2022 From: clemens.grabmayer at gssi.it (Clemens Grabmayer) Date: Fri, 14 Jan 2022 20:13:21 +0100 Subject: [Haskell] TERMGRAPH 2022 workshop: First Call for Papers Message-ID: <10282f14-8269-8532-6196-26fef3e1555f@gssi.it> ======================================================================== First Call for Papers TERMGRAPH 2022 Twelfth International Workshop on Computing with Terms and Graphs http://termgraph.org.uk/2022 Technion, Haifa, Israel Monday, 1st August 2022 *) A Workshop that is part of FLoC 2022 ======================================================================== *) preliminary, due to room capacity decisions the FLoC organizers can reschedule to Sunday, 31st July 2022 (decision on 15 June 2022) Graphs and graph transformation systems are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modeling tool to study complex systems, etc. Topics of interest for TERMGRAPH encompass all aspects of term-/graph rewriting (term-graph and graph rewriting), and applications of graph transformations in programming, automated reasoning and symbolic computation, including: * Theory of first-order and higher-order term graph rewriting * Graph rewriting in lambda calculus (sharing graphs, optimality) * Term-/graph based models of computation * Graph grammars * Term-/graph based languages and modelling frameworks * Term-/graph rewriting tools: -- system descriptions and case studies * Applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- bioinformatics The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Submissions and Publication: ---------------------------- We invite submissions of extended abstracts of at most 8 pages typeset in EPTCS (Electronic Proceedings in Theoretical Computer Science) style. This may include, concerning any of the topics above: -- original work, -- tutorials, -- work in progress, -- system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 10 May 2022 (AoE) electronically (pdf) via the EasyChair submission site: https://easychair.org/conferences/?conf=termgraph2022 Papers will be judged on relevance, originality, correctness, and usefulness. Preliminary proceedings will be available for the workshop. After the workshop, authors will be invited to submit a longer version of their work (a 15-pages paper) for the publication of the Workshop Post-Proceedings in EPTCS. These submissions will undergo a second round of refereeing with: submission deadline in the mid of October 2022, notification in December 2022, publication in February or March 2023. Important Dates: ---------------- Submission deadline: 10 May 2022 Notification: 7 June 2022 Program publication: 15 June 2022 PreProceedings version due: 21 June 2022 Workshop: 1 August 2022 (see proviso (*) above) Programme Committee: -------------------- Sandra Alves, Universidade do Porto, Portugal Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark Thierry Boy de la Tour, CNRS, France Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy Wolfram Kahl, McMaster University, Canada Ian Mackie, LIX, France Koko Muroya, Kyoto University, Japan Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands Adrian Rutle, Western Norway University, Norway Kazunori Ueda, Waseda University, Japan Contact: -------- Clemens Grabmayer clemens.grabmayer at gssi.it ======================================================================== From tarmo at cs.ioc.ee Tue Jan 18 20:37:59 2022 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Tue, 18 Jan 2022 20:37:59 +0000 Subject: [Haskell] ETAPS Test of Time Award 2022, 2nd call for nominations Message-ID: <20220118203759.64822b67@cs.ioc.ee> 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. See https://etaps.org/about/test-of-time-award . Nominations Nominations for the 2022 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. The nomination should phrase it 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 14 February 2022 to the chair of the award committee, Don Sannella . Award committee The 2022 award committee consists of Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Jan Křetínský, Don Sannella (chair), Gabriele Taentzer and Peter Thiemann. From cfp at mat.unical.it Wed Jan 19 08:10:50 2022 From: cfp at mat.unical.it (cfp) Date: Wed, 19 Jan 2022 09:10:50 +0100 Subject: [Haskell] LPNMR 2022 - Call for Papers In-Reply-To: <000fda6017d29048089ba85233026cb1.squirrel@www.mat.unical.it> References: <000fda6017d29048089ba85233026cb1.squirrel@www.mat.unical.it> Message-ID: <2bf15b10-c9fd-67d0-efed-ff9c25c199de@mat.unical.it> [Apologies in case of multiple posting]                                  Call for Papers -----------------------------------------------------------------------                     16th International Conference on              Logic Programming and Non-monotonic Reasoning                               LPNMR 2022 https://sites.google.com/view/lpnmr2022                              Genova, Italy                           September 5-8, 2022 ----------------------------------------------------------------------- AIMS AND SCOPE  LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program.  LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of  the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS  Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below.  Conference topics include, but are not limited to:  1. Foundations of LPNMR Systems:    * Semantics of new and existing languages;    * Action languages, causality;    * Formalization of Commonsense Reasoning and understanding      its laws and nature;    * Relationships among formalisms;    * Complexity and expressive power;    * Inference algorithms and heuristics for LPNMR systems;    * Extensions of traditional LPNMR languages such as new logical      connectives or new inference capabilities;    * Updates, revision, and other operations on LPNMR systems;    * Uncertainty in LPNMR systems.  2. Implementation of LPNMR systems:    * System descriptions, comparisons, evaluations;    * Algorithms and novel techniques for efficient evaluation;    * LPNMR benchmarks.  3. Applications of LPNMR:    * Use of LPNMR in Commonsense Reasoning and other areas of KR;    * LPNMR languages and algorithms in planning, diagnosis, argumentation,      reasoning with preferences, decision making and policies;    * Applications of LPNMR languages in data integration and exchange      systems, software engineering and model checking;    * Applications of LPNMR to bioinformatics, linguistics, psychology,      and other sciences;    * Integration of LPNMR systems with other computational paradigms;    * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION AND PUBLICATION  LPNMR 2022 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:    * Technical papers    * System descriptions    * Application descriptions  The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines  Paper submission is enabled via the LPNMR 2022 Easychair site: https://easychair.org/conferences/?conf=lpnmr2022  The two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal.  Also, the 2-5 best papers with a logic programming focus will be invited for rapid publication in the journal of Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY  LPNMR 2022 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS  LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION  WWW:https://sites.google.com/view/lpnmr2022  Email:lpnmr2022 at easychair.org((program) lpnmr2022 at dibris.unige.it (general matters)  Facebook:https://www.facebook.com/lpnmr2022  Twitter:https://twitter.com/lpnmr2022  Instagram:https://www.instagram.com/lpnmr2022 IMPORTANT DATES    * Paper registration:    April 23, 2022    * Paper submission:      April 30, 2022    * Notification:          June 10, 2022    * Final versions due:    June 30, 2022 VENUE  The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west.  Associated events (workshops) are planned to be held at the University, which is in the city center of Genova.  Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR  Georg Gottlob, Oxford University, UK PROGRAM CHAIRS  Daniela Inclezan, Miami University, USA  Marco Maratea, University of Genova, Italy PUBLICITY CHAIR  Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR  Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR  Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION  Matteo Cardellini, University of Genova, Italy  Angelo Ferrando, University of Genova, Italy (Chair)  Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE (TBD) -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Fri Jan 21 16:40:40 2022 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Fri, 21 Jan 2022 17:40:40 +0100 Subject: [Haskell] CMCS 2022: Final Call for Papers Message-ID: <20220121164040.GA2599@dobby> Final Call for Papers The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022) www.coalg.org/cmcs22 *Updates wrt Second CfP: Venue and event, Important Dates*. Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: - set-theoretic and categorical foundations of coalgebra; - algebra & coalgebra, (co)monads, and distributive laws; - (modal) logic; - automata theory and formal languages; - coinductive definitions and proof principles (including "up-to" techniques) - semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) - functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing); - formal verification and specification; - control theory (notably discrete events and hybrid systems); - quantum computing; - game theory; - implementation, tools, and proof assistants Venue and event --------------- CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. We aim for an event with maximal on-site participation, but a hybrid format will be provided if necessary. In particular, speakers will be able to present virtually if an on-site presentation is not possible due to Covid restrictions. Keynote speaker --------------- Ana Sokolova, University of Salzburg, Austria Invited speakers ---------------- Renato Neves, University of Minho, Portugal Sam Staton, University of Oxford, United Kingdom Invited tutorial speakers ------------------------- There will be a special session on Data Languages with invited tutorials by: Sławomir Lasota, University of Warsaw, Poland Mahsa Shirmohammadi, CNRS & University of Paris, France Important dates --------------------------- Abstract regular papers 24 January 2022 Submission regular papers 27 January 2022 Notification regular papers 28 February 2022 Camera-ready copy 18 March 2022 Submission short contributions 3 March 2022 Notification short contributions 9 March 2022 (We have been informed that ETAPS workshop registration fees will be constant across all registration deadlines.) Programme committee ------------------- Adriana Balan, University Politehnica of Bucharest, Romania Henning Basold, Leiden University, The Netherlands Marta Bilkova, Czech Academy of Sciences, Czech Republic Fredrik Dahlqvist, Queen Mary University London, United Kingdom Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Richard Garner, Macquarie University, Australia Jeremy Gibbons, University of Oxford, United Kingdom Helle Hvid Hansen (co-chair), University of Groningen, The Netherlands Ichiro Hasuo, National Institute of Informatics, Japan Tobias Kappé, University of Amsterdam, The Netherlands Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Barbara König, University of Duisburg-Essen, Germany Marina Lenisa, University of Udine, Italy Davide Sangiorgi, University of Bologna, Italy Lutz Schröder, University of Erlangen-Nuremberg, Germany David Spivak, Massachusetts Institute of Technology, USA Tarmo Uustalu, Reykjavik University, Iceland Thorsten Wißmann, Radboud University, The Netherlands Fabio Zanasi (co-chair), University College London, United Kingdom Maaike Zwart, ITU Copenhagen, Denmark PC co-chairs -------------- Helle Hvid Hansen, University of Groningen, The Netherlands Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Thorsten Wißmann, Radboud University, The Netherlands Steering committee ------------------ Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, Leiden University, The Netherlands Corina Cirstea, University of Southampton, United Kingdom Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Bartek Klin, University of Oxford, United Kingdom Alexander Kurz, Chapman University, United States Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Lawrence Moss, Indiana University, USA Daniela Petrisan, University Paris Diderot, France Jurriaan Rot, Radboud University, The Netherlands Dirk Pattinson, Australian National University, Australia Lutz Schröder, University of Erlangen-Nuremberg, Germany Alexandra Silva, Cornell University, USA Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be max 18 pages long in Springer LNCS style, excluding references. A clearly-marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2022 The proceedings of CMCS 2022 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. From s-dgq at thorsten-wissmann.de Tue Jan 25 21:40:17 2022 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Tue, 25 Jan 2022 22:40:17 +0100 Subject: [Haskell] CMCS 2022: Deadline extension Message-ID: <20220125214017.GA25091@dobby> Call for Papers **Deadline Extension** The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022) www.coalg.org/cmcs22 *Updates wrt Final CfP: Important Dates*. Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: - set-theoretic and categorical foundations of coalgebra; - algebra & coalgebra, (co)monads, and distributive laws; - (modal) logic; - automata theory and formal languages; - coinductive definitions and proof principles (including "up-to" techniques) - semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) - functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing); - formal verification and specification; - control theory (notably discrete events and hybrid systems); - quantum computing; - game theory; - implementation, tools, and proof assistants Venue and event --------------- CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. We aim for an event with maximal on-site participation, but a hybrid format will be provided if necessary. In particular, speakers will be able to present virtually if an on-site presentation is not possible due to Covid restrictions. Keynote speaker --------------- Ana Sokolova, University of Salzburg, Austria Invited speakers ---------------- Renato Neves, University of Minho, Portugal Sam Staton, University of Oxford, United Kingdom Invited tutorial speakers ------------------------- There will be a special session on Data Languages with invited tutorials by: Sławomir Lasota, University of Warsaw, Poland Mahsa Shirmohammadi, CNRS & University of Paris, France Important dates (NEW) ------------------------------------------------- Abstract regular papers 31 January 2022 (new) Submission regular papers 3 February 2022 (new) Notification regular papers 7 March 2022 (new) Camera-ready copy 25 March 2022 (new) Submission short contributions 3 March 2022 Notification short contributions 9 March 2022 All dates are inclusive and Anywhere on Earth (AoE). (We have been informed that ETAPS workshop registration fees will be constant across all registration deadlines.) Programme committee ------------------- Adriana Balan, University Politehnica of Bucharest, Romania Henning Basold, Leiden University, The Netherlands Marta Bilkova, Czech Academy of Sciences, Czech Republic Fredrik Dahlqvist, Queen Mary University London, United Kingdom Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Richard Garner, Macquarie University, Australia Jeremy Gibbons, University of Oxford, United Kingdom Helle Hvid Hansen (co-chair), University of Groningen, The Netherlands Ichiro Hasuo, National Institute of Informatics, Japan Tobias Kappé, University of Amsterdam, The Netherlands Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Barbara König, University of Duisburg-Essen, Germany Marina Lenisa, University of Udine, Italy Davide Sangiorgi, University of Bologna, Italy Lutz Schröder, University of Erlangen-Nuremberg, Germany David Spivak, Massachusetts Institute of Technology, USA Tarmo Uustalu, Reykjavik University, Iceland Thorsten Wißmann, Radboud University, The Netherlands Fabio Zanasi (co-chair), University College London, United Kingdom Maaike Zwart, ITU Copenhagen, Denmark PC co-chairs -------------- Helle Hvid Hansen, University of Groningen, The Netherlands Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Thorsten Wißmann, Radboud University, The Netherlands Steering committee ------------------ Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, Leiden University, The Netherlands Corina Cirstea, University of Southampton, United Kingdom Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Bartek Klin, University of Oxford, United Kingdom Alexander Kurz, Chapman University, United States Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Lawrence Moss, Indiana University, USA Daniela Petrisan, University Paris Diderot, France Jurriaan Rot, Radboud University, The Netherlands Dirk Pattinson, Australian National University, Australia Lutz Schröder, University of Erlangen-Nuremberg, Germany Alexandra Silva, Cornell University, USA Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be max 18 pages long in Springer LNCS style, excluding references. A clearly-marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2022 The proceedings of CMCS 2022 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. From cfp at mat.unical.it Thu Jan 27 11:23:38 2022 From: cfp at mat.unical.it (cfp) Date: Thu, 27 Jan 2022 12:23:38 +0100 Subject: [Haskell] LPNMR 2022 - Call for Workshops In-Reply-To: <9d24b294-2f3e-7cb4-b125-5d537b157ec2@mat.unical.it> References: <9d24b294-2f3e-7cb4-b125-5d537b157ec2@mat.unical.it> Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---------------------------------------------------------------------------                             CALL FOR WORKSHOPS                        16th International Conference on                 Logic Programming and Non-monotonic Reasoning                                LPNMR 2022 https://sites.google.com/view/lpnmr2022                              Genova, Italy                           September 5-8, 2022 --------------------------------------------------------------------------- The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) will be held in Genova, Italy. The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics. Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributes. Workshops will likely be half-day or one-day in duration, but we may consider longer programs. DATES    * Workshop proposals submissions: February 25th, 2022    * Workshop proposals notifications: March 7th, 2022    * Workshop program: September 5th, 2022 (tentative date) SUBMISSION  Proposals must be submitted via EasyChair: https://easychair.org/my/conference?conf=lpnmrws2022  Proposals should clearly specify the following:    * Workshop title and acronym    * A brief description, emphasizing why this workshop would appeal to      audiences from LPNMR    * A list of organizers with email addresses, web page URLs, and a short      description of their experience in organizing events    * A short description of the format of planned activities (talks, posters,      panels, invited speakers if any, etc.)    * The proposed duration (half day, one day, etc.)    * A description of the history of the workshop (if any)    * Expected number of participants VENUE Workshops are planned to be held at the University, which is in the city center of Genova. Genova is the capital of Liguria, stretching along the bay of Genova from Nervi to the east as far as Voltri to the west. Its old town district is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR  Georg Gottlob, Oxford University, UK PROGRAM CHAIRS  Daniela Inclezan, Miami University, USA  Marco Maratea, University of Genova, Italy PUBLICITY CHAIR  Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR  Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR  Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION  Matteo Cardellini, University of Genova, Italy  Angelo Ferrando, University of Genova, Italy (Chair)  Marco Mochi, University of Genova, Italy CONTACT  For any details on workshops, please contact the Workshop Chair: viviana.mascardi at unige.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at joachim-breitner.de Sat Jan 29 11:36:59 2022 From: mail at joachim-breitner.de (Joachim Breitner) Date: Sat, 29 Jan 2022 12:36:59 +0100 Subject: [Haskell] Request for Nominations to the GHC Steering Committee Message-ID: Dear Haskell community, the GHC Steering committee is seeking nominations for at least two new members. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. In particular, please have a look at the bylaws at https://github.com/ghc-proposals/ghc-proposals/blob/master/committee.rst We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the committee secretary) at mail at joachim-breitner.de until February 11th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Joachim Breitner -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From chris at chrisdornan.com Sun Jan 30 14:22:33 2022 From: chris at chrisdornan.com (Chris Dornan) Date: Sun, 30 Jan 2022 14:22:33 +0000 Subject: [Haskell] Request for Nominations to the GHC Steering Committee In-Reply-To: References: Message-ID: Hi Joachim, I would like to nominate myself for a spot on the GHC Steering Committee if the committee thinks it is appropriate. I have been writing Haskell programs for pretty much as long as Haskell has been around. (I started with Miranda in 1987 and tracked the Haskell reports as they became available.) I think I have pretty good credentials in terms of conservative tendencies where Haskell is concerned being an early skeptic of type classes. (Early type classes appeared too weak to me given the complexity they were bringing but have been delighted to be proved comprehensively wrong.) I think my favourite language proposal is DerivingVia — it brings so much of what is good in Haskell together in an utterly delightful way. (Though being a past member of the ARM patent review committee I never saw anything approaching 1% of the invention in this proposal — IMHO, Turing Award have been dished out for less.) Long story short, I like a good proposal, but it really needs to pay its way. I am a strong believer in the GHC proposals process and tying them to language extension pragmas — it has really born tremendous fruits that could hardly have come both under the old monolithic language report regime. I do not have a strong background in type theory — I have however dabbled in the past, writing simple HM solvers, etc., and have a grasp of the fundamentals — so my main utility will be reviewing proposals from the perspective of a non-type theorist. You might have enough of those in which case you will be looking elsewhere! Cheers, Chris > On 2022-01-29, at 11:36, Joachim Breitner wrote: > > Dear Haskell community, > > the GHC Steering committee is seeking nominations for at least two new > members. > > The committee scrutinizes, nitpicks, improves, weights and eventually > accepts or rejects proposals that extend or change the language > supported by GHC and other (public-facing) aspects of GHC. > Our processes are described at > https://github.com/ghc-proposals/ghc-proposals > which is also the GitHub repository where proposals are proposed. In > particular, please have a look at the bylaws at > https://github.com/ghc-proposals/ghc-proposals/blob/master/committee.rst > > > We are looking for a member who has the ability > * to understand such language extension proposals, > * to find holes and missing corner cases in the specifications, > * foresee the interaction with other language features and > specifications, > * comment constructively and improve the proposals, > * judge the cost/benefit ratio and > * finally come to a justifiable conclusion. > > We look for committee members who have some of these properties: > * have substantial experience in writing Haskell applications or > libraries, which they can use to inform judgements about the > utility or otherwise of proposed features, > * have made active contributions to the Haskell community, for > some time, > * have expertise in language design and implementation, in either > Haskell or related languages, which they can share with us. > > The committee’s work requires a small, but non-trivial amount of time, > especially when you are assigned a proposal for shepherding. We > estimate the workload to be around 2 hours per week, and our process > works best if members usually respond to technical emails within 1-2 > weeks (within days is even better). Please keep that in mind if your > email inbox is already overflowing. > > There is no shortage of people who are eager to get fancy new > features into the language, both in the committee and the wider > community. But each new feature imposes a cost, to implement, to learn, > (particularly) through its unexpected interaction with other features. > We need to strike a balance, one that encourages innovation (as GHC > always has) while still making Haskell attractive for real-world > production use and for teaching. We therefore explicitly invite > “conservative” members of the community to join the committee. > > To make a nomination, please send an email to me (as the committee > secretary) at mail at joachim-breitner.de until February 11th. I will > distribute the nominations among the committee, and we will keep the > nominations and our deliberations private. > > We explicitly encourage self-nominations. You can nominate others, but > please obtain their explicit consent to do so. (We don’t want to choose > someone who turns out to be unable to serve.) > > On behalf of the committee, > Joachim Breitner > > -- > Joachim Breitner > mail at joachim-breitner.de > http://www.joachim-breitner.de/ > > _______________________________________________ > ghc-devs mailing list > ghc-devs at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs