- Haskell - Haskell.org

Midlands Graduate School, 2-6 April 2023, Birmingham , UK
by Graham Hutton 14 Feb '23

14 Feb '23

Dear all, Registration is now open for this years Midlands Graduate School, which takes place 2-6 April 2023 at the University of Birmingham, UK: http://www.tinyurl.com/MGS2023 MGS provides an intensive course of lectures on the Mathematical Foundations of Computing. It has been running for approaching 25 years, and attracts around 100 participants per year from both academia and industry. This year's courses: - Domain theory and denotational semantics (Tom de Jong) - Type theory (Thorsten Altenkirch) - Category theory (Nicolai Kraus) - Computational models of higher categories (Jamie Vicary) - Homotopy type theory (Eric Finster) - String diagrams (Dan Marsden) - Algebraic semantics and verification (Georg Struth) - Effects and call-by-push-value (Paul Levy) Spaces are limited, so early registration is recommended. Please share! Best wishes, Graham -- Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh 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

Call for STSMs, deadline 1 July 2022
by Ambrus Kaposi 13 Feb '23

13 Feb '23

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 1st July 2022 Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs *What is an STSM?* 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. Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators

1 3

TYPES 2023 - Call for contributions
by Alicia Villanueva 13 Feb '23

13 Feb '23

[ Apologies for multiple postings ] ===================================================================== Call for Contributions TYPES 2023 29th International Conference on Types for Proofs and Programs Valencia, Spain, 12 - 15 June 2023 https://types2023.webs.upv.es/ OVERVIEW -------------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. CONTRIBUTED TALKS -------------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2023 IMPORTANT DATES ------------------ * Submission of abstract 6 March 2023 AoE * Author notification 5 May 2023 * Camera-ready version of abstract 12 May 2023 AoE * Conference 12 - 15 June 2023 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. POST-PROCEEDIGNS ------------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2023. PROGRAMME COMMITTEE --------------------- Andreas Abel (Gothenburg University, Sweden) Bahareh Afshari (U. of Gothenburg, Sweden & U. of Amsterdam, The Netherlands) Carlo Angiuli (Carnegie Mellon University, USA) Stefano Berardi (University of Torino, Italy) Marc Bezem (University of Bergen, Norway) Ulrik Buchholtz (University of Nottingham, UK) Cyril Cohen (Inria Sophia Antipolis - Méditerrannée, France) Herman Geuvers (Radboud University, The Netherlands) Silvia Ghilezan (University of Novi Sad, Serbia) Robert Harper (Carnegie Mellon University, USA) Eduardo Hermo Reyes (Formal Vindications, Spain) (co-chair) Ambrus Kaposi (Eötvös Loránd University, Hungary) Delia Kesner (Université Paris Cité, France) Ekaterina Komendantskaya (Heriot-Watt University, UK) Marina Lenisa (Università degli Studi di Udine, Italy) Assia Mahboubi (INRIA, France) Ralph Matthes (IRIT - CNRS and University of Toulouse, France) Leonardo de Moura (Microsoft, USA) Sara Negri (Università degli Studi di Genova, Italy) Luca Padovani (Università di Camerino, Italy) Pierre-Marie Pédrot (INRIA, France) Luís Pinto (Universidade do Minho, Portugal) Anton Setzer (Swansea University, UK) Alicia Villanueva (U. Politècnica de València, Spain) (co-chair) TYPES STEERING COMMITTEE Sandra Alves (University of Porto, Portugal) (Secretary) Henning Basold (Leiden University, The Netherlands) (SC chair) Eduardo Hermo Reyes (Formal Vindications, Spain) Paige Randall North (Utrecht University, The Netherlands) Matthieu Sozeau (INRIA & Université de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022). CONTACT Email: types2023(a)easychair.org ORGANIZERS: Mireia González Bedmar (Formal Vindications, Spain) Alicia Villanueva (VRAIN & Universitat Politècnica de València, Spain)

1 0

ARRAY 2023 Call for Papers - please help disseminate
by Troels Henriksen 09 Feb '23

09 Feb '23

# ARRAY 2023 - co-located with PLDI 2023 - call for papers * Submission deadline: 31st of March * Notification: 21st of April * Workshop date: 17th of June * Submission: https://array23.hotcrp.com/ Array programming is at home in many communities, including language design, library development, optimization, scientific computing, and across many existing language communities. The ARRAY Workshop series is intended to bring together researchers from many different practical and theoretical communities, including language designers, library developers, type theorists, compiler researchers, and practitioners. These communities can exchange ideas on the construction of computational tools for manipulating arrays and fundamental principles of array programming. Submissions are welcome in two categories: full papers and extended abstracts. All submissions should be formatted in conformance with the ACM SIGPLAN proceedings style. Accepted submissions in either category will be presented at the workshop. The ARRAY series of workshops explores: - formal semantics and design issues of array-oriented languages and libraries; - correctness of array programs, including type-theoretic issues, formal verification, array models, static analysis; - productivity and performance in compute-intensive application areas of array programming; - systematic notation for array programming, including axis- and index-based approaches; - intermediate languages, virtual machines, and program-transformation techniques for array programs; - representation of and automated reasoning about mathematical structure, such as static and dynamic sparsity, low-rank patterns, and hierarchies of these, with connections to applications such as graph processing, HPC, tensor computation and deep learning; - interfaces between array- and non-array code, including approaches for embedding array programs in general-purpose programming languages; and - efficient mapping of array programs, through compilers, libraries, and code generators, onto execution platforms, targeting multi-cores, SIMD devices, GPUs, distributed systems, and FPGA hardware, by fully automatic and user-assisted means. All submissions must be in PDF format, printable in black and white on US Letter sized paper. Papers must adhere to the standard SIGPLAN conference format: two columns, ten-point font. Full papers may be up to 12 papes, on any topic related to the focus of the workshop. They will be thoroughly reviewed according to the usual criteria of relevance, soundness, novelty, and significance; accepted submissions will be published in the ACM Digital Library as part of the workshop proceedings. Extended abstracts may be up to 2 pages; they may describe work in progress, tool demonstrations, and summaries of work published in full elsewhere. The focus of the extended abstract should be to explain why the proposed presentation will be of interest to the ARRAY audience. Submissions will be lightly reviewed only for relevance to the workshop, and will not published in the Digital Library.

1 0

MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
by Ali BENZERBADJ 07 Feb '23

07 Feb '23

---------------------------------------------------------------------------- The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada July 24-26, 2023 http://cs-conferences.acadiau.ca/mobispc-23/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC- solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2023 will provide a leading-edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: March 14, 2023 - Acceptance Notification: May 8, 2023 - Final Manuscript Due: June 1, 2023 Publication ------------ All MobiSPC 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), 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: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2023 will be held in conjunction with the 18th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-23/) MobiSPC 2023 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chair Hossam Hassanein, Queen's University, Canada Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Faouzi Kammoun, ESPRIT, Tunisia Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Rahim Rahmani, Stockholm University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Sohail Jabbar, The University of Faisalabad, Pakistan Orven E. Llantos, MSU-IIT, Philippines Jake Speiran, Acadia University, Canada Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-23/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
by Ali BENZERBADJ 05 Feb '23

05 Feb '23

---------------------------------------------------------------------------- The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada July 24-26, 2023 http://cs-conferences.acadiau.ca/mobispc-23/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC- solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2023 will provide a leading-edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: March 14, 2023 - Acceptance Notification: May 8, 2023 - Final Manuscript Due: June 1, 2023 Publication ------------ All MobiSPC 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), 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: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2023 will be held in conjunction with the 18th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-23/) MobiSPC 2023 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chair Hossam Hassanein, Queen's University, Canada Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Faouzi Kammoun, ESPRIT, Tunisia Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Rahim Rahmani, Stockholm University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Sohail Jabbar, The University of Faisalabad, Pakistan Orven E. Llantos, MSU-IIT, Philippines Jake Speiran, Acadia University, Canada Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-23/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

CALCO 2023: Second Call for Papers
by Thorsten Wissmann 03 Feb '23

03 Feb '23

========================================================= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/ *** Updated: Invited Speakers and Special Sessions *** ========================================================== Paper submission: March 8, 2023 (AoE) Author notification: Apr 28, 2023 (AoE) Final version due: May 19, 2023 ========================================================== Invited Speakers ---------------- Robert Harper, Carnegie Mellon University (Joint with MFPS) Assia Mahboubi, Inria (Joint with MFPS) Roberto Bruni, University of Pisa Elaine Pimentel, University College London Jeremy Siek, Indiana University Special Sessions ---------------- “Category Theory in Machine Learning” Organised by Brendan Fong and Brandon Shapiro (Topos Institute), Fabio Zanasi (University College London) An additional special session on proof assistants (joint with MFPS) will be organised by Assia Mahboubi, Inria Scope ----- Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Salzburg (Austria, 2021), London (UK, 2019), Ljubljana (Slovenia,2017), Nijmegen (the Netherlands, 2015), Warsaw (Poland, 2013), Winchester (UK, 2011), Udine (Italy, 2009), Bergen (Norway, 2007), Swansea (Wales, 2005). The 10th edition will be held in Bloomington, Indiana, co-located with MFPS XXXIX. It is planned as a physical, in-person event, with support for remote presence, both for speakers and for other participants who are unable or unwilling to travel. Submission Categories --------------------- CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebraic tools. Topics of Interests ------------------- All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformations) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ---------------------- All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco2023 The format for all submissions is specified by LIPIcs. Please use the latest version of the style: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers -------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is planned. (Co)algebraic pearls -------------------- This is a recent submission category. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Early ideas abstracts --------------------- Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Tool papers ----------- Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Best Paper and Best Presentation Awards --------------------------------------- This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee ------------------- * Carlos Gustavo Lopez Pombo (University of Buenos Aires) * Andreas Abel (Gothenburg University) * Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa) * Patricia Johann (Appalachian State University) * Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy) * Martin Escardo (University of Birmingham) * Tarmo Uustalu (Reykjavik University) * Giorgio Bacci (Aalborg University) * Thorsten Wißmann (FAU Erlangen-Nürnberg) * Fabio Gadducci (University of Pisa) * Shin-Ya Katsumata (National Institute of Informatics, Tokyo) * Holger Giese (Hasso Plattner Institute at the University of Potsdam) * Peter Ölveczky (University of Oslo) * Michael Johnson (Macquarie University) * Nicolas Behr (CNRS Université Paris Cité) * Henning Urbat (FAU Erlangen-Nürnberg) * Valentina Castiglioni (Reykjavik University) * Fernando Orejas (Universitat Politècnica de Catalunya) * Mehrnoosh Sadrzadeh (University College London) * Georgiana Caltais (University of Twente) * Sławomir Lasota (University of Warsaw) * Aleks Kissinger (University of Oxford) * Thomas Colcombet (CNRS, IRIF, Université de Paris) * Sandra Kiefer (Max Planck Institute for Software Systems) * Peter Selinger (Dalhousie University) * Natasha Alechina (Utrecht University) * Sara Kalvala (University of Warwick) Chairs ------ Paolo Baldan (University of Padua) Valeria de Paiva (Topos Institute, Berkeley) Organiser --------- * Larry Moss (local) (Indiana University)

1 0

2nd Call for Participation: BOB 2023 (Berlin, March 17)
by Stefan Wehr 02 Feb '23

02 Feb '23

========================================================================= BOB 2023 Conference “What happens if we simply use what’s best?” March 17, 2023, Berlin https://bobkonf.de/2023/ Program: https://bobkonf.de/2023/program.html Registration: https://bobkonf.de/2023/registration.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/2023/program.html Talk subjects includes functional programming, software architecture, accessibility, digital transformation, version control, formal methods, and devops. BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain Storytelling, Hexagonal Frontend Architecture, and other topics. Yulia Startsev will give the keynote talk on "Re-thinking Modules for the Web". Registration is open - tickets are all under 200€, and many discount options are available, as are grants for members of groups underrepresented in tech: https://bobkonf.de/2023/registration.html

1 0

CfP: Journal of Systems and Software - Special Issue on Software Language Engineering
by Andrei Chis 13 Jan '23

13 Jan '23

Dear Colleagues, We invite submissions for the Journal of Systems and Software Special Issue on «Software Language Engineering». This special issue is related to the 2022 edition of the Software Language Engineering Conference (https://2022.splashcon.org/home/sle-2022?) but **it is open to all authors.** Details follow. -------------------------------------------------------------------------------------- Journal of Systems and Software Software Language Engineering Special Issue Guest Editors ● Lola Burgueño, University of Malaga, Spain ● Walter Cazzola, Professor, Università degli Studi di Milano, Italy ● Dimitris Kolovos, Professor, University of York, United Kingdom Special issue information: With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modeling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its meta-circular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. This special issue will represent a further step in identification, definition and tooling of software languages. Topics of interest related to the special issue, but are not limited to: ● Software Language Design and Implementation ○ Approaches to and methods for language design ○ Static semantics (e.g. design rules, well-formedness constraints) ○ Techniques for specifying behavioral / executable semantics ○ Generative approaches (incl. code synthesis, compilation) ○ Meta-languages, meta-tools, language workbenches ● Software Language Validation ○ Verification and formal methods for languages ○ Testing techniques for languages ○ Simulation techniques for languages ● Software Language Integration and Composition ○ Coordination of heterogeneous languages and tools ○ Mappings between languages (incl. transformation languages) ○ Traceability between languages ○ Deployment of languages to different platforms ● Software Language Maintenance ○ Software language reuse ○ Language evolution ○ Language families and variability, language and software product lines ○ Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) ● Empirical evaluation and experience reports of language engineering tools ○ User studies evaluating usability ○ Performance benchmarks ○ Industrial applications ● Synergies between Language Engineering and emerging/promising research areas ○ AI and ML language engineering (e.g., ML compiler testing, code classification) ○ Quantum language engineering (e.g., language design for quantum machines) ● Language engineering for physical systems (e.g., CPS, IoT, digital twins) ○ Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) Manuscript submission information: Proposed Dates and Outcomes ● Submission: 15 February 2023 ● Notification to authors (first round): 15 April 2023 ● Submission of revised papers (second round): 15 June 2023 ● Notification to authors (second round): 15 August 2023 ● Submission after second review: 15 October 2023 ● Final acceptance: 15 November 2023 ● Date of publication: 15 December 2023 Submission Guidelines The call for this special issue is an open call. We invite innovative research with a sound scientific or technological basis and validation. We accept submissions of original and previously unpublished manuscripts and we especially encourage the submission of revised and extended papers from the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022). If a previous version of the manuscript has been published in a conference or journal, then authors must explicitly explain the novelty of this new submission and provide at least 30% new material. Surveys, literature reviews and mapping studies would not be considered as part of this special issue. All manuscripts and any supplementary material should be submitted through the Elsevier Editorial System at https://www.editorialmanager.com/jssoftware/default1.aspx. Follow the submission instructions given on this site. During the submission process, select the article type "VSI:SLE" from the "Choose Article Type" pull-down menu. All submissions must adhere to the general principles of the Journal of Systems and Software articles. Submissions have to be prepared according to the Guide for Authors, available on the journal website, and must follow the format specified in the JSS Guide for Authors https://www.elsevier.com/journals/journal-of-systems-and-software/0164-1212…. For more information about the special issue, please contact the guest editors.

1 0

CMSB 2023: first call for papers
by Jun PANG 12 Jan '23

12 Jan '23

======================================== CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/ ======================================== CMSB 2023 solicits original research articles, tool papers, posters, and highlight talks on the modelling and analysis of biological systems and networks, as well as the analysis of biological data. The conference brings together researchers from across biological, mathematical, computational, and physical sciences who are interested in the modelling, simulation, analysis, inference, design, and control of biological systems. It covers the broad field of computational methods and tools in systems and synthetic biology and their applications. ************************ LIST OF TOPICS ************************ Topics of interest include, but are not limited to: * formalisms for modelling biological processes; * methods and tools for biological system analysis, modelling and simulation; * frameworks for model verification, validation, analysis, and simulation of biological systems; * high-performance methods for computational systems biology; * identification of biological systems; * applications of machine learning and data analytics in biology; * network modelling, analysis, inference; * automated parameter and model synthesis; * model integration and biological databases; * multi-scale modelling and analysis methods; * design, analysis, and verification methods for synthetic biology; * methods for biomolecular computing and engineered molecular devices; * data-based approaches for systems and synthetic biology; * optimality and control of biological systems; * modelling, analysis and control of microbial communities. The conference welcomes new theoretical results with potential applications to systems and synthetic biology, as well as novel applications and case studies of existing methods, tools, or frameworks. The CMSB 2023 proceedings will be published in the Springer LNCS/LNBI series and indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, and Google Scholar. A selection of best papers is planned to be invited after the conference to be extended and submitted to a special issue of a major international journal. ************************ IMPORTANT DATES (all dates are AoE) ************************ Abstract submission: April 16, 2023 Paper submission: April 23, 2023 Notification: June 9, 2023 Camera ready: June 23, 2023 Poster/highlight talk: July 9, 2023 Conference: September 13-15, 2023 ************************ TYPES OF CONTRIBUTIONS ************************ Contributions should be submitted to one of the following categories: A) REGULAR PAPERS: Regular papers should describe original work that has not been previously published and is not under review for publication elsewhere. Accepted regular papers will be published as part of the conference proceedings in the Springer LNCS series. Papers in this category should not exceed 15 pages in the Springer LNCS style (including main figures and tables, excluding references and possible appendices). B) TOOL PAPERS: Tool papers should present new tools or public websites, new tool components or novel extensions to existing tools or websites supporting biological system modelling, analysis, simulation, or similar. Submissions must include information on methods, tool availability, and selected application results. They should be original and not previously published in a similar form. Accepted tool papers will be published as part of the conference proceedings in the Springer LNCS series. Papers in this category should have 4-6 pages in the Springer LNCS style (including main figures and tables, excluding references and possible appendices). C) POSTERS: Extended abstracts should be submitted to propose poster presentation of original unpublished work, or of major results published or accepted in the last year in a high-quality journal or conference. The abstracts should be submitted in Springer LNCS style and should not exceed 4 pages all included. Authors of accepted abstracts will be invited for presentation in a poster session and/or for flash presentations. Poster submissions will not be included in the Springer LNBI proceedings. D) HIGHLIGHT TALKS: Highlight talk proposals should be submitted in the form of an extended abstract, for possible oral presentation without publication of related material in the conference proceedings. We particularly welcome submissions of recently published work. Submitted abstracts summarising the results and their relevance should not exceed 2 pages including references. Extended abstracts will not be included in the Springer LNBI proceedings. ************************ SUBMISSION INFORMATION ************************ All submitted papers and extended abstracts have to be written in English and must be submitted in the form of a PDF file using the EasyChair online submission system, at the following link: https://easychair.org/conferences/?conf=cmsb2023. Instruction for the Springer Nature LNCS style: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…. Each submission will be reviewed by at least three members of the Program Committee (see above for specific reviewing information about tools). All accepted contributions must be presented at the conference by one of the authors. Springer Nature encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. If an author is interested in Open Access or Open Choice, please refer to Springer Nature’s webpage for prices and additional information. All CMSB authors should consult the Springer Nature Code of Conduct (https://www.springernature.com/gp/authors/book-authors-code-of-conduct) including guidelines for authorship principles, originality, redundant publications, conflicts of interests, etc. In particular, we draw your attention to the Springer Nature policies in the section Ethical Approval and Informed Consent. ************************ PROGRAMME COMMITTEE ************************ Tatsuya Akutsu – University of Kyoto (Japan) Claudio Altafini – University of Linköping (Sweden) Daniela Besozzi – University of Milan Bicocca (Italy) Luca Bortolussi – University of Trieste (Italy) Frank Bruggeman – Vrije Universiteit Amsterdam (Netherlands) Luca Cardelli – University of Oxford (United Kingdom) Milan Ceska – Brno University of Technology (Czech Republic) François Fages – Inria Saclay (France) Christoph Flamm – University of Vienna (Austria) Maxime Folschette – École Centrale de Lille (France) Anna Gambin – University of Warsaw (Poland) Ashutosh Gupta – Indian Institute of Technology Bombay (India) Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany) Hillel Kugler – Bar-Ilan University (Israel) Luca Laurenti – TU Delft (Netherlands) Andrzej Mizera – University of Warsaw (Poland) Pedro T. Monteiro – University of Lisbon (Portugal) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland) Jakob Ruess – Inria Paris (France) David Šafránek – Masaryk University (Czech Republic) Thomas Sauter – University of Luxembourg (Luxembourg) Abhyudai Singh – University of Delaware (United States) Chris Thachuk – University of Washington (United States) Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy) Christoph Zechner – Max Planck Institute, Dresden (Germany) ************************ CONTACT ************************ All questions about the conference should be emailed to the organizers Joachim Niehren (joachim.niehren(a)inria.fr) and Jun Pang (jun.pang(a)uni.lu)

1 0