October 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

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 31 Oct '22

31 Oct '22

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th November 2022. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2022 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 30th November 2022. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ 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

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

30 Oct '22

*************************************************************** 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 28 Oct '22

28 Oct '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

PLAS 2022: Call for Papers
by Sunjay Cauligi 26 Oct '22

26 Oct '22

Dear Fellow Researchers, We welcome submissions to the 17th Workshop on Programming Languages and Analysis for Security (PLAS 2022). This year PLAS is uniquely designed to make it as easy as possible for authors to simply focus on science: No proceedings, no registration fees, no travel, no page limits or complex submission formats - just share and discuss your great ideas with fellow researchers in the areas of programming languages and security. We look forward to receiving your submissions by November 14th, 2022. Best regards, Musard Balliu and Sunjay Cauligi -------------------------------------------------------------------------- PLAS 2022 Call for Papers 17th Workshop on Programming Languages and Analysis for Security (PLAS 2022) https://plas2022.github.io/ <https://plas2022.github.io/> Virtual Event December 12, 2022 -------------------------------------------------------------------------- Important Dates Paper submission: November 14, 2022 (AoE) Author notification: November 30, 2022 Workshop date: December 12, 2022 -------------------------------------------------------------------------- PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security. The scope of PLAS includes, but is not limited to: Language-based techniques for detecting and eliminating side-channel vulnerabilities Programming language techniques and verification applied to security in other domains (e.g. adversarial learning and smart contracts) Software isolation techniques (e.g., SFI and sandboxing) and compiler-based hardening techniques (e.g, secure compilation). Compiler-based security mechanisms (e.g. security type systems) or runtime-based security mechanisms (e.g. inline reference monitors) Techniques for discovering and detecting security vulnerabilities, including program (binary) analysis and fuzzing Automated introduction and/or verification of security enforcement mechanisms Language-based verification of security properties in software, including verification of cryptographic protocols Specifying and enforcing security policies for information flow and access control Model-driven approaches to security Security concerns for Web programming languages Language design for security in new domains such as cloud computing and IoT Applications, case studies, and implementations of these techniques -------------------------------------------------------------------------- We invite both short papers and long papers. All submissions should be anonymous. For short papers, we especially encourage the submission of position papers that are likely to generate lively discussion as well as short papers covering ongoing and future work. Full papers: There is no page limit on long papers. Papers in this category are expected to have relatively mature content. Papers that present promising preliminary and exploratory work, or recently published work are particularly welcome in this category. Long papers may receive longer talk slots at the workshop than short papers, depending on the number of accepted submissions. Short papers: should be at most 2 pages long, plus as many pages as needed for references. Papers that present radical, open-ended and forward-looking ideas are particularly welcome in this category. Authors submitting papers in this category must prepend the phrase "Short Paper:" to the title of the submitted paper. The workshop has no published workshop proceedings and there is no restriction on paper format other than the page limits stated above. Presenting a paper (either short or long) at the workshop does not preclude submission to or publication in other venues that are before, concurrent, or after the workshop. Papers presented at the workshop will be made available to workshop participants only.

1 0

Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]
by Stefan Wehr 18 Oct '22

18 Oct '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 -- -- Stefan

1 0

[EDI40 CFP: Deadline Extension: Oct. 30, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)
by Ali Benzerbadj 12 Oct '22

12 Oct '22

Apologies if you receive this more than once **********************************************************************Extended Deadline: 30th October, 2022*********************************************************************** ************************************************************************Conference: The 6th International Conference on Emerging Data and Industry (EDI40) Location: Leuven, Belgium Date: 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: October 30, 2022 (Extended) - 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: 3.662), 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 Ali Benzerbadj Associate Professor, Ain Témouchent University Belhadj Bouchaïb, Ain Témouchent, Algeria Research Laboratory in Industrial Computing and Networks (LRIIR) Research team "Networks and QoS" University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162E-mail(s): ali_benz(a)yahoo.fr, ali.benzerbadj(a)univ-temouchent.edu.dz

1 0

AVailable PhD position in parallel functional programming languages
by Troels Henriksen 12 Oct '22

12 Oct '22

The section for Programming Languages and the Theory of Computation (PLTC) at the Department of Computer Science invites applicants for a PhD fellowship in the implementation and optimisation of data-parallel functional programming languages. More information: https://employment.ku.dk/phd/?show=157471 Start date is (expected to be) January 2023 or as soon as possible thereafter. Note that the application deadline is quite soon (20th of October). Modern massively parallel processors such as GPUs are highly efficient, but notoriously difficult and awkward to program for humans, particulary for irregular problems or those with nested structure. At DIKU, we are a small team that researches programming and compilation techniques for making high-performance parallel programming more accessible to non-expert programmers. We conduct applied research with a focus on actual real-world performance on mainstream hardware, and we use the functional array language Futhark and its implementation as our main experimental vessel. The precise research problems to be investigated by the PhD candidate depends on the interests of the candidate, but we are particularly interested in problems such as: * How to efficiently map fully or partially irregular nested parallelism to hardware, while still taking advantage of locality. * The construction of profiling tools that can precisely measure the performance of heavily compiler-transformed code and connect it to the original program, allowing the programmer to understand the high-level performance of their program. * Optimising data layout based on how it is accessed by the program; possibly also taking distributed execution or NUMA behaviour into account. For more information, feel free to contact Troels Henriksen (athas(a)diku.dk)

1 0

Request for Nominations to the GHC Steering Committee
by Joachim Breitner 06 Oct '22

06 Oct '22

Dear Haskell community, the GHC Steering committee is seeking nominations for one or more new members. The committee scrutinizes, nitpicks, improves, weighs 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. 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 maintain in perpetuity in GHC's code base, to learn, and to deal with 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 seek a balance of background, expertise, and views on the committee. Membership of the committee gives you the chance to influence the future direction of Haskell, and to serve the Haskell community. 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. To nominate yourself, please send an email to me (as the committee secretary) at mail(a)joachim-breitner.de until February 11th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. On behalf of the committee, Joachim Breitner -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 1

[CfP] - DEADLINE EXTENSION - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022
by Francesco Calimeri 06 Oct '22

06 Oct '22

================================================================== ******* DEADLINE EXTENSION: NEW deadline October 23, 2022 ******* ******** AI and HEALTHCARE Working Group Kick-off Meeting ******** ================================================================== ================================================================== First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 ================================================================== November 28 - December 2, 2022, University of Udine, Udine, Italy https://sites.google.com/unical.it/hcaixia2022 CO-LOCATED with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022) ================================================================== *** - apologize for multiple postings - *** = Background = In the latest years we have been witnessing the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in the field of medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain became a major research topics, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. As a consequence, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. In order to move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to health-care and clinical problems. = The Workshop = The HX@AIxIA workshop aims at gathering researchers from academia, industry and medical centers for presenting and discussing the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, but are not limited to: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare: - Machine learning methods, data mining and statistical methods for clinical decision support) - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; two types of submissions are invited: - full papers, possibly already submitted to other conferences or journals - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. In particular, we also invite submissions of systems or prototype software descriptions; systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2022 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by AIxIA. = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop web site, including a link to the original publication, if already published. The organizers are considering the possibility of having workshop post-proceedings appearing in a special issue of an international journal, provided that a sufficient amount of quality papers is collected. In such a case, authors of accepted papers will be invited to submit extended and revised versions of their papers. Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. A second review formal process will be run in order to meet the expected quality of a journal. = NOTE: WORKING GROUP KICK-OFF MEETING = All authors of accepted papers are invited to participate in the Kick-Off meeting of the AI and Healthcare Working Group of AIxIA ( https://aixia.it/en/gruppi/hc/) that will be held on November 30rd, 2022 right after the workshop. = IMPORTANT DATES (updated) = Paper submission: October 23, 2022 Notification to authors: November 18, 2022 Camera-ready copy due: November 21, 2022 Main Workshop starts: November 30, 2022 WG Kick-Off Meeting: November 30, 2022 = PORGRAM COMMITTEE = == Program Chairs == Francesco Calimeri, University of Calabria, Italy Mauro Dragoni, Fondazione Bruno Kessler - FBK-IRST, Italy Fabio Stella, Università degli Studi di Milano-Bicocca, Italy == Program Committee Members == Alessandro Dal Palù, University of Parma, Italy Alessio Zanga, University of Milano-Bicocca, Italy Alice Bernasconi, Fondazione IRCCS Istituto Nazionale dei Tumori, Italy Antonella Guzzo, University of Calabria, Italy Arjen Hommersom, Open University of the Netherlands, Netherlands Carmine Dodaro, University of Calabria, Italy Claudio Eccher, FBK-IRST, Italy Elena De Momi, Politecnico di Milano, Italy Emanuele Frontoni, University of Macerata, Italy Federico Cabitza, University of Milano-Bicocca, Italy Francesca Zerbato, University of St. Gallen, Switzerland Francesco Bellocchio, Fresenius Medical Care, Italy Giorgio Terracina, University of Calabria, Italy Giuseppe Carbone, University of Calabria, Italy Giuseppe Rizzo, LINKS Foundation, Italy Ivan Donadello, Free University of Bozen-Bolzano, Italy Luca Anselma, University of Torino, Italy Luigi Portinale, Università del Piemonte Orientale, Italy Marco Maratea, University of Genova, Italy Marco Scutari, IDSIA, Switzerland Paola Berchialla, University of Torino, Italy Paolo Zaffino, Magna Graecia University, Italy Pedro Pereira Rodrigues, University of Porto, Portugal Peter Lucas, University of Twente, Netherlands Pierangela Bruno, University of Calabria, Italy Riccardo Bellazzi, University of Pavia, Italy Salvatore Iiritano, Revelis Srl, Italy Sara Moccia, Università Politecnica delle Marche, Italy

1 0