From jakespeiranfnc at gmail.com Wed Mar 2 18:31:13 2022 From: jakespeiranfnc at gmail.com (Jacob Speiran) Date: Wed, 2 Mar 2022 14:31:13 -0400 Subject: [Haskell] FNC'22 CfPs: The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Falls, Canada) Message-ID: Call for Papers The 17th International Conference on Future Networks and Communications Niagara Falls, Ontario, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/fnc-22/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but is not limited to ubiquitous fast broadband access and ultra-high-speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, considering users and societal needs for success. Important Dates - Workshop Proposal Due: February 21, 2022 - Paper Submission Due: March 19, 2022 - Acceptance Notification: May 17, 2022 - Final Manuscript Due: June 14, 2022 Publication All FNC 2022 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series online. 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 following special issues: - 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-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2022 will be held in conjunction with the 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-22/). FNC 2022 will be held in Niagara Falls, Ontario, Canada. Known globally for its picturesque waterfalls on the Niagara River situated on the border of New York and Ontario. Niagara Falls is a very popular tourist destination that offers not only breathtaking scenery, but also a range of attractions and activities, many of which are in close proximity to the conference venue. Enjoy a unique culinary experience in restaurants with a view of the falls, visit the Niagara Parks Botanical Gardens, take a journey behind the falls, or experience a cruise tour to get closer than ever to the iconic Horseshoe Falls. Just 130km from Ontario’s capital city of Toronto, experiencing the charm of Niagara Falls makes it a destination you’ll want to visit again and again. COMMITTEES: General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chairs Maen Artimy, Canada Hassan Raza, Canada Workshops Chair Stéphane Galland, UTBM, France International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Kanimozhi Kalaichelvan, Palo Alto Networks, USA Jake Speiran, Acadia University, Canada Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-22/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From nicolai.kraus at gmail.com Thu Mar 3 14:32:34 2022 From: nicolai.kraus at gmail.com (Nicolai Kraus) Date: Thu, 3 Mar 2022 14:32:34 +0000 Subject: [Haskell] Postdoc and PhD position in homotopy type theory Message-ID: Dear all, I would like to invite applications for one postdoctoral position and one PhD position in homotopy type theory or related areas at the University of Nottingham, UK. Our group in Nottingham has three academics (Ulrik Buchholtz, Thorsten Altenkirch, myself) and multiple PhD students working in the field. We have regular seminars and discussions, which offer a great environment to learn and collaborate. (1) Postdoc position The starting date for the postdoc position is flexible and it will initially be for 15 months (i.e. 15 months are guaranteed, extensions are likely but will depend on the funder). The position comes without teaching obligations. The current call primarily addresses applicants who have experience in homotopy type theory, but if you are working in a related area and would be interested to switch to the field, please feel free to contact me. As postdoc (officially: "research fellow"), you will be employed by the University of Nottingham with all employment benefits (pension etc). Details on the position are available here: https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI022322 The application deadline is the 3rd of April. For any questions or expressions of interest, feel free to contact me (see email address at the end of this message). (2) PhD position The PhD position is for four years, includes all tuition fees, and comes with a stipend at the UKRI standard (currently approx. £15600 annually, increases with inflation). The stipend is free from tax or other deductions. You will not be obliged to teach but there will be opportunities to teach, paid on top of the stipend. I will consider applications until the position is filled. If you are interested, please contact me (see email below). Best wishes, Nicolai nicolai.kraus at nottingham.ac.uk or nicolai.kraus at gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From orven.llantos at g.msuiit.edu.ph Fri Mar 4 06:50:47 2022 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Fri, 4 Mar 2022 14:50:47 +0800 Subject: [Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Message-ID: -- Apologies for cross-posting. -- ---------------------------------------------------------------------------- The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Niagara Falls, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/mobispc-22/ ---------------------------------------------------------------------------- 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-2022 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-2022 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 21, 2022 - Paper Submission Due: March 19, 2022 - Acceptance Notification: May 17, 2022 - Final Manuscript Due: June 14, 2022 Publication ------------ All MobiSPC 2022 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-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2022 will be held in conjunction with the 17th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-21/). MobiSPC 2022 will be held in Niagara Falls, Ontario, Canada. Known globally for its picturesque waterfalls on the Niagara River situated on the border of New York and Ontario. Niagara Falls is a very popular tourist destination that offers not only breathtaking scenery, but also a range of attractions and activities, many of which are in close proximity to the conference venue. Enjoy a unique culinary experience in restaurants with a view of the falls, visit the Niagara Parks Botanical Gardens, take a journey behind the falls, or experience a cruise tour to get closer than ever to the iconic Horseshoe Falls. Just 130km from Ontario’s capital city of Toronto, experiencing the charm of Niagara Falls makes it a destination you’ll want to visit again and again. 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-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Wael Alghamdi, The University of New South Wales, Australia 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 Witold Maranda, Lodz University of Technology, Poland 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 Hana Gharrad, Hasselt University, Belgium Orven E. Llantos, MSU-IIT, Philippines Shashank Swarup, 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-22/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology   (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Tue Mar 8 08:44:18 2022 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Tue, 8 Mar 2022 09:44:18 +0100 Subject: [Haskell] Call for STSMs, deadline 3 April 2022 In-Reply-To: References: <9b720e84-5623-2a46-8b1e-83a765fb3765@inria.fr> <8791d66d-d475-1573-79bc-d07c81674fe3@inria.fr> Message-ID: COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, Proposals have to be submitted on https://e-services.cost.eu/activity/grants/add?type=STSM (you need to add a bank account on your e-cost profile first). The deadline is 3 April 2022 (AoE). We are especially looking for applications from women and from working groups other than WG3. 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. The procedure for proposing an STSM is described in Annex 2, section 2.3, of the Annotated Rules ( https://www.cost.eu/uploads/2021/10/COST-094-21-Annotated-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf ). The main points about STSMs are: * An STSM must be between two different countries which are participating in the Action. * The typical duration is one or two weeks. We favor short missions so that more people can get funded. * The financial contribution for an STSM is a fixed grant based on the applicant's budget request and the evaluation of the application by the STSM assessment committee. The grant will not necessarily cover all costs of the visit. The grant only covers travel and subsistence and is transferred after the STSM has taken place. * Recommended grants: - up to EUR 120 for daily allowance (depending on the location) - up to EUR 400 for travel. - the total may not exceed EUR 4000 (this is a hard limit) * As part of the application form submitted through e-COST, the goals of the mission have to be described including how it contributes to the objectives of the Action (see https://www.cost.eu/actions/CA20111), which working group(s) it contributes to, and a confirmation from the host that he or she will receive the applicant. * Proposals should be submitted by the deadlines. * STSMs must end before the end of October. The criteria according to which funding will be decided are in order: * importance with regard to the research coordination objectives * inclusiveness target countries * age * gender * team with low resources * balance over the action life time between people, teams, countries and working groups. After acceptance, to get reimbursed, a short scientific report must be submitted through the e-cost system along with the Host’s approval of the report, within 15 days after the end of the STSM. For more information, see the website of the action https://europroofnet.github.io. Regards, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Sun Mar 13 11:06:30 2022 From: P.Achten at cs.ru.nl (Peter Achten) Date: Sun, 13 Mar 2022 12:06:30 +0100 Subject: [Haskell] [Call for participation] TFPiE and TFP online events March 16-18 Message-ID: -------------------------------------------------------------------------------               C A L L  F O R  P A R T I C I P A T I O N  11th International Workshop on Trends in Functional Programming in Education                                   +            23rd Symposium on Trends in Functional Programming                          16 - 18 March 2022                  wiki.tfpie.science.ru.nl/TFPIE2022                          trendsfp.github.io ------------------------------------------------------------------------------- The programmes for TFPIE and TFP are online (all times are UTC+0): - TFPIE: https://wiki.tfpie.science.ru.nl/TFPIE2022 - TFP:   https://trendsfp.github.io/schedule.html Registration is free. Prior to the events you receive a mail with the links to the Zoom meetings. 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. We aspire to be a lively environment for presenting the latest research results, and other contributions. The Trends in Functional Programming in Education workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. We foster a spirit of open discussion by having a review process for publication after the workshop. The program has a lot of interesting talks, possibilities for interaction, and keynote presentations: Trends in Functional Programming in Education keynote speaker: --------------------------------------------------------------- Peter Achten: The Perfect Functional Programming Course Trends in Functional Programming keynote speaker: ------------------------------------------------- Christiaan Baaij: Building a Haskell-to-Hardware compiler: Theory & Practice From michael.sperber at active-group.de Sun Mar 13 17:15:25 2022 From: michael.sperber at active-group.de (michael.sperber at active-group.de) Date: Sun, 13 Mar 2022 18:15:25 +0100 Subject: [Haskell] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances Message-ID: =============================================================================== 10th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Ljubljana, Slovenia, 16th September 2022 Deadline: June 1 https://functional-art.org/2022/ =============================================================================== Key Dates --------- Submission deadline June 1 Author notification July 1 Workshop September 16 Call for Papers --------------- The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening's event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances ---------------- Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Papers ------ Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) Papers must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 5 to 12 pages - PDF format - Adhere to the ACM SIGPLAN template Accepted papers will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.). Authors retain all rights to the auxiliary material. Demos ----- Demo submissions should describe a demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10 to 20 minute) tutorial, a presentation of work in progress, an exhibition of some work, or even a performance. Demos must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 500 to 2000 words - Have a title starting with “Demo: ” - PDF format - Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat/) Accepted demos will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Performances ------------ FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage risk-taking proposals that push forward the state of the art as well as refined presentations of highly developed practice. In either case, please support your submission with a clear description of your performance, including how your performance employs functional programming and a discussion of influences and prior art as appropriate. Performance proposals should be emailed to performance at functional-art.org, and must include: - A description of the performance (please be as specific as possible) - An explanation of the use of functional programming in the work - A list of technical requirements - A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.) Accepted performances will be presented at the performance evening. Contact ------- For any questions, issues or comments, email farm-2022 at functional-art.org. From nicolai.kraus at gmail.com Mon Mar 14 14:40:41 2022 From: nicolai.kraus at gmail.com (Nicolai Kraus) Date: Mon, 14 Mar 2022 14:40:41 +0000 Subject: [Haskell] Midlands Graduate School: Accommodation and second (final) call for participation Message-ID: Dear all, I'm aware that some people interested in our spring school found that the on-campus accommodation had been booked out. I'm happy to announce that we have secured additional en-suite bedrooms on campus, just a couple of meters away from the event. Registration is still open until March 21 and bedrooms are now available again. Please forward the below advertisement to all interested students, academics, or professionals! -- Nicolai CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing Science 10-14 April 2022, Nottingham (UK) https://www.cs.nott.ac.uk/~psznk/events/mgs22.html OVERVIEW MGS is an annual spring school that offers an intensive programme of lectures on the mathematical foundations of computing. While the school addresses especially PhD students in their first or second year, it is also open to UG and MSc students, postdocs, participants from the industry, and generally everyone interested in its topics. MGS'22 is the school's 22nd incarnation. PROGRAMME MGS'22 offers eight courses: - our invited course by Andrej Bauer from the University of Ljubljana - three basic courses on category theory, proof theory, and HoTT/UF with Agda, which require no previous experience - four advanced courses on topos theory, string diagrams, coalgebra, and graph transformations. REGISTRATION Participation at MGS'22 costs GBP 320. Please see the website https://www.cs.nott.ac.uk/~psznk/events/mgs22.html for details, point "Registration". The fee covers participation in all lectures and exercise classes, refreshments in coffee breaks and a conference dinner. Please note that you have to book accommodation yourselves but there are rooms available on campus. Places are limited and will be allocated on a first-come first-served basis. If you would like to participate, please register early to secure a place. The registration period closes as soon as all places are filled or on March 20, whichever is sooner. ORGANISATION Please direct all queries about MGS'22 to Thorsten Altenkirch and Nicolai Kraus, thorsten.altenkirch at nottingham.ac.uk nicolai.kraus at nottingham.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From kameyama at acm.org Tue Mar 15 16:17:03 2022 From: kameyama at acm.org (Yukiyoshi Kameyama) Date: Wed, 16 Mar 2022 01:17:03 +0900 Subject: [Haskell] GPCE 2022 Call for Papers Message-ID: ------------------------------------------------------------------------------- GPCE 2022: 21st International Conference on Generative Programming: Concepts & Experiences December 5-10, 2022 (co-located with SPLASH) Auckland, New Zealand, or hybrid https://conf.researchr.org/home/gpce-2022/ ------------------------------------------------------------------------------- --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: - program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, - domain-specific languages, language embedding, language design, and language workbenches, - feature-oriented programming, domain engineering, and feature interactions, - applications and properties of code generation, language implementation, and product-line development. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits three kinds of submissions: - **Full Papers** reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. - **Short Papers** presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text "(Short Paper)" appended to their titles. - **Tool Demonstrations** presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text "(Tool Demonstration)" appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: - Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. - Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. - Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. - Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2022 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission 8 August (Mon) - Paper submission 12 August (Fri) - Review notification 28 September (Wed) - Author response period 28 September (Wed) - 30 September (Fri) - Final notification 10 October (Mon) - Camera-ready 24 October (Mon) - Conference two days in 5 December (Mon) - 10 December (Sat) All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2022.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2022 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy (http://www.sigplan.org/Resources/Policies/Republication/). --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Scholz (University of Sydney) - Program Chair: Yukiyoshi Kameyama (University of Tsukuba) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology) - Steering Committee Chair: Sebastian Erdweg (JGU Mainz) For additional information, clarification, or answers to questions, contact the program chair: kameyama at acm.org --------------------------- PROGRAM COMMITTEE --------------------------- Baris Aktemur - Intel Walter Binder - Università della Svizzera italiana Nicolas Biri - Luxembourg Institute of Science and Technology Elisa Gonzalez Boix - Vrije Universiteit Brussel Sheng Chen - UL Lafayette Shigeru Chiba - The University of Tokyo Youyou Cong - Tokyo Institute of Technology Coen De Roover - Vrije Universiteit Brussel Robert Glück - University of Copenhagen Jeff Gray - University of Alabama Atsushi Igarashi - Kyoto University Yukiyoshi Kameyama - University of Tsukuba, Chair Raffi Khatchadourian - City University of New York (CUNY) Hunter College Julia Lawall - Inria Geoffrey Mainland - Drexel University Bruno C. d. S. Oliveira - The University of Hong Kong Klaus Ostermann - University of Tübingen Max Schaefer - GitHub Ulrik Pagh Schultz - University of Southern Denmark Sibylle Schupp - Hamburg University of Technology Amir Shaikhha - University of Edinburgh Artjoms Sinkarovs - Heriot-Watt University Daniel Strüber - Chalmers University of Gothenburg, Radboud University Nijmegen Nicolas Stucki - EPFL Eli Tilevich - Virginia Tech Tijs van der Storm - CWI & University of Groningen Jeremy Yallop - University of Cambridge From cfp at mat.unical.it Wed Mar 23 16:07:26 2022 From: cfp at mat.unical.it (cfp) Date: Wed, 23 Mar 2022 17:07:26 +0100 Subject: [Haskell] LPNMR 2022 - 2nd Call for Papers Message-ID: <79669325-f5c4-fe83-ed69-f632b467ced4@mat.unical.it> [Apologies in case of multiple posting] 1 month to abstract submission! Call for Papers --------------------------------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://lpnmr2022.dibris.unige.it Genova, Italy September 5-9, 2022 --------------------------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION AND PUBLICATION LPNMR 2022 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2022 Easychair site: https://easychair.org/conferences/?conf=lpnmr2022 The two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the 2-5 best papers with a logic programming focus will be invited for rapid publication in the journal of Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2022 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED WORKSHOPS * DATALOG 2.0 Workshop * 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) * 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW:https://lpnmr2022.dibris.unige.it Email:lpnmr2022 at easychair.org (program) lpnmr2022 at dibris.unige.it (general matters) Facebook:https://www.facebook.com/lpnmr2022 Twitter:https://twitter.com/lpnmr2022 Instagram:https://www.instagram.com/lpnmr2022 IMPORTANT DATES * Paper registration: April 23, 2022 * Paper submission: April 30, 2022 * Notification: June 10, 2022 * Final versions due: June 30, 2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Associated events (workshops) are planned to be held at the University, which is in the city center of Genova, but we are still considering if they can be done in the main conference venue. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE Mario Alviano, Department of Mathematics and Computer Science, University of Calabria Chitta Baral, Arizona State University Marcello Balduccini, Saint Joseph's University Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria Marina De Vos, University of Bath Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria Agostino Dovier, University of Udine Daniele Theseider Dupré, Universita' del Piemonte Orientale Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, Alpen-Adria-Universität Klagenfurt Johannes K. Fichte, TU Wien Paul Fodor, Stony Brook University Gerhard Friedrich, Alpen-Adria-Universitaet Sarah Alice Gaggl, TU Dresden Martin Gebser, University of Klagenfurt Michael Gelfond, Texas Tech University Gopal Gupta, The University of Texas at Dallas Katsumi Inoue, NII Tomi Janhunen, Tampere University Gabriele Kern-Isberner, Technische Universitaet Dortmund Matthias Knorr, Universidade NOVA de Lisboa Emily Leblanc, Drexel University Joao Leite, Universidade NOVA de Lisboa Vladimir Lifschitz, The University of Texas at Austin Enrico Pontelli, New Mexico State University Francesco Ricca, Department of Mathematics and Computer Science University of Calabria Alessandra Russo, Imperial College London Orkunt Sabuncu, TED University, Ankara Chiaki Sakama, Wakayama University Torsten Schaub, University of Potsdam Guillermo R. Simari, Universidad del Sur in Bahia Blanca Theresa Swift, NOVALINKS, Universidade Nova de Lisboa Matthias Thimm, FernUniversität in Hagen Hans Tompits, Vienna University of Technology Mirek Truszczynski, Computer Science Department, University of Kentucky Johannes P. Wallner, TU Graz Kewen Wang, Griffith University Stefan Woltran, Vienna University of Technology Jia-Huai You, University of Alberta -------------- next part -------------- An HTML attachment was scrubbed... URL: From jakespeiranfnc at gmail.com Wed Mar 23 17:01:07 2022 From: jakespeiranfnc at gmail.com (Jacob Speiran) Date: Wed, 23 Mar 2022 14:01:07 -0300 Subject: [Haskell] FNC'22 CFP (Extended): The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Fall, Canada) Message-ID: ------------------------------------------------------------------------ The 17th International Conference on Future Networks and Communications (FNC) Niagara Falls, Ontario, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/fnc-22/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but is not limited to ubiquitous fast broadband access and ultra-high-speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, considering users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 21, 2022 - Paper Submission Due: April 9, 2022 (Extended) - Acceptance Notification: May 17, 2022 - Final Manuscript Due: June 14, 2022 Publication ------------ All FNC 2022 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series online. 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 following special issues: - 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-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2022 will be held in conjunction with the 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-22/). COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chairs Maen Artimy, Canada Hassan Raza, Canada Workshops Chair Stéphane Galland, UTBM, France International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Kanimozhi Kalaichelvan, Palo Alto Networks, USA Jake Speiran, Acadia University, Canada Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-22/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Thu Mar 24 10:24:13 2022 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Thu, 24 Mar 2022 11:24:13 +0100 Subject: [Haskell] CMCS 2022: Call for Participation Message-ID: <20220324102413.GA22693@dobby> Call for Participation The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022) https://www.coalg.org/cmcs22 ***ETAPS Registration closes on 26 March 2022*** Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: - set-theoretic and categorical foundations of coalgebra; - algebra & coalgebra, (co)monads, and distributive laws; - (modal) logic; - automata theory and formal languages; - coinductive definitions and proof principles (including "up-to" techniques) - semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) - functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing); - formal verification and specification; - control theory (notably discrete events and hybrid systems); - quantum computing; - game theory; - implementation, tools, and proof assistants Venue and event --------------- CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. We aim for an event with maximal on-site participation, but a few presentations will be given online due to circumstances. See the programme for details: https://www.coalg.org/cmcs22/programme/ If you would like to join the CMCS workshop dinner, please sign up asap here: https://www.coalg.org/cmcs22/workshop-dinner/ Keynote speaker --------------- Ana Sokolova, University of Salzburg, Austria Invited speakers ---------------- Renato Neves, University of Minho, Portugal Sam Staton, University of Oxford, United Kingdom Invited tutorial speakers ------------------------- There will be a special session on Data Languages with invited tutorials by: Sławomir Lasota, University of Warsaw, Poland Mahsa Shirmohammadi, CNRS & University of Paris, France Programme and Accepted papers ----------------------------- The list of accepted papers and short contributions, and the programme is available on the website: https://www.coalg.org/cmcs22/ Programme committee ------------------- Adriana Balan, University Politehnica of Bucharest, Romania Henning Basold, Leiden University, The Netherlands Marta Bilkova, Czech Academy of Sciences, Czech Republic Fredrik Dahlqvist, Queen Mary University London, United Kingdom Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Richard Garner, Macquarie University, Australia Jeremy Gibbons, University of Oxford, United Kingdom Helle Hvid Hansen (co-chair), University of Groningen, The Netherlands Ichiro Hasuo, National Institute of Informatics, Japan Tobias Kappé, University of Amsterdam, The Netherlands Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Barbara König, University of Duisburg-Essen, Germany Marina Lenisa, University of Udine, Italy Davide Sangiorgi, University of Bologna, Italy Lutz Schröder, University of Erlangen-Nuremberg, Germany David Spivak, Massachusetts Institute of Technology, USA Tarmo Uustalu, Reykjavik University, Iceland Thorsten Wißmann, Radboud University, The Netherlands Fabio Zanasi (co-chair), University College London, United Kingdom Maaike Zwart, ITU Copenhagen, Denmark PC co-chairs -------------- Helle Hvid Hansen, University of Groningen, The Netherlands Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Thorsten Wißmann, Radboud University, The Netherlands Steering committee ------------------ Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, Leiden University, The Netherlands Corina Cirstea, University of Southampton, United Kingdom Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Bartek Klin, University of Oxford, United Kingdom Alexander Kurz, Chapman University, United States Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Lawrence Moss, Indiana University, USA Daniela Petrisan, University Paris Diderot, France Jurriaan Rot, Radboud University, The Netherlands Dirk Pattinson, Australian National University, Australia Lutz Schröder, University of Erlangen-Nuremberg, Germany Alexandra Silva, Cornell University, USA From kaposi.ambrus at gmail.com Thu Mar 24 16:44:24 2022 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Thu, 24 Mar 2022 17:44:24 +0100 Subject: [Haskell] Call for STSMs, deadline 3 April 2022 Message-ID: COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 3 April 2022 Notification: 15 April. We are especially looking for applications from women and working groups other than WG3. *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. The procedure for proposing an STSM is described in Annex 2 of the Annotated Rules ( https://www.cost.eu/uploads/2021/10/COST-094-21-Annotated-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf#page=92 ). The main points about STSMs are: * An STSM must be between two different countries which are participating in the Action. * The typical duration is one or two weeks. We favor short missions so that more people can get funded. * The financial contribution for an STSM is a fixed grant based on the applicant’s budget request and the evaluation of the application by the STSM assessment committee. The grant may not necessarily cover all costs of the visit. The grant only covers travel and subsistence and is transferred after the STSM has taken place. * Recommended grants: - up to EUR 120 for daily allowance (depending on the location) - up to EUR 400 for travel. - the total may not exceed EUR 4000 (this is a hard limit) * Proposals should be submitted by the deadlines. *What documents to provide?* Proposals must be made through the e-COST system ( https://e-services.cost.eu/activity/grants/add?type=STSM , you need to add a bank account on your profile first). The following documents must be uploaded: * The application form ( https://europroofnet.github.io/assets/documents/STSM-application-template.docx ) with the following data: - Details of the STSM: title, dates and justification of the grant request (details of the travel cost, accommodation cost and living cost) - Goals of the STSM (max 200 words) - Working plan (max 500 words) - Working group(s) it contributes to (see https://europroofnet.github.io/wg ) and expected outputs and contribution to the action objectives and deliverables (max 500 words, see https://europroofnet.github.io/description ) * A letter from the host confirming that he or she will receive the applicant. * Documents justifying the grant request (quotes for travel and accommodation). *Selection criteria:* The criteria according to which funding will be decided are in order: * importance with regard to the research coordination objectives * inclusiveness target countries * age * gender * team with low resources * balance over the action life time between people, teams, countries and working groups. *Grant reception:* To receive the grant, a short scientific report must be submitted through the e-cost system along with the Host’s approval of the report, within 15 days after the end of the STSM. *Changing the dates of an STSM, or cancelling an STSM?* In case you need to change the dates of an accepted STSM, you need to inform the STSM coordinators as soon as possible and provide new dates so that the STSM ends before the end of October. In case you need to cancel an accepted STSM, you need to inform the STSM coordinators as soon as possible. For more information, see the website of the action https://europroofnet.github.io . Regards, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Mon Mar 28 15:31:57 2022 From: cfp at mat.unical.it (cfp) Date: Mon, 28 Mar 2022 17:31:57 +0200 Subject: [Haskell] Datalog 2.0 - 1st Call for Papers Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---------------------------------------------------------------------------                               CALL FOR PAPERS                        4th International Workshop on              the Resurgence of Datalog in Academia and Industry                              Datalog 2.0 2022 https://tinyurl.com/datalog20-22                      September 5, 2022, Genova, Italy                           Workshop of LPNMR 2022 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions. INVITED SPEAKERS TBA TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2022 welcomes two types of submissions     * Long papers of up to 12 pages, presenting original research     * Short papers of up to 5 pages that may contain either original ongoing research       or recently published results in the following categories     * Technical papers     * System descriptions     * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the Datalog 2.0 2022 EasyChair site: https://easychair.org/conferences/?conf=datalog20-22 FURTHER INFORMATION WWW: https://tinyurl.com/datalog20-22 Email: datalog20-22 at easychair.org IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 1 Final versions due: August 20 VENUE The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see. (To be confirmed. Alternative: University of Genova.) Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova’s old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi". The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy PROGRAM COMMITTEE TBA -------------- next part -------------- An HTML attachment was scrubbed... URL: