- FMIndia - example.com

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, 11 months

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, 11 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Krishna S on Feb. 7 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Krishna S, a faculty member in the Department of Computer Science and Engineering at IIT Bombay. The talk is scheduled on Tuesday, February 7, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NzUzMmptb3…>). 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: Verification of Concurrent Programs under Release Acquire -- Part II (Here is a video of the first part of this talk: https://www.youtube.com/watch?v=Ac9QgZmaS9w) Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: This talk is an overview of some recent work on the verification of concurrent programs. Traditionally concurrent programs are interpreted under sequential consistency (SC). Eventhough SC is very intuitive and easy to use, modern multiprocessors do not employ SC for performance reasons, and instead use so called "weak memory models". Some of the well known weak memory models in vogue among modern multiprocessor architectures are Intel x-86, IBM POWER and ARM. The use of weak memory is also prevalent in the C11 model, leading to the release acquire fragment of C11. This talk is on the verification of concurrent programs under the release acquire (RA) semantics. The main focus of the talk will be on non parameterized programs under RA, and I will briefly discuss results in the parameterized setting. In the non parameterized setting, we show that the reachability problem for RA is undecidable even in the case where the input program is finite-state, closing a long standing open problem. What works well for this class is under approximate reachability, in the form of bounded view switching, an analogue of bounded context switching, relevant to RA. In the parameterized setting, the first observation is that the semantics of RA can be simplified, lending to a better complexity for verification. Further, safety verification is PSPACE-complete for the case where the distinguished threads are loop-free, and jumps to NEXPTIME-complete for the setting where an unrestricted distinguished ego thread interacts with the environment threads. This talk is based on papers that appeared in PLDI'19 (joint with Parosh Abdulla, Mohamed Faouzi Atig and Jatin Arora), PODC'22 (joint with Roland Meyer and Adwait Godbole) as well as some unpublished work. Bio: Krishna S is a faculty member in the Department of Computer Science and Engineering at IIT Bombay. Her areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.

2 years, 11 months

1
0
0 0

Highlights 2023 & Highlights Collaborative Research Week 2023

by Supratik Chakraborty

--------------------------------------------------------------------------------------------------------------- CALL FOR PRESENTATIONS HIGHLIGHTS OF LOGIC, GAMES, AND AUTOMATA 2023 Kassel, Germany, 24 -- 28 July 2023 --------------------------------------------------------------------------------------------------------------- HIGHLIGHTS'23 is the eleventh in the series of international conferences "Highlights of Logic, Games and Automata", aiming at integrating the community working in algorithmic model theory, automata theory, databases, games for logic and verification, logic, and verification. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the HIGHLIGHTS conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. There are no publications. HIGHLIGHTS'23 is scheduled from **July 24 to July 28, 2023** at the Campus Center of the **University of Kassel, Germany**. The main conference will be preceded by the Highlights Collaborative Research Week (HCRW), from **July 17 to July 21, 2023** at the Faculty of Electrical Engineering and Computer Science of the University of Kassel. HIGHLIGHTS'23 key features: * HIGHLIGHTS is a conference without publication, where speakers give short presentations of their best work. * (new) The conference will span five days, including tutorials. * (new) There is an early round of submissions and notifications to help with travel planning. * (new) The *Highlights' Collaborative Research Week* (HCRW) is a new initiative meant to facilitate research collaborations/discussions between participants. HCRW is scheduled from July 17 to July 21, 2023, i.e. the week before HIGHLIGHTS'23 and after ICALP’23 (in Paderborn, Germany). * The *Highlights Extended Stay Support Scheme* (HESSS) is intended to help participants find collaborators and organize visits around HIGHLIGHTS. We encourage you to attend and present your best work, be it already published or not, at HIGHLIGHTS’23. -- SCOPE -- Representative areas include, but are not restricted to: * Algorithmic model theory * Automata theory * Databases * Games for logic and verification * Logic * Verification -- IMPORTANT DATES AND INFORMATION -- * Main conference page: https://highlights-conference.org/2023/ * HCRW page: https://highlights-conference.org/2023/hcrw * HESSS page: https://highlights-conference.org/2023/hesss * Submission page: https://cmt3.research.microsoft.com/Highlights2023 * Registration page: TBA * **Early submission deadline: February 17** * Early notification: February 28 * **Regular submission deadline: April 25** * Regular notification: May 5 * Early registration: TBA * Highlights' Collaborative Research Weak (HCRW): July 17 - July 21, 2023. * Conference: July 24 - July 28, 2023 (Tutorial day: July 24). -- INVITED TALKS AND TUTORIALS -- TUTORIALS: * Bernd Finkbeiner (Saarland Univ and CISPA, Germany) * Édouard Bonnet (ENS Lyon, France) INVITED TALKS: * Udi Boker (Reichman Univ, Israel) * Véronique Bruyère (Univ of Mons, Belgium) * Meena Mahajan (Institute of Mathematical Sciences, India) * Sophie Pinchinat (IRISA, France) * Sven Schewe (Univ of Liverpool, UK) -- MODALITIES OF ATTENDANCE -- HIGHLIGHTS’23 is an event that will take place on-site (barring unforeseen circumstances), and the preferred form of participation is in person. Remote attendance via a video stream will also be offered, but with limited possible interactions for these participants. Before coming from far away, please review how your trip and international flights are contributing to climate change. We encourage you to take the train as much as possible, possibly taking the opportunity for visiting colleagues on the way and thus decomposing the travel into smaller pieces. More generally, we encourage you to make the most of your stay. This means extending your journey to the previous and/or following weeks for more scientific activities in Kassel and around. Several initiatives are here to help you in this task: - You can participate in the Highlights' Collaborative Research Week (HCRW, July 17-21) in the week before HIGHLIGHTS, in Kassel. We especially encourage you to come to HCRW if you are planning to attend ICALP’2023, which happens just before HCRW, in Paderborn. - You can attend ICALP’2023 (July 10-14, in Paderborn) - You can attend CAV’2023 (July 17-22, in Paris) - You can use the Highlights Extended Stay Support Scheme HESSS] for finding collaborators and organising visits. -- [EARLY] SUBMISSIONS AND GUIDELINES -- Submissions should take the form of a short abstract describing the content of the presentation and its interest. It should serve as a proposal for a presentation. Hence, submissions should have a single author — the speaker. They can concern any recently published, to be published, or ongoing work of the speaker. We expect you to present your favourite result of the year, so there should be at most one submission per speaker. The abstract should list co-authors, if any. Optionally, an extended abstract of up to two pages may be attached as a PDF file. We encourage both young and senior researchers to present. The early round of submissions is open until **February 17, 2023**. By submitting before this deadline, you will profit from an early notification by February 28, 2023 which may help you in organising your journey. The regular submission deadline is **April 25, 2023**, with a notification by May 5, 2023 Submissions will not lead to publications. There are no formal proceedings and we encourage the presentation of work published or presented elsewhere. The talk (which is short, around 10 minutes) can be doubled with a poster. In this case, it has to be sent more than one week before the event, and will be printed by the organising team. **Submission page:** https://cmt3.research.microsoft.com/Highlights2023 -- HIGHLIGHTS' COLLABORATIVE RESEARCH WEEK (HCRW) -- HIGHLIGHTS’23 will be organising an extra week, the *Highlights' Collaborative Research Week* (HCRW), **from July 17 to July 21**, at the University of Kassel. Participants to HIGHLIGHTS can register for this week, and are then free to organise any scientific activity. It is up to you to decide what this week should be. Possibilities can be to - meet someone in particular, - organise or attend a seminar/workshop/reading group, - gather for solving open problems. HIGHLIGHTS organising team is offering the opportunity, the working space and support at the university, and some web-tools for the scientific organisation. We encourage participants to propose activities in advance. Please contact the program chair (Supratik Chakraborty) and the organisation chair (Stefan Göller) to communicate your proposals. * HCRW webpage: https://highlights-conference.org/2023/hcrw * To propose activities: Contact Supratik Chakraborty and Stefan Göller * Registration for HCRW will happen along with HIGHLIGHTS. -- HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS) -- The HESSS is an incentive for collaborations between participants of the conference and researchers working in research units reachable by train from the conference location. The objective is to foster interactions with low carbon footprint. The mechanism is as follows: * Research units wanting to participate in the scheme are/will be listed on the webpage: https://highlights-conference.org/2023/hcrw. These units are willing to fund collaborations between HIGHLIGHTS participants and their members. * The pair of a HIGHLIGHTS participant and a member of a listed research unit submit a proposal, which takes the form of an email containing names, period of collaboration, and a sentence describing the planned activity. It has to be sent to the HESSS contact person of the research unit. * The decision of acceptance is up to the research unit. In particular, it may be subject to scientific scope, number or requests, or e.g., favouring distant participants. * The only strict rule is that the visit should be around HIGHLIGHTS, and no airplane should be taken by the visitor to travel from HIGHLIGHTS to the visit location. * Research units interested in participating in the program should contact Thomas Colcombet. -- COMMITTEES -- PROGRAM COMMITTEE * S. Akshay (India) * Suguman Bansal (USA) * Nathalie Bertrand (France) * Supratik Chakraborty (India) (Chair) * Krishnendu Chatterjee (Austria) * Javier Esparza (Germany) * Sandra Kiefer (Germany) * Antonina Kolokolova (Canada) * Orna Kupferman (Israel) * Annabelle McIver (Australia) * Madhusudan Parthasarathy (USA) * Joanna Ochremiak (France) * Daniela Petrisan (France) * Michał Pilipczuk (Poland) * Nir Piterman (Sweden) * Jean-François Raskin (Belgium) ORGANISING COMMITTEE * Stefan Göller (chair) * Alina Kappes * Klaus Wich * Matthias Wolf * Katja Wuchterl SAFETOC COUNSELOR * Sylke Ernst STEERING COMMITTEE * León Bohn (webmaster) * Antonio Casares (publicity chair) * Thomas Colcombet (chair) * Sławek Lasota * Luc Segoufin * Sophie Tison

2 years, 12 months

1
0
0 0

IITB CSE Research Symposium: call for student participation

by Uday P. Khedker

Please circulate this email among your students and encourage them to participate in this research symposium. The goal is to expose the students the research being done in CS at IITB. Thanks and regards, Uday Khedker. ------------------------------------------------------------------------------------- Greetings from the Dept of CSE, IITB. The Computer Science and Engineering (CSE) department at the Indian Institute of Technology Bombay (IITB) is pleased to announce its upcoming research symposium. The two-day event will take place on March 25-26, 2023, and will feature cutting-edge research conducted by CSE faculty and students. In addition, the symposium will include invited talks by leading experts from three tracks: computer systems, artificial intelligence/machine learning, and theoretical computer science. There will also be some informal interactive sessions with CSE faculty and research scholars. More information about the event, including a detailed schedule and speaker lineup, can be found on the official website at https://www.cse.iitb.ac.in/crs2023. We invite *undergraduate students in their pre-final and final years, as well as postgraduate students *(master’s students) from CS and allied domains, to apply for participation in the symposium. Candidates from underrepresented, underprivileged, or disadvantaged groups/communities are especially encouraged to apply. Selected participants will be provided with accommodation on the IITB campus during the event. They may also be provided with limited travel support. To register for the symposium, please fill out the registration form <https://forms.gle/yEeHd2RSD45JrZDj8>by Feb 04, 2023. Kindly circulate the email to the prospective students. Best regards, Biswabandan Panda, Abir De and Rohit Gurjar. Organizing committee, IIT Bombay.

2 years, 12 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Krishna S on Feb. 7 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Krishna S, a faculty member in the Department of Computer Science and Engineering at IIT Bombay. The talk is scheduled on Tuesday, February 7, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NzUzMmptb3…>). 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: Verification of Concurrent Programs under Release Acquire -- Part II (Here is a video of the first part of this talk: https://www.youtube.com/watch?v=Ac9QgZmaS9w) Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: This talk is an overview of some recent work on the verification of concurrent programs. Traditionally concurrent programs are interpreted under sequential consistency (SC). Eventhough SC is very intuitive and easy to use, modern multiprocessors do not employ SC for performance reasons, and instead use so called "weak memory models". Some of the well known weak memory models in vogue among modern multiprocessor architectures are Intel x-86, IBM POWER and ARM. The use of weak memory is also prevalent in the C11 model, leading to the release acquire fragment of C11. This talk is on the verification of concurrent programs under the release acquire (RA) semantics. The main focus of the talk will be on non parameterized programs under RA, and I will briefly discuss results in the parameterized setting. In the non parameterized setting, we show that the reachability problem for RA is undecidable even in the case where the input program is finite-state, closing a long standing open problem. What works well for this class is under approximate reachability, in the form of bounded view switching, an analogue of bounded context switching, relevant to RA. In the parameterized setting, the first observation is that the semantics of RA can be simplified, lending to a better complexity for verification. Further, safety verification is PSPACE-complete for the case where the distinguished threads are loop-free, and jumps to NEXPTIME-complete for the setting where an unrestricted distinguished ego thread interacts with the environment threads. This talk is based on papers that appeared in PLDI'19 (joint with Parosh Abdulla, Mohamed Faouzi Atig and Jatin Arora), PODC'22 (joint with Roland Meyer and Adwait Godbole) as well as some unpublished work. Bio: Krishna S is a faculty member in the Department of Computer Science and Engineering at IIT Bombay. Her areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.

3 years

1
0
0 0

CFP IEEE Edge 2023, 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.* *

3 years

1
0
0 0

Call for special sessions - NUMTA2023 (hybrid), Jun 2023 - Italy

by gopal

[https://9pouq.img.ag.d.sendibm3.com/im/5569782/4e138089c338ad985fc321a5306a…] 4th International Conference and Summer School NUMTA-2023 "Numerical Computations: Theory and Algorithms" June 14-20, 2023 - ITALY The 4th International Conference and Summer School "Numerical Computations: Theory and Algorithms NUMTA-2023<https://9pouq.r.ag.d.sendibm3.com/mk/cl/f/6T6N7XLyeza5Q0oO-Ap6clWIkL6gHa5OY…>" will be held (in hybrid format) from 14 to 20 June 2023 in Calabria, Italy, at the all-inclusive resort “Tui Magic Life Calabria<https://9pouq.r.ag.d.sendibm3.com/mk/cl/f/93kMl5-mJR93Vrfu991ObAiABtsCv6-p2…>” on the Tyrrhenian coast and close to the Lamezia Terme international airport<https://9pouq.r.ag.d.sendibm3.com/mk/cl/f/jiSfZHjow4mMlcoQNRwoIx03C6aUQ3uRn…>. Proposals for special sessions are very welcome (deadline: 31 January 2023). * Confirmed plenary lecturers<https://9pouq.r.ag.d.sendibm3.com/mk/cl/f/Yd68uFqmN8CDGpY9scwVNegFLpIdKMDWB…>: 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). The conference proceedings will be published in the Springer LNCS series (submission will open soon). Special issues of highly cited international journals will also be organized. A registration fee for in-person or virtual (zoom) participation in NUMTA-2023 (early bird payment by 16 April 2023) will be required (registration will open soon). Information is continuously updated on the conference website https://www.numta.org<https://9pouq.r.ag.d.sendibm3.com/mk/cl/f/CfktJ7pk3myYUqW7f5O46PuVL8Z8Gj-UZ…> where details of the three previous editions (2019, 2016 and 2013) of this conference are available. We look forward to meeting you this year in Calabria, Italy! Sincerely, Gopal T V Member - Programme Committee 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 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

3 years

1
0
0 0

ICECCS 2023 (Toulouse, France): last call for papers

by Étienne André

ICECCS 2023 - Call for Papers *************************************************************************************** 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) 12 - 16 June 2023, Toulouse, France https://www.irit.fr/iceccs2023/ *************************************************************************************** NEW! paper submission deadline extended to 16th January 2023. The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) is a well-established event that has been held around the world for over 25 years. Over the past years, we have seen a rapidly rising emphasis on the design, implementation and management of complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defence, transportation, aerospace, hazardous environments, energy, and healthcare. These complex systems are frequently distributed over heterogeneous networks and process a large amount of data. Complexity arises from many factors, including the dynamic environment and the scenarios these systems operate in, demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability, as well as the wide range of development methodologies, programming languages and implementation details. Performance, real-time behaviour, fault tolerance, security, adaptability, development time and cost, and long life concerns are some of the key issues arising in the development of such systems. The goal of this conference is to bring together industrial, academic, and government experts from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the conference includes long-term research issues, near-term requirements and challenges, established complex systems, emerging promising tools, and retrospective and prospective reflections of research and development into complex systems. List of Topics -------------- Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: + Requirements analysis and specification + Verification and validation + Security and privacy of complex systems + Model-driven development + Reverse engineering and refactoring + Software Architecture + Human Machine Interaction + Big data management + Ubiquitous computing, context awareness, sensor networks + SAT/SMT solvers for software analysis and testing + Agile methods + Safety-critical and fault-tolerant architectures + Adaptive, self-managing and multi-agent systems + Cyber-physical systems and Internet of Things (IoT) + Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Submission and Publication -------------------------- Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by the program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in the industry, and reflect on the lessons learnt from them. Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by the program committee members, and accepted short papers will be published in the conference proceedings. Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings have been published by the Conference Publishing Services (CPS) of the IEEE Computer Society. Submitted manuscripts should be in English and formatted in the style of the double-column IEEE CPS format. Full papers should not exceed 9 pages + 1 page for bibliography, and short papers should not exceed 5 pages + 1 page for bibliography, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately without review. Please prepare your manuscripts in accordance with the IEEE CPS guidelines. https://www.ieee.org/conferences/publishing/templates.html We invite all prospective authors to submit their manuscripts via the ICECCS 2023 portal, hosted by the EasyChair conference management system. https://easychair.org/conferences/?conf=iceccs2023 Important Dates --------------- + Abstract Submissions Due: 08 December, 2022 ==> EXTENDED to 16th January 2023 + Full Paper Submissions Due: 15 December, 2022 ==> EXTENDED to 16th January 2023 + Acceptance/Rejection Notification: 15 March, 2023 + Camera-ready Due: 15 April, 2023 + Conference Dates: 12-16 June 2023 General Chair ------------- Dominique Méry, LORIA, Université de Lorraine, Nancy, France Program Committee Co-Chairs --------------------------- Yamine Ait-Ameur, IRIT-ENSEEIHT, Toulouse, France Ferhat Khendek, Concordia University, Montreal, Canada Program Committee ----------------- see https://www.irit.fr/iceccs2023/ ICECCS 2023 is referenced on https://www.conferences-computer.science/

3 years

1
0
0 0

IARCS Verification Seminar Series -- Talk by Umang Mathur on Jan 3 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Umang Mathur, an Assistant Professor in the School of Computing at the National University of Singapore. The talk is scheduled on Tuesday, January 3, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWVtZzZuZn…> ). 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: Dynamic Data Race Prediction: Fundamentals and Advance Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Concurrent programs are notoriously hard to write correctly, as scheduling nondeterminism introduces subtle errors that are both hard to detect and to reproduce. Data races are arguably the most insidious amongst concurrency bugs and extensive research efforts have been dedicated to effectively detect them. A data race occurs when memory-conflicting actions are executed concurrently. Consequently, considerable effort has been made towards developing efficient techniques for race detection. The preferred approach to detect data races is through dynamic analysis, where one observes an execution of a concurrent program and checks for the presence of data races in the execution observed. Traditional dynamic race detectors rely on Lamport's happens-before (HB) partial order, which can be conservative and are often unable to discover simple data races, even after executing the program several times. Dynamic data race prediction aims to expose data races, that can be otherwise missed by traditional dynamic race detectors (such as those based on HB), by inferring data races in alternate executions of the underlying program, without re-executing it. In this talk, I will talk about the fundamentals of and recent algorithmic advances in data race prediction. Bio: Umang Mathur is an Assistant Professor at the National University of Singapore. He received his PhD from the University of Illinois at Urbana Champaign in 2021 and was an NTT Research Fellow at the Simons Institute for the Theory of Computing at Berkeley. His research interests lie in the use of formal methods and logic for answering design, analysis and implementation questions in programming languages, software engineering and systems. He is a recipient of a Google Research Award (2022), Google PhD Fellowship (2019), an ACM SIGSOFT Distinguished Paper Award at ESEC/FSE'18, a Best Paper Award at ASPLOS'22 and was invited as a Young Researcher at the 8th Heidelberg Laureate Forum.

3 years

1
0
0 0

2026

2025

2024

2023

2022

FMIndia