- FMIndia - example.com

IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Markus Kuppe, a Principal Research Software Development Engineer in the Research In Software Engineering group at Microsoft Research, Redmond. The talk is scheduled on Tuesday, March 14, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MzdlMXZ1c2…>). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: TLA+: The Tools, The Language, and The Application Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: TLA+ is a language for formally specifying and verifying discrete systems, including distributed algorithms. Users describe the system as a state machine, written in a language based on mathematical set theory and temporal logic, which also serves to express safety and liveness properties. TLA+ comes with tools for computer-assisted verification, including two model checkers and an interactive proof system. TLA+ is used in academia and industry, e.g., to verify data consistency in cloud applications. This talk will cover the theory behind TLA+ and how practitioners can write TLA+ specifications with the help of verification tools. Additionally, we will discuss known limitations of the tools and outline current and future research opportunities. Bio: Markus Kuppe is a Principal Research Software Development Engineer in the Research In Software Engineering group at Microsoft Research, Redmond. His focus is on making specification-driven development (with TLA+) more popular among engineers. This includes scaling verification to real-world problems and building tools to combine specification-driven development with established software engineering processes.

2 years

1
0
0 0

cfp for IEEE Edge 2023; submission deadline = Extended deadline March 25, 2023.

by Nitin Auluck

Edge computing, as the convergence of computing and communications executed close to data collection and places of storage and application, provides a paradigm that offers several research and application opportunities across a wide range of domains. At the same time, it raises many fundamental and unprecedented research and development problems and challenges. The 2023 IEEE International Conference on Edge Computing and Communications (IEEE EDGE 2023 - https://conferences.computer.org/edge/2023/) aims to continue to be recognized a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in state of the art and practice of edge computing, identify emerging research topics, and define the future of edge computing. IEEE EDGE is affiliated with IEEE World Congress on Services (SERVICES - https://conferences.computer.org/services/2023/). IEEE EDGE 2023 will feature a comprehensive high-quality technical program including research track, tutorial and demonstration. IEEE EDGE 2023 will also include an attractive industry program aimed at practitioners, with keynotes and panels from prominent research, industry leaders, and technological exhibits. IEEE EDGE 2023 invites original papers addressing all aspects related to edge computing theories, technologies and applications. Topics of interest include but are not limited to the following: · Edge Computing Architectures · Edge Computing and Communications Theories · Edge Computing and Network Functions Virtualization · Edge Computing in Multi-cloud environments · Signal Processing in Edge Computing · Edge Access Networks & Systems · Services for Edge Computing · CPU/GPU and Hardware for Edge Computing · AI Enabled Edge Computing · Edge Centric Convergence of IoT & Cloud Computing · Collaborative Edge & Cloud Computing · Storage and Caching at the Edge · QoS & QoE at the Edge · Artificial Intelligence and ML at the Edge · Edge Computing for Vehicular System & Network · Edge Computing for 5G/6G Network & Systems IMPORTANT DATES (ANYWHERE ON EARTH) – UPDATED! ● March 25, 2023: Easy Chair closes for submissions (e.g., HARD submission deadline) ● April 23, 2023: Acceptance notification ● July 2-8, 2023: SERVICES Congress in Chicago ORGANISING TEAM IEEE EDGE 2023 GENERAL CHAIRS Andrzej Goscinski, Deakin University Omer Rana, Cardiff University IEEE EDGE 2023 PROGRAM CHAIRS Flavia Delicato, Fluminense Federal University Nirmit Desai, IBM Research, TJ Watson Research Center IEEE EDGE 2023 PUBLICITY CHAIRS Nitin Auluck, Indian Institute of Technology, Ropar Luiz F. Bittencourt, University of Campinas, Brazil Antonino Galletta, University of Messina, Italy Gautam Srivastava, Brandon University, Canada -- Dr. Nitin Auluck / डॉ. नितिन औलक | Associate Professor / सह - प्राध्यापक Room #114, S. Ramanujan Block / कमरा #११४, एस. रामानुजम ब्लॉक Department of Computer Science & Engineering / कंप्यूटर विज्ञान और अभियांत्रिकी विभाग Indian Institute of Technology Ropar / भारतीय प्रौद्योगिकी संस्थान रोपड़ | Rupnagar, Punjab, India, 140001 / रूपनगर, पंजाब, भारत, १४०००१ nitin(a)iitrpr.ac.in | http://www.iitrpr.ac.in/cse/nitin -- **CONFIDENTIALITY NOTICE: The contents of this email message and any attachments are intended solely for the addressee(s) and may contain confidential and/or privileged information and may be legally protected from disclosure. If you are not the intended recipient of this message or their agent, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. If you are not the intended recipient, you are hereby notified that any use, dissemination, copying, or storage of this message or its attachments is strictly prohibited.* *

2 years

1
0
0 0

ETAPS 2023 (Paris): offer for Extended Stay Support Scheme

by Étienne André

ETAPS 2023 EXTENDED STAY SUPPORT SCHEME The ETAPS 2023 conference (European joint conferences on theory & practice of software), organized in Paris from 22nd to 27th April 2023, offers an Extended Stay Support Scheme (ESSS) aiming at enhancing scientific collaborations and diminishing the carbon footprint of scientific research activities, following similar initiatives at HIGHLIGHTS and ICALP. ETAPS 2023 attendees are encouraged to combine their visit to Paris with collaborations with local researchers. In a nutshell: interested individual participants to ETAPS can get a financial support from interested labs to stay longer "near" Paris, supported by labs throughout France or neighboring countries (Belgium and Switzerland). This support scheme is primarily intended for participants traveling long distances and must be combined with an attendance to ETAPS 2023. Upon acceptation, research institutes involved in this mechanism will cover standard expenses (accommodation and traveling fees, plane excluded) and will provide material support for research activities. How to apply to the ETAPS 2023 Extended Stay Support Scheme? Application to the ETAPS 2023 Extended Stay Support Scheme is made by two persons, a visitor and a local collaborator and should be sent to the contact person in the hosting research institute. The application should include: - The name of the visitor (the ETAPS attendant) mentioning their affiliation, city and country of origin - The name of the local collaborator - The dates of the visits - Few lines describing the subject of the collaboration The ETAPS organizers are NOT involved in this selection process. Web page: https://etaps.org/2023/esss/ Specific constraints: - For applying, the visitor should attend ETAPS 2023 - Dates of the visit do not have to be adjacent to the conference dates as long as the applicant avoids traveling by plane in between - If too many applications are received, further criteria of selection may have to be applied by the inviting labs, such as favoring long distance participants or applying "first come first served" policy. The research labs participating to the scheme are so far: * CRIStAL, Lille (https://www.cristal.univ-lille.fr/?rubrique9) Contact: <Patrick Baillot patrick.baillot(a)univ-lille.fr> * EPFL, SYSTEMF, Lausanne (https://www.epfl.ch/): Contact: Clément Pit-Claudel (https://pit-claudel.fr/clement/) * Irif, Université Paris-Cité, Paris (https://www.irif.fr/). Contact: Thomas Colcombet <thomas.colcombet(a)irif.fr> * LAAS, Toulouse (https://www.laas.fr/public/en). Contact: Silvano Dal Zilio <dalzilio(a)laas.fr> * LABRI, Bordeaux (https://www.labri.fr/en). Contact: Cyril Gavoille <gavoille(a)labri.fr> * LIP, ENS Lyon (http://www.ens-lyon.fr/LIP/) Contact: Denis Kuperberg <denis.kuperberg(a)ens-lyon.fr> * Lip6, Sorbonne Université, Paris (https://www.lip6.fr/recherche/index.php), and co-organizer of ETAPS 2023. Contact: Fabrice Kordon <Fabrice.Kordon(a)lip6.fr> * LIPN, Université Sorbonne Paris Nord, Villetaneuse (https://lipn.univ-paris13.fr/), and co-organizer of ETAPS 2023. Contact: Étienne André <Andre.Etienne(a)lipn13.fr> * LiS, Marseille (https://www.lis-lab.fr/). Contact: Pierre-Alain Reynier <pierre-alain.reynier(a)lis-lab.fr> * LMF, Université Paris-Saclay, Saclay (https://lmf.cnrs.fr/). Contact: Dietmar Berwanger <dwb(a)lsv.fr> * LORIA, Université de Lorraine & Inria, Nancy (https://www.loria.fr/en/). Contact: Stephan Merz <stephan.merz(a)loria.fr> * LS2N, Université de Nantes (SLS axis: https://www.ls2n.fr/pole/SLS/). Contact: Dalila Tamzalit <dalila.tamzalit(a)univ-nantes.fr> * LSL, CEA List, Saclay (https://pyrat-analyzer.com/). Contact: CHIHANI Zakaria <Zakaria.CHIHANI(a)cea.fr> * Telecom Paris (https://www.telecom-paris.fr/en/research/laboratories/information-processin…). Contact: Théo Zimmermann <theo.zimmermann(a)telecom-paris.fr> * ULB, Team "Formal Methods and Verification" (https://verif.ulb.ac.be/), Brussels, Belgium. Contact: Emmanuel Filiot <efiliot(a)ulb.be> * Verimag, Grenoble (https://www-verimag.imag.fr/). Contact: verimag-direction(a)univ-grenoble-alpes.fr Other research labs may be added to this list. For applying as a researcher, please contact the research lab of interest. For applying as a research unit, please get in touch with Andre.Etienne(a)lipn13.fr

2 years

1
0
0 0

IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Markus Kuppe, a Principal Research Software Development Engineer in the Research In Software Engineering group at Microsoft Research, Redmond. The talk is scheduled on Tuesday, March 14, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MzdlMXZ1c2…>). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: TLA+: The Tools, The Language, and The Application Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: TLA+ is a language for formally specifying and verifying discrete systems, including distributed algorithms. Users describe the system as a state machine, written in a language based on mathematical set theory and temporal logic, which also serves to express safety and liveness properties. TLA+ comes with tools for computer-assisted verification, including two model checkers and an interactive proof system. TLA+ is used in academia and industry, e.g., to verify data consistency in cloud applications. This talk will cover the theory behind TLA+ and how practitioners can write TLA+ specifications with the help of verification tools. Additionally, we will discuss known limitations of the tools and outline current and future research opportunities. Bio: Markus Kuppe is a Principal Research Software Development Engineer in the Research In Software Engineering group at Microsoft Research, Redmond. His focus is on making specification-driven development (with TLA+) more popular among engineers. This includes scaling verification to real-world problems and building tools to combine specification-driven development with established software engineering processes.

2 years

1
0
0 0

ATVA 2023 (Singapore): first call for papers

by Étienne André

************************************************************ Call for Papers ** ATVA 2023 ** 24-27 October 2023 Singapore https://atva-conference.org/2023/ ************************************************************ 21st International Symposium on Automated Technology for Verification and Analysis ATVA 2023 is the 21st in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized system * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced, weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent systems * Analysis and verification of deep learning systems * Analysis and verification of blockchain based systems * Verification in industrial practice * Synthesis for hardware and software systems * Applications and case studies * Automated tool support ## Submissions ATVA welcomes submissions in the following two categories: * Regular research papers (16 pages, excluding references) * Tool papers (6 pages, excluding references) Submissions must be in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Adding line numbers (package lineno) is highly recommended. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must contain instructions for installation of the tool on Linux/Windows/MacOS. For (regular and tool) papers reporting experiments, uploading an artifact on a long-term available platform is recommended (though not compulsory) Papers must be submitted through EasyChair. https://easychair.org/conferences/?conf=atva2023 Accepted papers in both categories will be published in Springer's Lecture Notes in Computer Science series. At least one author of each accepted paper is expected to register and present the paper at the conference. ## Important Dates * Abstract submission deadline: April 27, 2023 (AoE) * Paper submission deadline: May 4, 2023 (AoE) * Paper notification: June 30, 2023 (AoE) * Camera-ready deadline: July 25, 2023 (AoE) * Conference: October 24 – October 27, 2023 (UTC +8) ## Committees General Chair * Jin Song DONG, National University of Singapore Program Co-Chairs * Jun Sun, Singapore Management University * Étienne André, Université Sorbonne Paris Nord Publicity Chair: * Lei Bu, Nanjing University Local Organization Chair * Xiaofei Xie, Singapore Management University Program committee * Mohamed Faouzi Atig (Uppsala University) * Saddek Bensalem (VERIMAG) * Udi Boker (Reichman University, Herzliya, Israel) * Lei Bu (Nanjing University) * Krishnendu Chatterjee (Institute of Science and Technology (IST)) * Yu-Fang Chen (Academia Sinica) * Chih-Hong Cheng (Fraunhofer IKS) * Yunja Choi (Kyungpook National University) * Thao Dang (CNRS/VERIMAG) * Susanna Donatelli (Dipartimento di Informatica) * Alexandre Duret-Lutz (EPITA's Research Lab (LRE)) * Bernd Finkbeiner (CISPA Helmholtz Center for Information Security) * Stefan Gruner (University of Pretoria) * Osman Hasan (National University of Sciences and Technology (NUST)) * Ichiro Hasuo (National Institute of Informatics) * Jie-Hong Roland Jiang (National Taiwan University) * Ondrej Lengal (Brno University of Technology) * Shang-Wei Lin (Nanyang Technological University) * Doron Peled (Bar Ilan University) * Jakob Piribauer (TU Dresden) * Pavithra Prabhakar (Kansas State University) * Sasinee Pruekprasert (National Institute of Advanced Industrial Science and Technology) * Kristin Yvonne Rozier (Iowa State University) * Indranil Saha (Indian Institute of Technology Kanpur) * Ocan Sankur (Univ Rennes) * Fu Song (School of Information Science and Technology) * Marielle Stoelinga (University of Twente) * Michael Tautschnig (Queen Mary University of London) * Tachio Terauchi (Waseda University) * Jingyi Wang (Zhejiang University) * Chao Wang (University of Southern California) * Bow-Yaw Wang (Academia Sinica) * Zhilin Wu (Laboratory of Computer Science) * Lijun Zhang (Institute of Software) ATVA 2023 is referred by https://conferences-computer.science/ -- Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/

2 years, 1 month

1
0
0 0

1st Call for Contributions - Women in Logic Workshop (WiL 2023)

by Tephilla

Are you a woman working in logic? Please join us on July 1 at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by April 23, 2023 (AoE), via EasyChair. ------------------------------------------------------------------------------------------------------------- Call for Contributions WiL 2023: 7th Women in Logic Workshop July 1, 2023 Co-located with FSCD 2023 https://sites.google.com/view/wil2023/home ------------------------------------------------------------------------------------------------------------- Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to: - provide a platform for female researchers to share their work and achievements; - increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty; - establish new connections and collaborations; - foster a welcoming culture of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver 2019, Paris 2020, Rome 2021, and Haifa 2022) were very successful in showcasing women's work and as catalysts for a recognition of the need for change in the community. Topics of interest include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. INVITED SPEAKERS - Marie Kerjean (LIPN, Institut Galilée) - TBA IMPORTANT DATES - Abstract submission deadline: April 23, 2023 - Notification: May 15, 2023 - Contribution for Informal Proceedings: June 25, 2023 - Workshop: July 1, 2023 SUBMISSIONS Abstracts should be written in English (1-2 pages), and prepared using the Easychair style (https://easychair.org/publications/for_authors). The abstracts should be uploaded to the WiL 2023 Easychair page https://easychair.org/my/conference?conf=wil2023 as a PDF file before the submission deadline on April 23, 2023, anywhere on Earth. ORGANIZING AND PROGRAM COMMITTEE - Sandra Alves (University of Porto) - Agata Ciabattoni (Vienna University of Technology) - Zoé Christoff (University of Groningen) - Amy Felty (University of Ottawa) - Marie Fortin (IRIF) - Sujata Ghosh (ISI Chennai) - Sandra Kiefer (University of Oxford) – co-chair - Cláudia Nalon (University of Brasília) - Daniele Nantes-Sobrinho (Imperial College London) – co-chair - Valeria de Paiva (Topos Institute) - Catuscia Palamidessi (INRIA) - Tephilla Prince (IIT Dharwad) – co-chair - Krishna S. (IIT Bombay) - Alexandra Silva (Cornell University) - Renata Wasserman (University of São Paulo) -- Tephilla Prince Research Scholar Dept. of Computer Science & Engineering IIT Dharwad

2 years, 1 month

1
0
0 0

Numerical Computations: Theory and Algorithms' [NUMTA2023] - 14 to 20 June 2023 in Calabria, Italy

by gopal

The 4th International Triennial Conference and Summer School 'Numerical Computations: Theory and Algorithms' (NUMTA2023) will be held (in hybrid format) from 14 to 20 June 2023 in Calabria, Italy, at the all-inclusive resort "Tui Magic Life Calabria" on the Tyrrhenian coast and close to the Lamezia Terme international airport. The Conference is organized by the University of Calabria, Department of Computer Engineering, Modelling, Electronics and Systems Science, Italy, in cooperation with the Society for Industrial and Applied Mathematics (SIAM), USA. Together with regular presentations at the Conference there will be the Summer School offering tutorials and discussion sections covering the topics of the Conference. Participants at the Summer School can submit either regular papers or participate at the poster session that will also be organized. English is the working language both at the Conference and the Summer School. This is the fourth edition of NUMTA (since 2013); more than 200 researchers from 30 countries around the world have attended the previous NUMTA2019 conference, Website: https://www.numta.org Main topics: Numerical analysis, computational models, optimization and machine learning, and emerging computational paradigms. Confirmed plenary lectures and tutorials: Luigi Brugnano (Italy), Lou D'Alotto (USA), Renato De Leone (Italy), Kalyanmoy Deb (USA), Francesca Mazzia (Italy), Panos Pardalos (USA), Witold Pedrycz (Canada), Yaroslav Sergeyev (Italy), Nick Trefethen (UK). Publications: A book of one-page abstracts will be available on the conference webpage. Participants regularly registered for NUMTA may also submit their full papers to the post-conference proceedings that will be published in the Springer LNCS series: short 6-8+ and long 12-15+ original research papers will be regularly peer-reviewed. Special issues of highly cited international journals will also be organized. Submission system: https://equinocs.springernature.com/service/NUMTA2023 A registration fee for in-person or virtual (zoom) participation in NUMTA2023 will be required (registration will open soon). Special benefits are reserved for the organizers of the NUMTA2023 Streams and Special Sessions. The NUMTA2023 Young Researcher Prize (500 Euros and a certificate) will be awarded to the best presentation made by a young scientist (not older than 30 years). Deadlines: April 2, 2023: One-page abstract submission April 16, 2023: Regular registration May 21, 2023: Submission of papers (short or long) for LNCS proceedings May 21, 2023: Late registration and Submission of applications for the NUMTA2023 Young Researcher Prize Information is continuously updated on the conference website https://www.numta.org where details of the three previous editions (2019, 2016 and 2013) of this conference are available. Gopal T V 0 9840121302 https://vidwan.inflibnet.ac.in/profile/57545 https://www.facebook.com/gopal.tadepalli ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Dr. T V Gopal Professor Department of Computer Science and Engineering College of Engineering Anna University Chennai - 600 025, INDIA Ph : (Off) 22351723 Extn. 3340 (Res) 24454753 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

2 years, 1 month

1
0
0 0

ETAPS 2023 (Paris) extended stay support scheme: fly less, stay longer

by Étienne André

ETAPS 2023 EXTENDED STAY SUPPORT SCHEME The ETAPS 2023 conference (European joint conferences on theory & practice of software) offers to its attendees an Extended Stay Support Scheme (IESS) aiming at enhancing scientific collaborations and diminishing the carbon footprint of scientific research activities, following similar initiatives at HIGHLIGHTS and ICALP. ETAPS 2023 attendees are encouraged to combine their visit to Paris with collaborations with local researchers. This support scheme is primarily intended for participants traveling long distances and must be combined with an attendance to ETAPS 2023. Upon acceptation, research institutes involved in this mechanism will cover standard expenses (accommodation and traveling fees, plane excluded) and will provide material support for research activities. How to apply to the ETAPS 2023 Extended Stay Support Scheme? Application to the ETAPS 2023 Extended Stay Support Scheme is made by two persons, a visitor and a local collaborator and should be sent to the contact person in the hosting research institute. The application should include: - The name of the visitor (the ETAPS attendant) mentioning their affiliation, city and country of origin - The name of the local collaborator - The dates of the visits - Few lines describing the subject of the collaboration Web page: https://etaps.org/2023/esss/ Specific constraints: - For applying, the visitor should attend ETAPS 2023 - Dates of the visit do not have to be adjacent to the conference dates as long as the applicant avoids traveling by plane in between - If too many applications are received, further criteria of selection may have to be applied, such as favoring long distance participants or applying "first come first served" policy. The research labs participating to the scheme are so far: * Irif, Université Paris-Cité, Paris (https://www.irif.fr/). Contact: Thomas Colcombet <thomas.colcombet(a)irif.fr> * LABRI, Bordeaux (https://www.labri.fr/en). Contact: Cyril Gavoille <gavoille(a)labri.fr> * LAAS, Toulouse (https://www.laas.fr/public/en). Contact: Silvano Dal Zilio <dalzilio(a)laas.fr> * Lip6, Sorbonne Université, Paris (https://www.lip6.fr/recherche/index.php), and co-organizer of ETAPS 2023. Contact: Fabrice Kordon <Fabrice.Kordon(a)lip6.fr> * LIPN, Université Sorbonne Paris Nord, Villetaneuse (https://lipn.univ-paris13.fr/), and co-organizer of ETAPS 2023. Contact: Étienne André <Andre.Etienne(a)lipn13.fr> * LMF, Université Paris-Saclay, Saclay (https://lmf.cnrs.fr/). Contact: Dietmar Berwanger <dwb(a)lsv.fr> * LORIA, Université de Lorraine & Inria, Nancy (https://www.loria.fr/en/). Contact: Stephan Merz <stephan.merz(a)loria.fr> * ULB, Team "Formal Methods and Verification" (https://verif.ulb.ac.be/), Brussels, Belgium. Contact: Emmanuel Filiot <efiliot(a)ulb.be> Other research labs may be added to this list. For applying as a researcher, please contact the research lab of interest. For applying as a research unit, please get in touch with Andre.Etienne(a)lipn13.fr

2 years, 1 month

1
0
0 0

FORMATS 2023 second call for papers

by B Srivathsan

FORMATS 2023: second call for papers 21st International Conference on Formal Modeling and Analysis of Timed Systems https://www.uantwerpen.be/en/conferences/confest-2023/formats/ 19-21 September 2023, Antwerp, Belgium co-located with CONCUR, FMICS and QEST as part of CONFEST 2023 SCOPE & TOPICS FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems. Typical topics include (but are not limited to): - Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). - Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving). - Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics). This year, FORMATS will incorporate a special track on: - Monitoring of cyber-physical systems. We encourage the submission of papers on all approaches related to the monitoring of cyber-physical systems, including monitoring methods, monitoring applications (such as robustness-guided falsification), and related techniques (such as validation of a formal specification for monitoring). INVITED SPEAKERS FORMATS 2023 will feature the following invited speakers: - Joost-Pieter Katoen, RWTH Aachen University, Germany (joint with all CONFEST conferences) - Nicolas Markey, CNRS & University of Rennes, France (joint with CONCUR) - David Parker, Oxford University, UK (joint with QEST, CONCUR) - Jaco van de Pol, Aarhus University, Denmark (joint with CONCUR, FMICS) PAPER SUBMISSION FORMATS 2023 solicits high-quality papers describing research results, experience reports and/or tools related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. FORMATS 2023 has two categories of papers: - Regular papers, which should not exceed 15 pages in length - Short papers, which should not exceed 7 pages in length Both page limits exclude references, which are not limited in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers should be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2023 ARTIFACT EVALUATION FORMATS encourages authors to submit artifacts where appropriate, for example to demonstrate how to reproduce experimental data in a research paper or to examine the usability and applicability of a software tool. Artifacts will be evaluated by the Artifact Evaluation Committee and those that are accepted will receive a repeatability badge to be displayed on the first page of the published paper. For more details, see: https://www.uantwerpen.be/en/conferences/confest-2023/formats/artifact/ PUBLICATION AND BEST PAPER AWARD The proceedings of FORMATS 2023 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. IMPORTANT DATES - Abstract submission: 21 April 2023 - Paper submission: 28 April 2023 - Acceptance notification: 16 June 2023 - Camera-ready deadline: 14 July 2023 - Conference: 19-21 September 2023 For any questions, feel free to contact the program chairs Laure Petrucci (Laure.Petrucci(a)lipn.univ-paris13.fr) and Jeremy Sproston (sproston(a)di.unito.it). ORGANISATION Program Chairs - Laure Petrucci, University Sorbonne Paris Nord & CNRS, France - Jeremy Sproston, University of Turin, Italy Artifact Evaluation Chairs - Arnd Hartmanns, University of Twente, The Netherlands - Paolo Zuliani, Newcastle University, UK Special Track Chair - Masaki Waga, Kyoto University, Japan Program Committee - Alessandro Abate, University of Oxford, UK - Parosh Aziz Abdulla, Uppsala University, Sweden - Marcello M. Bersani, Politecnico di Milano, Italy - Patricia Bouyer-Decitre, CNRS & ENS Paris-Saclay, France - Franck Cassez, ConsenSys, USA - Pedro R. D'Argenio, National University of Córdoba, Argentina - Jyotirmoy Deshmukh, University of Southern California, USA - Catalin Dima, University Paris-Est Créteil, France - Miriam García Soto, Complutense University of Madrid, Spain - Gilles Geeraerts, Université Libre de Bruxelles, Belgium - Taylor T. Johnson, Vanderbilt University, USA - Jan Křetínský, Technical University of Munich, Germany - Engel Lefaucheux, INRIA Nancy & LORIA, Université de Lorraine, France - Jun Liu, University of Waterloo, Canada - Manuel Mazo Jr, Delft University of Technology, The Netherlands - Benjamin Monmege, Aix-Marseille Université, France - Dejan Ničković, Austrian Institute of Technology, Austria - Nicola Paoletti, King's College London, UK - Laure Petrucci, University Sorbonne Paris Nord & CNRS, France (chair) - Kristin Yvonne Rozier, Iowa State University, USA - Krishna S., IIT Bombay, India - Ocan Sankur, CNRS & Rennes University, France - Sadegh Soudjani, Newcastle University, UK - Jeremy Sproston, University of Turin, Italy (chair) - Jiri Srba, Aalborg University, Denmark - B. Srivathsan, Chennai Mathematical Institute, India - Natalie Sznajder, Sorbonne Université & CNRS, France - Patrick Totzke, University of Liverpool, UK - Stavros Tripakis, Northeastern University, USA - Enrico Vicario, University of Florence, Italy - Masaki Waga, Kyoto University, Japan - Naijun Zhan, Chinese Academy of Sciences, China Steering Committee - Rajeev Alur (USA) - Eugene Asarin (France) - Martin Fränzle (chair, Germany) - Thomas A. Henzinger (Austria) - Joost-Pieter Katoen (Germany) - Kim G. Larsen (Denmark) - Oded Maler (founding chair, France) (1957-2018) - Pavithra Prabhakar (USA) - Mariëlle Stoelinga (The Netherlands) - Wang Yi (Sweden)

2 years, 1 month

1
0
0 0

IEEE EDGE 2023 - CALL FOR PAPERS, Submission Deadline = March 5, 2023

by Nitin Auluck

IEEE EDGE 2023 - CALL FOR PAPERS Edge computing, as the convergence of computing and communications executed close to data collection and places of storage and application, provides a paradigm that offers several research and application opportunities across a wide range of domains. At the same time, it raises many fundamental and unprecedented research and development problems and challenges. The 2023 IEEE International Conference on Edge Computing and Communications (IEEE EDGE 2023 - https://conferences.computer.org/edge/2023/) aims to continue to be recognized a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in state of the art and practice of edge computing, identify emerging research topics, and define the future of edge computing. IEEE EDGE is affiliated with IEEE World Congress on Services (SERVICES - https://conferences.computer.org/services/2023/). IEEE EDGE 2023 will feature a comprehensive high-quality technical program including research track, tutorial and demonstration. IEEE EDGE 2023 will also include an attractive industry program aimed at practitioners, with keynotes and panels from prominent research, industry leaders, and technological exhibits. IEEE EDGE 2023 invites original papers addressing all aspects related to edge computing theories, technologies and applications. Topics of interest include but are not limited to the following: · Edge Computing Architectures · Edge Computing and Communications Theories · Edge Computing and Network Functions Virtualization · Edge Computing in Multi-cloud environments · Signal Processing in Edge Computing · Edge Access Networks & Systems · Services for Edge Computing · CPU/GPU and Hardware for Edge Computing · AI Enabled Edge Computing · Edge Centric Convergence of IoT & Cloud Computing · Collaborative Edge & Cloud Computing · Storage and Caching at the Edge · QoS & QoE at the Edge · Artificial Intelligence and ML at the Edge · Edge Computing for Vehicular System & Network · Edge Computing for 5G/6G Network & Systems IMPORTANT DATES (ANYWHERE ON EARTH) – UPDATED! ● March 5, 2023: Easy Chair closes for submissions (e.g., HARD submission deadline) ● April 23, 2023: Acceptance notification ● July 2-8, 2023: SERVICES Congress in Chicago ORGANISING TEAM IEEE EDGE 2023 GENERAL CHAIRS Andrzej Goscinski, Deakin University Omer Rana, Cardiff University IEEE EDGE 2023 PROGRAM CHAIRS Flavia Delicato, Fluminense Federal University Nirmit Desai, IBM Research, TJ Watson Research Center IEEE EDGE 2023 PUBLICITY CHAIRS Nitin Auluck, Indian Institute of Technology, Ropar Luiz F. Bittencourt, University of Campinas, Brazil Antonino Galletta, University of Messina, Italy Gautam Srivastava, Brandon University, Canada -- Dr. Nitin Auluck / डॉ. नितिन औलक | Associate Professor / सह - प्राध्यापक Room #114, S. Ramanujan Block / कमरा #११४, एस. रामानुजम ब्लॉक Department of Computer Science & Engineering / कंप्यूटर विज्ञान और अभियांत्रिकी विभाग Indian Institute of Technology Ropar / भारतीय प्रौद्योगिकी संस्थान रोपड़ Rupnagar, Punjab, India, 140001 / रूपनगर, पंजाब, भारत, १४०००१ Email / ईमेल: nitin(a)iitrpr.ac.in | Web / वेब: http://www.iitrpr.ac.in/cse/nitin -- **CONFIDENTIALITY NOTICE: The contents of this email message and any attachments are intended solely for the addressee(s) and may contain confidential and/or privileged information and may be legally protected from disclosure. If you are not the intended recipient of this message or their agent, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. If you are not the intended recipient, you are hereby notified that any use, dissemination, copying, or storage of this message or its attachments is strictly prohibited.* *

2 years, 1 month

1
0
0 0

2025

2024

2023

2022

FMIndia