November 2022 - Haskell

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

Tenure Track Position at University of Kansas
by Perry Alexander 28 Nov '22

28 Nov '22

The University of Kansas (KU) Department of Electrical Engineering and Computer Science (EECS) seeks outstanding individuals for a full-time, tenure track, academic year (9-month) position in Computer Science. Successful candidates are expected to contribute to the development of academic programs and contribute to the research community. Applicants are expected to have an earned doctorate, or equivalent in Computer Science, Computer Engineering, Electrical Engineering, or closely related fields at the time of appointment. The following position is open at the assistant professor (tenure-track) level, with experience in any area related to programming languages and/or static analysis, including but not limited to: type systems; language semantics; automated software engineering; program analysis; partial evaluation; symbolic execution; and/or model checking. Application areas including high-assurance systems; resiliency; trustworthy systems; and/or secure systems are particularly desirable. Exceptional applicants in other closely related areas to the above topics may be considered. EECS is the largest department in the KU School of Engineering with 34 faculty members and a research volume of over $6 million per year. Faculty engage in research projects across multiple areas of interest through the department, the Institute for Information Sciences (I2S), the Center for Remote Sensing and Interdisciplinary Systems (CReSIS), and the KU Medical Center. The EECS department offers undergraduate and graduate degrees in electrical engineering, computer engineering, computer science, and interdisciplinary computing. The department has approximately 750 undergraduate and 150 graduate students. This position is one of 5 new hires supported by KU's Research Rising initiative for expansion of interdisciplinary research in security and assurance. The University of Kansas School of Engineering (SoE) and the EECS Department strongly value diversity, equity, and inclusion. In a continuing effort to enrich its academic environment and provide equal educational and employment opportunities, the university actively encourages applications from members of underrepresented groups in higher education. Please visit <https://employment.ku.edu/assistant-professor-programming-languages/23542br> to apply.

1 0

10 PhD studentships in Nottingham
by Graham Hutton 21 Nov '22

21 Nov '22

Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phd-2022 Applicants in the area of the Functional Programming Lab (tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible; the application deadline is 12th Feb 2023: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory, proof assistants, constructive mathematics, and related topics. Graham Hutton - functional programming, haskell, category theory, program verification, program calculation. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science. These positions are open to students of any nationality. Best wishes, The FP Lab +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/ten-phd-2022 Applications are invited from international and home students for 10 fully-funded PhD studentships offered by the School of Computer Science, starting on 1st October 2023. The topics for the studentships are open, but should relate to the interests of one the School's research groups: Computational Optimisation and Learning; Computer Vision; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality; Uncertainty in Data and Decision Making; Visualisation and Computer Graphics; Cyber-Physical Health and Assistive Robotics Technologies. The studentships are fully funded for 3.5 years and include a stipend of £17,668 per year and tuition fees. Applicants are normally expected to have a first-class class bachelors or masters in Computer Science or another relevant area, and must obtain the support of a potential supervisor in the School prior to submitting their application. If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system. Closing date for applications: Sunday 12th February 2023. +-----------------------------------------------------------+ 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

[TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming
by Peter Achten 15 Nov '22

15 Nov '22

# TFP 2023 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers, Wednesday 23rd November, 2022 Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022 Notification: pre-symposium submissions, Friday 23rd December, 2022 Registration: Friday 6th January, 2023 TFPIE Workshop: Thursday 12th January, 2023 TFP Symposium: Friday 13th - Sunday 15th January, 2023 Submission deadline: post-symposium review, Friday 17th February, 2023 Notification: post-symposium submissions, Friday 31st March, 2023 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. This year, TFP will take place in-person at UMass Boston, Massachusetts in the United States. It is co-located with the Trends in Functional Programming in Education (TFPIE) workshop, which will take on the day before the main symposium. Please be aware that TFP has several submission deadlines. The first, November 23, is for authors that wish to have their full paper reviewed prior to the symposium. Papers that are accepted in this way must also be presented at the symposium. The second, December 16, is for authors that wish to present their work or work-in progress at the symposium first without submitting to the full review process for publication. These authors can then take into account feedback received at the symposium and submit a full article for review by the third deadline, February 17. ## 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 2023 program chair, Stephen Chang. ## Best Paper Awards TFP awards two prizes for the best papers each year. First, to reward excellent contributions, TFP awards a prize for the best overall paper accepted for the post-conference formal proceedings. Second, a prize for the best student paper is awarded each year. 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. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, then that paper will receive both prizes. ## Instructions to Authors Papers must be submitted at: <https://easychair.org/conferences/?conf=tfp23> Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. Further, pre-symposium submissions may either be full (earlier deadline) or draft papers (later deadline). ## Pre-symposium formal review Papers to be formally reviewed before the symposium should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected for publication but accepted for presentation may be resubmitted for the post-symposium formal review. ## Post-symposium formal review 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 receive 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 Peter Achten, Radboud University Nijmegen, Netherlands Nada Amin, Harvard University, USA Ambrose Bonnaire-Sergeant, Untypable LLC, USA Laura M. Castro, University of A Coruña, Spain Stephen Chang (Chair), University of Massachusetts Boston, US John Clements, Cal Poly, USA Youyou Cong, Tokyo Institute of Technology, Japan Paul Downen, University of Massachusetts Lowell, USA Kathy Gray, Meta Platforms, Inc., UK Ben Greenman, University of Utah, USA Jason Hemann, Seton Hall University, USA Patricia Johann, Appalachian State University, USA Alexis King, Tweag, USA Julia Lawall, Inria-Paris, France Barak Pearlmutter, Maynooth University, Ireland Norman Ramsey, Tufts University, USA Ilya Sergey, National University of Singapore, Singapore Melinda Tóth, Eötvös Loránd University, Hungary Ningning Xie, University of Toronto, Canada

1 0

Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
by Andrei Popescu 14 Nov '22

14 Nov '22

EVENT: Annual LMS/BCS-FACS Evening Seminar SPEAKER: Sam Staton, University of Oxford TITLE: Programming-based foundations for statistics DATE: Thursday, 17 November 2022, Starting time: 18:00 UTC VENUE: Online via Zoom EVENT PAGE: https://www.lms.ac.uk/events/lectures/lms-bcs-facs-evening-seminars REGISTRATION LINK: https://www.lms.ac.uk/civicrm/event/register?id=88&reset=1 Prior registration is required for attendance -- the registration site will close on Wednesday, 16 November, at 17:00 SYNOPSIS Probabilistic programming is a popular tool for statistics and machine learning. The idea is to describe a statistical model as a program with random choices. The program might be a simulation of a system, such as a physics model, a model of viral spread, or a model of electoral behaviour. We can now carry out statistical inference over the system, for example, by running a Monte Carlo simulation – running the simulation 100,000’s of times. As I will discuss in this talk, the idea of treating statistical models as computer programs also has a foundational appeal. If we can understand statistical models as programs, then the foundations of probability and statistics can be discussed in terms of program semantics. There is a chance of new foundational perspectives on statistics, in terms of programming languages and their formal methods. As I will explain, this programming-based foundation for statistics is attractive because there are some intuitively simple scenarios, such as inference over function spaces, which have an easy programming implementation, but for which the traditional mathematical interpretation is complicated. SPEAKER BIOGRAPHY Sam Staton is a Professor of Computer Science and Royal Society University Research Fellow at the University of Oxford. There he currently runs an ERC grant "Better Languages for Statistics". Before arriving in Oxford in 2015, Sam spent time in Nijmegen, Paris, and Cambridge. His PhD was in Cambridge with Marcelo Fiore (2007). Sam's main research is in programming language theory, but he is also interested in logic and category theory. He has recent contributions in probabilistic programming languages, and quantum computing and programming languages. Webpage: https://www.cs.ox.ac.uk/people/samuel.staton/main.html

1 0

The 6th International Conference on Emerging Data and Industry (EDI40: Leuven, Belgium March 15-17, 2023): Paper Submission Due: November 15, 2022 (firm)
by Ali BENZERBADJ 14 Nov '22

14 Nov '22

Apologies if you receive multiple copies of this message. The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop Important Dates - Workshops Proposals Due: September 15, 2022 - Paper Submission Due: November 15, 2022 (FINAL) - Acceptance Notification: December 12, 2022 - Camera-Ready Submission: January 9, 2023 EDI40 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: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2023 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2023). Conference Tracks - Benefits of Industry 4.0/6.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0/6.0 - General Track: Digitalization Startegies General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Workshops Chair Stephane Galland, UTBM, France Program International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Ali Benzerbadj, University of Oran 1 Ahmed Ben Bella, Algeria Olivier Debauche, University of Mons, Belgium Siddardha Kaja, Air Canada, Canada Sohail Jabbar, The University of Faisalabad, Pakistan Technical Program Committee http://cs-conferences.acadiau.ca/edi40-23/#programCommittees Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada

1 0

[EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)
by Ali BENZERBADJ 12 Nov '22

12 Nov '22

Apologies if you receive this more than once. *************************************************************** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *************************************************************** Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop Important Dates - Workshops Proposals Due: September 15, 2022 - Paper Submission Due: November 15, 2022 (FINAL) - Acceptance Notification: December 12, 2022 - Camera-Ready Submission: January 9, 2023 EDI40 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: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2023 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2023). Conference Tracks - Benefits of Industry 4.0/6.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0/6.0 - General Track: Digitalization Startegies General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Workshops Chair Stephane Galland, UTBM, France Program International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Ali Benzerbadj, University of Oran 1 Ahmed Ben Bella, Algeria Olivier Debauche, University of Mons, Belgium Siddardha Kaja, Air Canada, Canada Sohail Jabbar, The University of Faisalabad, Pakistan Technical Program Committee http://cs-conferences.acadiau.ca/edi40-23/#programCommittees Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada

1 0

Call for papers, TASE 2023, Bristol, UK, 4-6 July 2023
by Huibiao Zhu 12 Nov '22

12 Nov '22

TASE 2023 - CALL FOR PAPERS ****************************************************************** The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023) July 4-6, Bristol, UK https://bristolpl.github.io/tase2023/ ****************************************************************** * Abstract submission (not mandatory, but preferred): February 3, 2023 * Paper Submission: February 10, 2023 * Author Notification: April 10, 2023 * Camera-ready versions: May 1, 2023 * Conference date: July 4-6, 2023 -------- OVERVIEW -------- The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023) will be held in Bristol, UK on July 4-6, 2023. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, quality assurance in AI systems, distribution in cloud computing applications, security and privacy in general. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2023 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. TASE 2023 is the 17th in the TASE series. The past TASE symposia were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha ('14), Nanjing ('15), Shanghai (’16), Nice ('17), Guangzhou ('18), Guilin (’19), Hangzhou (’20), Shanghai (’21), Cluj (’22). ------ TOPICS ------ Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results ---------- SUBMISSION ---------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2023 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase23 Selected papers will be invited after the symposium to submit an extended version to a special issue at Science of Computer Programming. --------------- IMPORTANT DATES --------------- * Abstract submission (not mandatory, but preferred): February 3, 2023 * Paper Submission: February 10, 2023 * Author Notification: April 10, 2023 * Camera-ready versions: May 1, 2023 * Conference date: July 4-6, 2023 ------------- HONORARY CHAIR Ian Nabney – University of Bristol, UK ------------- GENERAL CHAIR Meng Wang – Univeristy of Bristol, UK ----------------- PROGRAM CO-CHAIRS Cristina David – University of Bristol, UK Meng Sun – Peking University, China ---------------- PUBLICITY CO-CHAIRS Guoqiang Li -- Shanghai Jiaotong University, China Guillaume Dupont -- Toulouse INP – ENSEEIHT, France ---------------- LOCAL ORGANIZING CHAIR Samantha Frohlich – University of Bristol, UK ------------------ WEB CHAIR Roly Perera – University of Bristol, UK ------------------ WORKSHOP CO-CHAIRS Ileana Ober -- Université Paul Sabatier, France Min Zhang -- East China Normal University, China ------------------ PUBLICATION CHAIR Neeraj Singh -- Toulouse INP – ENSEEIHT, France ------------------ PROGRAM COMMITTEE Bernhard K. Aichernig, Graz University of Technology Yamine Ait Ameur, IRIT/INPT-ENSEEIHT Toshiaki Aoki, JAIST Guangdong Bai, The University of Queensland Richard Banach, University of Manchester Luís Soares Barbosa, University of Minho Marcello Bonsangue, Leiden University Martin Brain, City, University of London Liqian Chen, National University of Defense Technology Zhenbang Chen, National University of Defense Technology Wei-Ngan Chin, National University of Singapore Lucas Cordeiro, University of Manchester Andreeea Costea, National University of Singapore Florin Craciun, Cluj University Cristina David, University of Bristol (PC Co-chair) Flavio Ferrarotti, Software Competence Centre Hagenberg Simon Foster, University of York Marc Frappier, Université de Sherbrooke Robvan Glabbeek, Data61 - CSIRO Matthias Güdemann, University of Applied Sciences, Munich Fei He, Tsinghua University Thai Son Hoang, University of Southampton Zoltán Horváth, Eotvos Lorand University, Budapest Zhe Hou, Griffith University Xiaowei Huang, University of Liverpool Fuyuki Ishikawa, National Institute of Informatics Andreas Katis, KBR Inc. at NASA Ames Research Center Olga Kouchnarenko, University of Franche-Comté Pascal Kesseli, Diffblue, UK Regine Laleau, Paris Est Creteil University Kim Guldstrand Larsen, Aalborg University Dorel Lucanu, Alexandru Ioan Cuza University Frederic Mallet, Universite Nice Sophia-Antipolis Kazutaka Matsuda, Tohoku University Diego Marmsoler, University of Exeter Dominique Mery, Université de Lorraine, LORIA Kazuhiro Ogata, JAIST Peter Ölveczky, University of Oslo Dominic Orchard, University of Kent Jun Pang, University of Luxembourg Geguang Pu, East China Normal University Adrian Riesco, Universidad Complutense de Madrid Shengchao Qin, Teesside University Quang Loc Le, University College London Cristina Seceleanu, Mälardalen University Meng Sun, Peking University (PC Co-chair) Cong Tian, Xidian University Jaco van de Pol, University of Twente Xiaofei Xie, Singapore Management University Naijun Zhan, Institute of Software, Chinese Academy of Sciences Xiyue Zhang, xiyue.zhang(a)cs.ox.ac.uk, University of Oxford Yongwang Zhao, zhaoyw(a)zju.edu.cn, Zhejiang University Huibiao Zhu, East China Normal University Xue-Yang Zhu, Institute of Software, Chinese Academy of Sciences

1 0

2nd Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]
by Stefan Wehr 09 Nov '22

09 Nov '22

================================================================================ BOB Conference 2023 "What happens when we use what's best for a change?" https://bobkonf.de/2023/cfc.html Berlin, Mar 17 Call for Contributions Deadline: November 21, 2022 ================================================================================ You are actively engaged in advanced software engineering methods, solve ambitious problem with software and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite ---------------- We expect we'll be able to hold BOB 2023 in Berlin. Note that we intend to provide a safe environment for all participants. There will be space outside to eat and chat. We may ask you to wear a mask indoors when not presenting or eating, and may also ask you to take a COVID test on-site before the event. If an on-site BOB is not possible, we'll make BOB a successful online event, like BOB 2021 and BOB 2022. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Shepherding ----------- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not able to attend the conference for financial reasons. Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - "fancy types" (dependent types, gradual typing, linear types, ...) - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - program synthesis - next-generation IDEs - effective abstractions for data analytics - … everything really that isn’t mainstream, but you think should be - … includeing rough ideas worth discussing. Presenters should provide the audience with information that is practically useful for software developers. Challenges ---------- Furthermore, we seek contributions on successful approaches for solving hard problems, for example: - bias in machine-learning systems - digital transformation in difficult settings - accessibiltity - systems with critical reliability requirements - ecologically sustainable software development We're especially interested in experience reports. Other topics are also relevant, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - An abstract of max. 1500 characters. - A short bio/cv - Contact information (including at least email address) - A list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) - Don't be confused: The system calls a submission event. Organisation ------------ - Direct questions to konferenz at bobkonf dot de - Proposal deadline: November 21, 2022 - Notification: December 5, 2022 - Program: December 12, 2022 Submit here: https://pretalx.com/bob-2023/submit/ Program Committee ----------------- (more information here: https://bobkonf.de/2023/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg

1 0

[EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)
by Ali BENZERBADJ 07 Nov '22

07 Nov '22

Apologies if you receive this more than once. *************************************************************** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *************************************************************** Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop Important Dates - Workshops Proposals Due: September 15, 2022 - Paper Submission Due: November 15, 2022 (FINAL) - Acceptance Notification: December 12, 2022 - Camera-Ready Submission: January 9, 2023 EDI40 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: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2023 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2023). Conference Tracks - Benefits of Industry 4.0/6.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0/6.0 - General Track: Digitalization Startegies General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Workshops Chair Stephane Galland, UTBM, France Program International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Ali Benzerbadj, University of Oran 1 Ahmed Ben Bella, Algeria Olivier Debauche, University of Mons, Belgium Siddardha Kaja, Air Canada, Canada Sohail Jabbar, The University of Faisalabad, Pakistan Technical Program Committee http://cs-conferences.acadiau.ca/edi40-23/#programCommittees Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada

1 0