- Haskell - Haskell.org

SAS 2023 - Call for Participation - Early deadline: Sept 22
by Louis Rustenholz 08 Sep '23

08 Sep '23

---------------------------------------------------------------------- Call for Participation Early registration deadline: September 22 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023 Colocated with SPLASH 23 https://2023.splashcon.org/home/sas-2023 ---------------------------------------------------------------------- Registration is now open for SAS 2023! The 30th Static Analysis Symposium (SAS 2023) will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal and held on October 22-24. REGISTRATION *Early bird registration deadline: September 22* Registration to be completed through the SPLASH registration pages; see instructions at: https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration https://2023.splashcon.org/attending/Registration INVITED SPEAKERS - Loris D'Antoni Verifying Infinitely Many Programs at Once - Bor-Yuh Evan Chang Goal-Directed Abstract Interpretation and Event-Driven Frameworks - Daniel Kästner Abstract Interpretation in Industry - Experience and Lessons Learned - Gagandeep Singh Building Trust and Safety in Artificial Intelligence with Abstract Interpretation ACCEPTED PAPERS - Mutual Refinements of Context-Free Language Reachability Shuo Ding and Qirun Zhang - Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Rosa Abbasi Boroujeni and Eva Darulova - How fitting is your abstract domain? Roberto Giacobazzi, Isabella Mastroeni and Elia Perantoni - BREWasm: A General Static Binary Rewriting Framework for WebAssembly Shangtong Cao, Ningyu He, Yao Guo and Haoyu Wang - Scaling up Roundoff Analysis of Functional Data Structure Programs Anastasia Isychev and Eva Darulova - Octagons Revisited - Elegant Proofs and Simplified Algorithms Michael Schwarz and Helmut Seidl - Error Invariants for Fault Localization via Abstract Interpretation Aleksandar S. Dimovski - Symbolic transformation of expressions in modular arithmetic Jérôme Boillot and Jérôme Feret - ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses Florian Frohn and Jürgen Giesl - Unconstrained Variable Oracles for Faster Static Analyses Vincenzo Arceri, Greta Dolcetti and Enea Zaffanella - Generalized Program Sketching by Abstract Interpretation and Logical Abduction Aleksandar S. Dimovski - Domain Precision in Galois Connection-less Abstract Interpretation Isabella Mastroeni and Michele Pasqua - A Formal Framework to Measure the Incompleteness of Abstract Interpretations Marco Campion, Caterina Urban, Mila Dalla Preda and Roberto Giacobazzi - Error Localization for Sequential Effect Systems Colin S. Gordon and Chaewon Yun - Lifting On-Demand Analysis to Higher-Order Languages Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi and Bor-Yuh Evan Chang - A Product of Shape and Sequence Abstractions Josselin Giet, Félix Ridoux and Xavier Rival - Quantum Constant Propagation Yanbin Chen and Yannick Stade - Polynomial Analysis of Modular Arithmetic Thomas Seed, Andy King, Neil Evans and Chris Coppins - Boosting Multi-Neuron Convex Relaxation for Neural Network Verification Xuezhou Tang, Ye Zheng and Jiaxiang Liu - Reverse Template Processing using Abstract Interpretation Matthieu Lemerre - Mutual Refinements of Context-Free Language Reachability Shuo Ding and Qirun Zhang - Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Rosa Abbasi Boroujeni and Eva Darulova - How fitting is your abstract domain? Roberto Giacobazzi, Isabella Mastroeni and Elia Perantoni - BREWasm: A General Static Binary Rewriting Framework for WebAssembly Shangtong Cao, Ningyu He, Yao Guo and Haoyu Wang - Scaling up Roundoff Analysis of Functional Data Structure Programs Anastasia Isychev and Eva Darulova - Octagons Revisited - Elegant Proofs and Simplified Algorithms Michael Schwarz and Helmut Seidl - Error Invariants for Fault Localization via Abstract Interpretation Aleksandar S. Dimovski - Symbolic transformation of expressions in modular arithmetic Jérôme Boillot and Jérôme Feret - ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses Florian Frohn and Jürgen Giesl - Unconstrained Variable Oracles for Faster Static Analyses Vincenzo Arceri, Greta Dolcetti and Enea Zaffanella - Generalized Program Sketching by Abstract Interpretation and Logical Abduction Aleksandar S. Dimovski - Domain Precision in Galois Connection-less Abstract Interpretation Isabella Mastroeni and Michele Pasqua - A Formal Framework to Measure the Incompleteness of Abstract Interpretations Marco Campion, Caterina Urban, Mila Dalla Preda and Roberto Giacobazzi - Error Localization for Sequential Effect Systems Colin S. Gordon and Chaewon Yun - Lifting On-Demand Analysis to Higher-Order Languages Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi and Bor-Yuh Evan Chang - A Product of Shape and Sequence Abstractions Josselin Giet, Félix Ridoux and Xavier Rival - Quantum Constant Propagation Yanbin Chen and Yannick Stade - Polynomial Analysis of Modular Arithmetic Thomas Seed, Andy King, Neil Evans and Chris Coppins - Boosting Multi-Neuron Convex Relaxation for Neural Network Verification Xuezhou Tang, Ye Zheng and Jiaxiang Liu - Reverse Template Processing using Abstract Interpretation Matthieu Lemerre

1 0

[CfP - DEADLINE EXTENSION] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023
by Francesco Calimeri 06 Sep '23

06 Sep '23

[apologize for multiple postings] ================================================================== Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023) ================================================================== ******************** *** NEW DEADLINE *** ******************** = IMPORTANT DATES (updated) = Abstract submission: September 20, 2023 (NEW) Paper submission: September 20, 2023 (NEW) Notification to authors: October 03, 2023 (NEW) Camera-ready copy due: October 10, 2023 (NEW) Main Workshop starts: November 06, 2023 (may be subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop = 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 = Following the success of the first edition, the HC@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: - 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; four types of submissions are invited: - full papers; - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions: they must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome. - papers already submitted to other conferences or journals, suitable for dissemination and opening discussion. 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=hcaixia2023 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. 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: - register to AIxIA 2023; - attend HC@AIxIA 2023 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = 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. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of the international journal "Progress in Artificial Intelligence", published by Springer (ISSN: 2192-6352) - provided that a sufficient amount of quality papers is collected. In such case, authors of accepted papers (including non-originals, if not published in a journal yet) will be invited to submit extended and revised versions of their papers. A second review formal process will be run in order to meet the expected quality of a journal. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, that will be held right after the workshop. = IMPORTANT DATES (UPDATED) = Abstract submission: September 05, 2023 Paper submission: September 13, 2023 Notification to authors: October 02, 2023 Camera-ready copy due: October 09, 2023 Main Workshop starts: November 06, 2023 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop

1 0

Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
by Graham Hutton 04 Sep '23

04 Sep '23

================================================================== JFP Special Issue on Program Calculation https://tinyurl.com/prog-calc We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation. Notification of intent : 20 October 2023 Submission deadline : 1 December 2023 *** If you are attending the ICFP conference in Seattle this week, please feel free to speak with Nicolas Wu if you have any questions about submitting for the special issue *** SCOPE The idea of program calculation, in which programs are derived from specifications using equational reasoning techniques, has been a topic of interest in functional programming since its earliest days. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct. The aim of this special issue is to document advances that have been made in the field of program calculation in recent years. TOPICS Full-length, archival-quality submissions are solicited on all aspects of program calculation and related topics. Specific topics of interest include but are not limited to: - Program derivation and transformation; - Inductive and co-inductive methods; - Recursion and co-recursion schemes; - Categorical and graphical methods; - Tool support and proof assistants; - Efficiency and resource usage; - Functional algorithm design; - Calculation case studies. The special issue will also consider papers on program calculation that are not traditional research papers. This may include pearls, surveys, tutorials or educational papers, which will be judged by the usual JFP standards for such submissions. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. NOTIFICATION OF INTENT Authors must notify the special issue editors of their intent to submit by 20 October 2023. The notification of intent should be submitted by filling out the following form, which asks for data to help identify suitable reviewers: tinyurl.com/intent-to-submit If you miss the notification of intent deadline, but still wish to submit, please contact the special-issue editors. SUBMISSIONS Papers must be submitted by 1 December 2023. Submissions should be typeset in LaTeX using the JFP style file, and submitted through the JFP Manuscript Central system. Choose "Program Calculation" as the paper type, so it gets assigned to the special issue. Further author instructions are available from: tinyurl.com/JFP-instructions We welcome extended versions of conference or workshop papers. Such submissions must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss submissions with the editors to ensure compliance. SPECIAL-ISSUE EDITORS Graham Hutton <graham.hutton(a)nottingham.ac.uk> Nicolas Wu <n.wu(a)imperial.ac.uk> IMPORTANT DATES We anticipate the following schedule: 20 October 2023 : Notification-of-intent deadline 1 December 2023 : Submission deadline 22 March 2024 : First round of reviews 12 July 2024 : Revision deadline 4 October 2024 : Second round of reviews, if applicable 29 November 2024 : Final versions due ================================================================== 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

PADL 2024: Call for Papers
by ICFP Publicity 24 Aug '23

24 Aug '23

============================================================================== Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) https://popl24.sigplan.org/home/PADL-2024 London, United Kingdom, January 15-16, 2024 Co-located with ACM POPL 2024 ============================================================================== Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2024 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2024 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2024 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://padl2024.hotcrp.com Important Dates --------------- Paper submission: October 5, 2023 (AoE) Notification: November 9, 2023 Symposium: January 15-16, 2024 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… , and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2024 PC Co-Chairs ---------------------- Martin Gebser, University of Klagenfurt, Austria Ilya Sergey, National University of Singapore, Singapore Programme Committee ------------------- Alexandra Mendes University of Porto & INESC TEC, Portugal Annie Liu Stony Brook University, USA Anton Trunov Fuel Labs, UAE Arnaud Spiwack Tweag, France Daniela Inclezan Miami University, USA Emilia Oikarinen University of Helsinki, Finland Enrico Pontelli New Mexico State University, USA Esra Erdem Sabanci University, Turkey Gopal Gupta University of Texas at Dallas, USA Jesper Cockx Delft University of Technology, Netherlands Jessica Zangari University of Calabria, Italy Johannes Wallner Graz University of Technology, Austria Leo White Jane Street, UK Magnus Myreen Chalmers University of Technology, Sweden Manuel Carro IMDEA Software Institute, Spain Marcello Balduccini Saint Joseph's University, USA Matthew Flatt University of Utah, USA Mukund Raghothaman University of Southern California, USA Patrick Bahr University of Copenhagen, Denmark Roland Yap National University of Singapore, Singapore Simon Fowler University of Glasgow, UK Stefania Costantini University of L'Aquila, Italy Tom Schrijvers KU Leuven, Belgium Tomi Janhunen Tampere University, Finland Weronika T. Adrian University of Krakow, Poland Youyou Cong Tokyo Institute of Technology, Japan Zeynep G. Saribatur TU Wien, Austria Contact Addresses ----------------- martin.gebser _AT_ aau.at ilya _AT_ nus.edu.sg

1 0

ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
by Ali BENZERBADJ 17 Aug '23

17 Aug '23

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All ICTH 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. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-comm… ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/) Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almatyâ€™s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTUâ€™s research is focused on the main sectors of the Kazakhstani economy â€“ oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
by Ali BENZERBADJ 17 Aug '23

17 Aug '23

********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All EUSPN 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. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek EssaÃ¢di University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, UniversitÃ© de Technologie de Belfort-MontbÃ©liard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
by Ali BENZERBADJ 10 Aug '23

10 Aug '23

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All ICTH 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. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-comm… ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/) Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almatyâ€™s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTUâ€™s research is focused on the main sectors of the Kazakhstani economy â€“ oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
by Ali BENZERBADJ 10 Aug '23

10 Aug '23

********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All EUSPN 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. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek EssaÃ¢di University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, UniversitÃ© de Technologie de Belfort-MontbÃ©liard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

[Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA
by Peter Achten 08 Aug '23

08 Aug '23

TFPIE 2024 Call for papers https://wiki.tfpie.science.ru.nl/TFPIE2024 (January 9th 2024, West Orange, NJ, USA, co-located with TFP 2024 at Seton Hall University) TFPIE 2024 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP and Computational Thinking FP and Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy The pedagogy of teaching FP FP and e-learning: MOOCs, automated assessment etc. Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. In addition, the speaker can provide commentary on effectiveness or student feedback. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2024 After the workshop, presenters are invited to submit (a revised version of) their article for the formal review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Important Dates Submission deadline: December 26th 2023, Anywhere on Earth Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response) TFPIE Registration Deadline: TBA Workshop: January 9th 2024 Submission for formal review: April 19th 2024, Anywhere on Earth. Notification of full article: May 24th 2024 Camera ready: June 28th 2024 Program Committee - TBD Stephen Chang (Chair) - UMass Boston, USA Registration information See https://wiki.tfpie.science.ru.nl/TFPIE2024 for updated information. Registration and attendance are mandatory for at least one author of every paper that is presented at the workshop. Presenters will have their registration fee waived. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process.

1 0

Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
by Sato, Ryosuke 08 Aug '23

08 Aug '23

====================================================================== CALL FOR SUBMISSIONS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) STUDENT RESEARCH COMPETITION and POSTERS Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/track/aplas-2023/src-and-posters ====================================================================== The APLAS 2023 student research competition (SRC) aims to provide opportunities for students to present their ongoing work to the community and receive feedback. The associated poster session also welcomes contributions from the entire community. IMPORTANT DATES --------------- * Mon 21 Aug 2023: Submission Deadline for Extended Abstracts * Fri 22 Sep 2023: Notification SUBMISSION CATEGORIES --------------------- * Student Research Competition: unpublished work by a single student https://conf.researchr.org/track/aplas-2023/src-and-posters#student-researc… * Non-SRC posters: unpublished or published work, not restricted to students https://conf.researchr.org/track/aplas-2023/src-and-posters#non-src-posters PRIZES AND AWARDS ----------------- * First, second, and third prizes of the SRC * Audience awards (based on voting by conference participants) given in three categories: SRC posters, non-SRC posters, and SRC finalist presentations SUBMISSION INFORMATION ---------------------- For both submission categories, submit an extended abstract following the instructions on the website: https://conf.researchr.org/track/aplas-2023/src-and-posters#submission-info… A selection committee will review the extended abstracts and provide feedback. ORGANISERS ---------- SRC & Posters Chair: * Hsiang-Shang 'Josh' Ko (Academia Sinica, Taiwan) Selection Committee: * Jacques Garrigue (Nagoya University, Japan) * Jeremy Gibbons (University of Oxford, UK) * Chih-Duo Hong (National Chengchi University, Taiwan) * Oleg Kiselyov (Tohoku University, Japan) * Akimasa Morihata (University of Tokyo, Japan) * Dominic Orchard (University of Kent, UK) * Taro Sekiyama (National Institute of Informatics, Japan) * Chung-chieh Shan (Indiana University, USA) * Youngju Song (MPI-SWS, Germany) * Tachio Terauchi (Waseda University, Japan) * Chuangjie Xu (SonarSource, Germany)

1 0