- FMIndia - example.com

FSTTCS 2023 - Second Call for Papers

by Shibashis Guha

[Apologies if you receive multiple copies.] December 18-20, 2023 at IIIT Hyderabad <https://www.iiit.ac.in/>, India Website: https://www.fsttcs.org.in/2023/ FSTTCS 2023 is the 43rd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS <http://www.iarcs.org.in/>, the Indian Association for Research in Computing Science, in association with ACM India <https://india.acm.org/>. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. IMPORTANT DATES (all dates are AoE) Abstract Submission: July 12, 2023 Paper Submission: July 19, 2023 Notification: September 22, 2023 Camera Ready: October 5, 2023 Conference: December 18-20, 2023 Workshops: TBA PAPER SUBMISSION Submissions must be in electronic form via EasyChair <https://easychair.org/my/conference?conf=fsttcs2023> using the LIPIcs LaTeX style file available here <https://submission.dagstuhl.de/documentation/authors>. Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) <https://www.dagstuhl.de/en/publications/lipics/> as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license <https://creativecommons.org/licenses/by/3.0/>. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference. TOPICS Track A - Algebraic Complexity - Algorithms and Data Structures - Algorithmic Graph Theory and Combinatorics - Approximation Algorithms - Combinatorial Optimization - Communication Complexity - Computational Biology - Computational Geometry - Computational Learning Theory - Cryptography and Security - Data Streaming and Sublinear algorithms - Economics and Computation - Parallel, Distributed and Online Algorithms - Parameterized Complexity - Proof Complexity - Quantum Computing - Randomness in Computing - Theoretical Aspects of Mobile and High-Performance Computing Track B - Automata, Games and Formal Languages - Logic in Computer Science - Modal and Temporal Logics - Models of Concurrent, Distributed and Mobile Systems - Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems - Model Theory - Principles and Semantics of Programming Languages - Program Analysis and Transformation - Security protocols - Specification, Verification and Synthesis - Theorem Proving and Decision Procedures ORGANISATION COMMITTEE - Girish Varma <https://girishvarma.in/> (IIIT Hyderabad) - Suryajith Chillara <https://suryajith.github.io/> (IIIT Hyderabad) - Anjaneya Swami <https://scis.uohyd.ac.in/~askcs/> (Univ of Hyderabad) PROGRAM COMMITTEE Track A - Siddharth Barman <https://www.csa.iisc.ac.in/~barman/> (The Indian Institute of Science, Bengaluru, India) - Arnab Bhattacharyya <https://www.comp.nus.edu.sg/~arnab/> (National University of Singapore, Singapore) - Parinya Chalermsook <https://sites.google.com/site/parinyachalermsook/> (Aalto University, Finland) - Sivakanth Gopi <https://www.microsoft.com/en-us/research/people/sigopi/> (Microsoft Research Redmond, USA) - Karthik C.S. <http://karthikcs.org/> (Rutgers University, USA) - Venkata Koppula <https://web.iitd.ac.in/~kvenkata/> (IIT Delhi, India) - Rucha Kulkarni <https://ruchark2.web.engr.illinois.edu/> (University of Illinois, Urbana-Champaign, USA) - Mrinal Kumar <https://mrinalkr.bitbucket.io/> (TIFR, Mumbai, India) - Paloma Lima <https://www.ii.uib.no/~palomal/> (IT University of Copenhagen, Denmark) - Meena Mahajan <https://www.imsc.res.in/~meena/> (The Institute of Mathematical Sciences, Chennai, India) - Nikhil Mande <https://mande-nikhil.github.io/> (University of Liverpool, UK) - Neeldhara Misra <https://iitgn.ac.in/faculty/cse/neeldhara> (IIT Gandhinagar, India) - Sagnik Mukhopadhyay <https://sagnikm.github.io/> (University of Sheffield, UK) - Meghana Nasre <http://www.cse.iitm.ac.in/~meghana/> (IIT Madras, India) - Noga Ron-Zewi <https://sites.google.com/view/nogazewi> (University of Haifa, Israel) - Chris Schwiegelshohn <https://cs.au.dk/~schwiegelshohn/> (University of Aarhus, Denmark) - Srikanth Srinivasan <https://cs.au.dk/~srikanth/> (University of Aarhus, Denmark) – *Track A chair* Track B - Aiswarya C. <https://www.cmi.ac.in/~aiswarya/> (Chennai Mathematical Institute, India) - Guy Avni <https://sites.google.com/view/gavni> (University of Haifa, Israel) - Francesco Belardinelli <https://www.doc.ic.ac.uk/~fbelard/> (Imperial College, UK) - Dietmar Berwanger <http://www.lsv.fr/~dwb/> (CNRS, LMF, France) - Patricia Bouyer <http://www.lsv.fr/~bouyer/> (CNRS, LMF France) – *Track B chair* - Arnaud Carayol <http://www-igm.univ-mlv.fr/~carayol/> (Université Gustave Eiffel, LIGM, France) - Supratik Chakraborty <https://www.cse.iitb.ac.in/~supratik/> (IIT Bombay, India) - Lorenzo Clemente <https://sites.google.com/view/lorenzoclemente/> (University of Warsaw, Poland) - Ugo Dal Lago <https://udallago.github.io/> (Università di Bologna, Italy) - P. Madhusudan <https://madhu.cs.illinois.edu/> (University of Illinois, Urbana-Champaign, USA) - Pavithra Prabhakar <https://people.cs.ksu.edu/~pprabhakar/> (Kansas State University, USA) - Prakash Saivasan <https://www.imsc.res.in/prakash_saivasan> (The Institute of Mathematical Science, Chennai, India) - Abhisekh Sankaran <https://abhisekhs.github.io/> (Tata Consultancy Services Research, Pune, India) - B. Srivathsan <https://www.cmi.ac.in/~sri/> (Chennai Mathematical Institute, India) - Nathalie Sznajder <https://pages.lip6.fr/Nathalie.Sznajder/> (Sorbonne Université, LIP6, France) - Tony Tan <https://www.csie.ntu.edu.tw/~tonytan/> (National Taiwan University) STEERING COMMITTEE - Paul Gastin <http://www.lsv.fr/~gastin/> (LSV, ENS Paris-Saclay) - Amit Kumar <http://www.cse.iitd.ernet.in/~amitk/> (Indian Institute of Technology, Delhi) - S Krishna <https://www.cse.iitb.ac.in/~krishnas/> (Indian Institute of Technology, Bombay) - G Ramalingam <https://www.microsoft.com/en-us/research/people/grama/> (Microsoft Research, Bangalore) - Venkatesh Raman <https://www.imsc.res.in/~vraman/> (The Institute of Mathematical Sciences, Chennai) - Kavitha Telikepalli <https://www.tcs.tifr.res.in/~kavitha/> (Tata Institute of Fundamental Research, Mumbai)

1 year, 12 months

1
0
0 0

Post-doc positions in Trustworthy Software at Singapore

by Abhik Roychoudhury

Post-doc position announcement Post-doc positions are available at the National University of Singapore in the area of trustworthy software, in the group of Abhik Roychoudhury. The focus of the group in software testing and program analysis as well as related topics like trustworthy AI. Details may be found from the group website. *https://nus-tss.github.io/* The group has graduated many past PhD and post-doc alumni, with academic placements all over the world. The alumni placement track record can be seen from *https://nus-tss.github.io/team/* The National University of Singapore (/https://www.nus.edu.sg//) provides an engaging work environment. Salary and other benefits for the position are competitive. Interested applicants can email their CV to Neo Chee Yong *neocy(a)nus.edu.sg* with CC to *abhik(a)comp.nus.edu.sg* Candidates who have submitted their PhD thesis but have not received the PhD degree, are also eligible to apply. Thanks -- -Abhik Roychoudhury School of Computing National University of Singapore https://abhikrc.com

2 years

1
0
0 0

[Deadline June 30 firm] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue

by Guillermo Navarro-Arribas

[Apologies for cross-posting] CALL FOR PAPERS ****************************************************** Data Privacy Management (DPM 2023) 18th International Workshop September 25-29, 2023, The Hague, The Netherlands (co-located with ESORICS 2023 and CBT 2023) website: https://deic.uab.cat/dpm/dpm2023/ Deadline extended to June 30, 2023 --- Firm deadline --- ****************************************************** IMPORTANT DATES ====================== Submission Deadline: -- June 30, 2023 --- already extended! --- Notification: -- July 30, 2023 Camera Ready: -- August 20, 2023 ====== SCOPE ====== DPM is an annual international workshop covering research in data privacy management. Organizations are increasingly concerned about the privacy of information that they manage (as witnessed, for example, by lawsuits filed against organizations for violating the privacy of customer's data). Thus, the management of privacy-sensitive information is very critical and important for every organization. This poses several challenging problems, such as how to translate the high-level business goals into system-level privacy policies, administration of privacy-sensitive data, privacy preserving data integration and engineering, privacy preserving access control mechanisms, information-oriented security, and query execution on privacy-sensitive data for partial answers. Starting from these observations, the aim of DPM is to discuss and exchange ideas related to data privacy management. We invite papers from researchers and practitioners working in privacy, security, trustworthy data systems and related areas to submit their original papers in this workshop. Submissions by PhD students as well as controversial ideas are encouraged. Case studies (successful or not) are also encouraged. TOPICS ======== Topics of interest include, but are not limited to: - Privacy in Machine Learning - Privacy Information Management - Privacy Policy-based Infrastructures and Architectures - Privacy-oriented Access Control Languages and Models - Privacy in Trust Management - Privacy in Cryptocurrencies - Privacy Data Integration - Privacy Risk Assessment and Assurance - Privacy Services - Privacy Policy Analysis - Data Protection Regulations in Practice - Cryptographic Protocols for Privacy - Query Execution over Privacy Sensitive Data - Privacy Preserving Data Mining - Privacy for Integrity-based Computing - Privacy Monitoring and Auditing - Privacy in Social Networks - Privacy in Ambient Intelligence (AmI) Applications - Individual Privacy vs. Corporate/National Security - Privacy in computer networks - Privacy and RFIDs - Privacy and Big Data - Privacy in sensor networks - Privacy in the Internet of Things PAPER SUBMISSIONS =================== Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers can be submitted as Full Papers or Short Papers. Full papers should be at most 16 pages in the LNCS format, including the bibliography and well-marked appendices. Short papers should be at most 8 pages in the LNCS format, including the bibliography and well-marked appendices. Program Committee members are not required to read the appendices, so papers should be intelligible without them. Authors should indicate whether their paper is a short paper to differentiate them from full papers. All submissions must be written in English. It is planned to have accepted papers published by Springer in the Lecture Notes in Computer Science (LNCS) series, the LNCS template can be found at http://www.springer.com/computer/lncs/lncs+authors. Authors must submit their papers by the indicated deadline, using the EasyChair web site: https://easychair.org/conferences/?conf=dpm2023 Only PDF files will be accepted (a Latex source file will be required for the final version of the accepted papers). All papers will be refereed. Accepted papers must be presented at the Workshop. At least one author of each accepted paper must register to the workshop, by the early date indicated by the organizers, and present the paper. PROGRAM CHAIRS =============== Joaquin Garcia-Alfaro (Institut Polytechnique de Paris) Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona) PROGRAM COMMITTEE ================= Esma Aimeur (University of Montreal) Ken Barker (University of Calgary) Jordi Casas-Roma (Universitat Oberta de Catalunya) Jordi Castella-Roca (Universitat Rovira i Virgili) Mauro Conti (University of Padua) Mathieu Cunche (University of Lyon / Inria) Frederic Cuppens (Polytechnique Montreal) Nora Cuppens-Boulahia (Polytechnique Montreal) Mila Dalla Preda (University of Verona) Sabrina De Capitani di Vimercati (Universita degli Studi di Milano) Josep Domingo-Ferrer (Universitat Rovira i Virgili) Nicolas E. Diaz Ferreyra (Hamburg University of Technology) Jose M. De Fuentes (Universidad Carlos III de Madrid) Sebastien Gambs (Universite du Quebec a Montreal) Lorena Gonzalez Manzano (Universidad Carlos III de Madrid) M.Emre Gursory (KoÃ§ University) Guy-Vincent Jourdan (University of Ottawa) Marc Juarez (University of Edinburgh) Christos Kalloniatis (University of the Aegean) Bruce Kapron (University of Victoria) Sokratis Katsikas (Norwegian University of Science and Technology) Christophe Kiennert (Telecom SudParis) Hiroaki Kikuchi (Meiji University) Evangelos Kranakis (Carleton University) Romain Laborde (University Paul Sabatier Toulouse III) Patrick Lacharme (Ensicaen) Costas Lambrinoudakis (University of Piraeus) Giovanni Livraga (University of Milan) Brad Malin (Vanderbilt University) Lukas Malina (Brno University of Technology) Chris Mitchell (Royal Holloway, University of London) Benjamin Nguyen (INSA Centre Val de Loire) MartÃn Ochoa (AppGate Inc.) Gerardo Pelosi (Politecnico di Milano) Isabel Praca (GECAD / ISEP) Kai Rannenberg (Goethe University Frankfurt) Ruben Rios (Universidad de Malaga) Pierangela Samarati (Universita degli Studi di Milano) Alexandre Viejo (Universitat Rovira i Virgili) Isabel Wagner (De Montfort University) Jens Weber (University of Victoria) Lena Wiese (University of Gottingen) Nicola Zannone (Eindhoven University of Technology) Melek Onen (EURECOM) ================== VENUE/FORMAT ================== The workshop will be held in The Hague, The Netherlands, in conjunction with the 28th annual European Symposium on Research in Computer Security, ESORICS. More information on accommodation and venue available from the ESORICS 2023 website at https://esorics2023.org/ This call for papers and additional information about DPM 2023 can be found at https://deic.uab.cat/dpm/dpm2023/ Kinldy contact dpm2023(a)easychair.org in case of doubts or questions.

2 years

1
0
0 0

CFP: Fifth International Conference on Microservices

by Alessandro Bocci

International Conference on Microservices: Call for Papers ========================================================== Fifth International Conference on Microservices October 10th-12th 2023, Pisa, Italy https://www.conf-micro.services/2023/ Important Dates (EXTENDED) --------------- - Submission deadline : July 09th, 2023 (AoE) (extended) - Notification to authors: July 19th, 2023 (AoE) (extended) - Camera-ready due: July 30th, 2023 (AoE) - Early bird registration until: July 30th, 2023 (AoE) - October 10th-12th, 2023 Theme and Topics ---------------- Microservices are pervading enterprise IT, with many big companies already adopting microservice architectures to deliver their core businesses. Microservices indeed provide an alternative to traditional software architectures, which brings various additional benefits, including increased flexibility, scalability, and improved resilience to failures. Additionally, microservices allow for faster and more efficient development, as well as better collaboration between cross-functional teams. As the technology landscape continues to evolve and become more complex, the importance of microservices in building modern, scalable, and effective applications cannot be overstated. The 5th International Conference on Microservices (Microservices 2023) seeks contributions from both industry and academia covering all aspects and phases of the design and implementation of microservice architectures, as well as experiences based on daily working with them. Topics of interests include, but are not limited to, the following: - Software engineering methods for microservices, specifically (but not limited to) agile service design practices, behavior- and domain-driven design - Formal models for microservices - Programming languages, notations, and techniques for microservices - Verification (both static and runtime) of microservice systems - Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development - DevOps for microservices, in particular (but not limited to) continuous deployment and distributed monitoring - Microservices in the context of development, security, and operations (DevSecOps) - Secure by design in the context of Microservices - Microservice operation and contributor analysis - Microservice management: fault, configuration, accounting/cost, performance, security - Co-change and change impact analysis - Discovery/recovery and reverse engineering of microservices solutions - Microservice evolution - Global governance for microservices - Methodologies for identification, specification, and realization of candidate services - Patterns for cloud-native application architectures; service API design and management - Microservices infrastructure components: API gateways, side cars, and service meshes; reactive messaging brokers; service registries; service containers and cluster managers; infrastructure as code - Function-as-a-service and serverless cloud offerings; service-based event sourcing and data streaming architectures - Security and other service quality concerns (consistency, availability, recoverability) in microservices; dealing with General Data Protection Regulation (GDPR) compliance and other data privacy requirements Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development Internet technologies: services, human interactions, data analytics and AI for IoT, architecture things centric, sensor networks, security, privacy, applications - AI and Microservices (including Datasets, Open-source technology) - Cyber-physical Systems: AI/ML applications, security - Industrial case studies and applications: Data Science/Big Data, Smart Industry, Healthcare, Government, Manufacturing, Logistics and Supply Chain Management - Empirical studies of microservices adoption - Case Studies and Surveys on the topic of Microservices - Sustainable practices in the Microservices community - Education about Microservices technologies Submissions Guidelines ---------------------- A submission should describe a talk to be given at the conference in the form of extended abstracts with a maximum of two pages for talks from industry and six pages for academic presentations (including references). Submissions can be based on work in progress, scientific work published or submitted for publication, practical experience reports, or practical tool demonstrations. They must further be prepared using the TBA template, be in PDF format, printable in black and white on A4 paper, and interpretable by common PDF tools. Submissions must be in English. Contributions may be submitted via TBA. The submission deadline is June 25th, 2023 AoE. Resubmissions are allowed until the submission deadline. Contributions will be reviewed and selected by the Program Committee. Extended abstracts of accepted contributions will be available electronically before the conference. Selected contributions will be invited to submit manuscripts based on their abstracts for conference post-proceedings. Organisation ------------ General Chair: Antonio Brogi, University of Pisa (IT) Program Chairs: Tomas Cerny, Baylor University (US) Valentina Lenarduzzi, University of Oulu (FI) Jacopo Soldani, University of Pisa (IT) Industrial Liaison Chair: Claudio Guidi, italianaSoftware (IT) Publicity Chair: Alessandro Bocci, University of Pisa (IT) Philip Wizenty, University of Applied Sciences and Arts Dortmund (DE) Local Chairs: Stefano Forti, University of Pisa (IT) Steering Committee ----------------- Giulio Manzonetto, Université Sorbonne Paris Nord Fabrizio Montesi, University of Southern Denmark Sabine Sachweh, University of Applied Sciences and Arts Dortmund Program Committee ----------------- Amr S. Abdelfattah, Baylor University (USA) Nour Ali, Brunel University London (UK) Carlo Aliprandi, Extra RED (IT) Hernán Astudillo, Universidad Técnica Federico Santa Maria (CL) Luciano Baresi, Politecnico di Milano (IT) Justus Bogner, University of Stuttgart (DE) Andrea Janes, Vorarlberg University of Applied Science (AT) Ivan Lanese, University of Bologna (IT) Pavas Navaney, Oracle (USA) Phu Nguyen, SINTEF (NO) Claus Pahl, Free University of Bozen-Bolzano (IT) Florian Rademacher, RWTH Aachen University (DE) Larisa Safina, INRIA (FR) Davide Taibi, University of Oulu (FI) Pavel Tisnovsky, Red Hat (USA) Nabil El Ioini, The University of Nottingham (MY) Richard Lipka, University of West Bohemia (CZ) Muhammad Waseem, University of Jyväskylä (FI) Contact Information ------------------- Please contact us if you have questions: https://www.conf-micro.services/2023/contact/

2 years

1
0
0 0

IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Kishor Jothimurugan, an incoming Quantitative Researcher at Two Sigma. The talk is scheduled on Tuesday, June 20, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NjViM244cW…> ). 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: Specification-Guided Reinforcement Learning Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Recent advances in Reinforcement Learning (RL) have enabled data-driven controller design for autonomous systems such as robotic arms and self-driving cars. Applying RL to such a system typically involves encoding the objective using a reward function (mapping transitions of the system to real values) and then training a neural network controller (from simulations of the system) to maximize the expected reward. However, many challenges arise when we try to train controllers to perform complex long-horizon tasks---e.g., navigating a car along a complex track with multiple turns. Firstly, it is quite challenging to manually define well-shaped reward functions for such tasks. It is much more natural to use a high-level specification language such as Linear Temporal Logic (LTL) to specify these tasks. Secondly, existing algorithms for learning controllers from logical specifications do not scale well to complex tasks due to a number of reasons including the use of sparse rewards and lack of compositionality. Furthermore, existing algorithms for verifying neural network policies (trained using RL) cannot be easily applied to verify policies for complex long-horizon tasks due to large approximation errors. In this talk, I will present my work on using logical specifications to specify RL tasks. First, I'll talk about algorithms for learning control policies from such specifications. Then, I'll show how we can use logical task decompositions to scale verification to long-horizons. Bio: Kishor Jothimurugan is an incoming Quantitative Researcher at Two Sigma. He earned his PhD in Computer and Information Science from the University of Pennsylvania, where he was advised by Prof. Rajeev Alur. His research interests lie at the intersection of Formal Methods and Machine Learning. In particular, he is interested in applying formal methods to improve applicability and reliability of reinforcement learning, verifying systems with neural network components and using neurosymbolic approaches to improve program synthesis and analysis.

2 years

1
0
0 0

IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Kishor Jothimurugan, an incoming Quantitative Researcher at Two Sigma. The talk is scheduled on Tuesday, June 20, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NjViM244cW…> ). 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: Specification-Guided Reinforcement Learning Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Recent advances in Reinforcement Learning (RL) have enabled data-driven controller design for autonomous systems such as robotic arms and self-driving cars. Applying RL to such a system typically involves encoding the objective using a reward function (mapping transitions of the system to real values) and then training a neural network controller (from simulations of the system) to maximize the expected reward. However, many challenges arise when we try to train controllers to perform complex long-horizon tasks---e.g., navigating a car along a complex track with multiple turns. Firstly, it is quite challenging to manually define well-shaped reward functions for such tasks. It is much more natural to use a high-level specification language such as Linear Temporal Logic (LTL) to specify these tasks. Secondly, existing algorithms for learning controllers from logical specifications do not scale well to complex tasks due to a number of reasons including the use of sparse rewards and lack of compositionality. Furthermore, existing algorithms for verifying neural network policies (trained using RL) cannot be easily applied to verify policies for complex long-horizon tasks due to large approximation errors. In this talk, I will present my work on using logical specifications to specify RL tasks. First, I'll talk about algorithms for learning control policies from such specifications. Then, I'll show how we can use logical task decompositions to scale verification to long-horizons. Bio: Kishor Jothimurugan is an incoming Quantitative Researcher at Two Sigma. He earned his PhD in Computer and Information Science from the University of Pennsylvania, where he was advised by Prof. Rajeev Alur. His research interests lie at the intersection of Formal Methods and Machine Learning. In particular, he is interested in applying formal methods to improve applicability and reliability of reinforcement learning, verifying systems with neural network components and using neurosymbolic approaches to improve program synthesis and analysis.

2 years

1
0
0 0

CFP - ICISS 2023 - 19th International Conference on Information Systems Security (16-20 December, India)

by Madhavan Mukund

----- Forwarded message ----- Dear All, ICISS 2023 (the 19th International Conference on Information Systems Security) is accepting submissions now. Conference website: https://iciss.isrdc.in Submission link: https://easychair.org/conferences/?conf=iciss20231 CFP link: https://iciss.isrdc.in/wp-content/uploads/2023/06/cfp-iciss-2023.txt Please consider submitting to ICISS and encourage your group to participate. ______________________________________________________________________ CALL FOR PAPERS ICISS 2023 19th International Conference on Information Systems Security (December 16 - 20, 2023) NIT Raipur, India https://iciss.isrdc.in Submission Deadline: July 20, 2023 ______________________________________________________________________ The 19th ICISS will be held at the National Institute of Technology (NIT) Raipur between December 16 and 20, 2023. This annual conference provides a forum for researchers and industry practitioners of security to present their cutting-edge research and use case experiences. We solicit previously unpublished technical papers in the field of Security & Privacy. Papers that involve innovative solutions, usability studies, longitudinal studies, industrial use cases, and SoK are welcome. This year, we will also accept PoCs of security applications under a separate demo track and allow submission of artefacts; a separate call will be announced on the conference website in due course of time. A broad but non-exhaustive list of topics of interest is as below: ...................................................................... SYSTEMS SECURITY ACCESS CONTROL OS, VM, containers, cloud Authentication, MFA Network: SDN, NFV, SD-WAN Authorization model/policy IoT, RFID, SCADA systems PKI & Trust management Communication Protocols Information flow control IDS, IPS, SIEM, XDR, etc Honeypot, Botnet, etc PRIVACY PETs, anonymization tech APPLICATION SECURITY Deidentification attacks Vulnerabilities, DevSecOps Surveillance & Censorship API security, WAF, OWASP Inference, correlation Static/Binary analysis, Zero trust Malware, Ransomware, APTs HARDWARE SECURITY Remote attestation, PUFs BLOCKCHAIN Trojans, Backdoors, FPGA Cryptocurrency, stablecoins TEE, TRNG, 2FA, wallets Interoperability, scalability Smart contracts, concurrency DIDs, NFTs, CBDCs, AML EMERGING TECH/STANDARDS ChatGPT, LaMDA, Dall-E 2, etc Security-by-design, SBOM SECURITY IN AI/ML Privacy-by-design, STIX/TAXII Adversarial learning/inputs Bias, fairness, explainability Model stealing, poisoning S&P USE CASES Trustworthiness e-voting, e-gov, smart cities Deep fakes, misinformation COVID-19 contact tracing ...................................................................... All submissions must be written in English; the PDF version should not exceed 20 pages; including the bibliography and appendices. Authors must use the LNCS template to create the manuscript. The conference proceedings will appear in the Springer LNCS series. Proceedings of past editions are available at: https://dblp.org/db/conf/iciss. The extended versions of a select few accepted papers will be invited for publication in the Indian Academy of Science's journal Sadhana. Further details will be made available on the conference website in due course of time. Submission Link: https://easychair.org/conferences/?conf=iciss20231 *** The BEST PAPER award is sponsored by IDRBT Hyderabad. *** Important Dates (in AoE): Submission deadline: July 20 Acceptance notification: Sep 15 Camera-ready deadline: Sep 25 Steering Committee: Venu Govindaraju, University of Buffalo Sushil Jajodia, George Mason University Somesh Jha, University of Wisconsin Atul Prakash, University of Michigan Pierangela Samarati, University of Milan RK Shyamasundar, IIT Bombay General Chair: R.K. Shyamasundar, IIT Bombay Program Chairs: Vallipuram Muthukkumarasamy, Griffith University Sithu D Sudarsan, CDAC Bangalore Related Links: [Conference Website] https://iciss.isrdc.in [Call for Papers] https://iciss.isrdc.in/wp-content/uploads/2023/05/ICISS-2023-CFP-v3.1.pdf https://iciss.isrdc.in/wp-content/uploads/2023/06/cfp-iciss-2023.txt [Call for Tutorials/PhD Forum] https://iciss.isrdc.in/tutorials/ [Submissions] https://easychair.org/conferences/?conf=iciss20231 ______________________________________________________________________ Contact: ivishwas(a)gmail.com ______________________________________________________________________ ----- End forwarded message -----

2 years

1
0
0 0

FSTTCS 2023 - Call for papers

by Shibashis Guha

December 18-20, 2023 at IIIT Hyderabad [1], India Website: https://www.fsttcs.org.in/2023/ FSTTCS 2023 is the 43rd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS [2], the Indian Association for Research in Computing Science, in association with ACM India [3]. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. IMPORTANT DATES (all dates are AoE) Abstract Submission: July 12, 2023 Paper Submission: July 19, 2023 Notification: September 22, 2023 Camera Ready: October 5, 2023 Conference: December 18-20, 2023 Workshops: TBA PAPER SUBMISSION FSTTCS 2023 solicits high quality papers reporting research results to the topics mentioned below. Submissions must be in electronic form via EasyChair [4] using the LIPIcs LaTeX style file available here [5]. Submissions must not exceed 15 pages (excluding bibliography and a clearly marked appendix containing technical details). The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) [6] as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license [7]. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference. TOPICS TRACK A * Algebraic Complexity * Algorithms and Data Structures * Algorithmic Graph Theory and Combinatorics * Approximation Algorithms * Combinatorial Optimization * Communication Complexity * Computational Biology * Computational Geometry * Computational Learning Theory * Cryptography and Security * Data Streaming and Sublinear algorithms * Economics and Computation * Parallel, Distributed and Online Algorithms * Parameterized Complexity * Proof Complexity * Quantum Computing * Randomness in Computing * Theoretical Aspects of Mobile and High-Performance Computing TRACK B * Automata, Games and Formal Languages * Logic in Computer Science * Modal and Temporal Logics * Models of Concurrent, Distributed and Mobile Systems * Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems * Model Theory * Principles and Semantics of Programming Languages * Program Analysis and Transformation * Security protocols * Specification, Verification and Synthesis * Theorem Proving and Decision Procedures PROGRAM COMMITTEE TRACK A * Siddharth Barman [8] (The Indian Institute of Science, Bengaluru, India) * Arnab Bhattacharyya [9] (National University of Singapore, Singapore) * Parinya Chalermsook [10] (Aalto University, Finland) * Sivakanth Gopi [11] (Microsoft Research Redmond, USA) * Karthik C.S. [12] (Rutgers University, USA) * Venkata Koppula [13] (IIT Delhi, India) * Rucha Kulkarni [14] (University of Illinois, Urbana-Champaign, USA) * Mrinal Kumar [15] (TIFR, Mumbai, India) * Paloma Lima [16] (IT University of Copenhagen, Denmark) * Meena Mahajan [17] (The Institute of Mathematical Sciences, Chennai, India) * Nikhil Mande [18] (University of Liverpool, UK) * Neeldhara Misra [19] (IIT Gandhinagar, India) * Sagnik Mukhopadhyay [20] (University of Sheffield, UK) * Meghana Nasre [21] (IIT Madras, India) * Noga Ron-Zewi [22] (University of Haifa, Israel) * Chris Schwiegelshohn [23] (University of Aarhus, Denmark) * Srikanth Srinivasan [24] (University of Aarhus, Denmark) - Track A chair TRACK B * Aiswarya C. [25] (Chennai Mathematical Institute, India) * Guy Avni [26] (University of Haifa, Israel) * Francesco Belardinelli [27] (Imperial College, UK) * Dietmar Berwanger [28] (CNRS, LMF, France) * Patricia Bouyer [29] (CNRS, LMF France) - Track B chair * Arnaud Carayol [30] (Université Gustave Eiffel, LIGM, France) * Supratik Chakraborty [31] (IIT Bombay, India) * Lorenzo Clemente [32] (University of Warsaw, Poland) * Ugo Dal Lago [33] (Università di Bologna, Italy) * P. Madhusudan [34] (University of Illinois, Urbana-Champaign, USA) * Pavithra Prabhakar [35] (Kansas State University, USA) * Prakash Saivasan [36] (The Institute of Mathematical Science, Chennai, India) * Abhisekh Sankaran [37] (Tata Consultancy Services Research, Pune, India) * B. Srivathsan [38] (Chennai Mathematical Institute, India) * Nathalie Sznajder [39] (Sorbonne Université, LIP6, France) * Tony Tan [40] (National Taiwan University) STEERING COMMITTEE * Paul Gastin [41] LSV, ENS Paris-Saclay * Amit Kumar [42] Indian Institute of Technology, Delhi (Chair) * S Krishna [43] Indian Institute of Technology, Bombay * G Ramalingam [44] Microsoft Research, Bangalore * Venkatesh Raman [45] The Institute of Mathematical Sciences, Chennai * Kavitha Telikepalli [46] Tata Institute of Fundamental Research, Mumbai Links: ------ [1] https://www.iiit.ac.in/ [2] http://www.iarcs.org.in/ [3] https://india.acm.org/ [4] https://easychair.org/my/conference?conf=fsttcs2023 [5] https://submission.dagstuhl.de/documentation/authors [6] https://www.dagstuhl.de/en/publications/lipics/ [7] https://creativecommons.org/licenses/by/3.0/ [8] https://www.csa.iisc.ac.in/~barman/ [9] https://www.comp.nus.edu.sg/~arnab/ [10] https://sites.google.com/site/parinyachalermsook/ [11] https://www.microsoft.com/en-us/research/people/sigopi/ [12] http://karthikcs.org/ [13] https://web.iitd.ac.in/~kvenkata/ [14] https://ruchark2.web.engr.illinois.edu/ [15] https://mrinalkr.bitbucket.io/ [16] https://www.ii.uib.no/~palomal/ [17] https://www.imsc.res.in/~meena/ [18] https://mande-nikhil.github.io/ [19] https://iitgn.ac.in/faculty/cse/neeldhara [20] https://sagnikm.github.io/ [21] http://www.cse.iitm.ac.in/~meghana/ [22] https://sites.google.com/view/nogazewi [23] https://cs.au.dk/~schwiegelshohn/ [24] https://cs.au.dk/~srikanth/ [25] https://www.cmi.ac.in/~aiswarya/ [26] https://sites.google.com/view/gavni [27] https://www.doc.ic.ac.uk/~fbelard/ [28] http://www.lsv.fr/~dwb/ [29] http://www.lsv.fr/~bouyer/ [30] http://www-igm.univ-mlv.fr/~carayol/ [31] https://www.cse.iitb.ac.in/~supratik/ [32] https://sites.google.com/view/lorenzoclemente/ [33] https://udallago.github.io/ [34] https://madhu.cs.illinois.edu/ [35] https://people.cs.ksu.edu/~pprabhakar/ [36] https://www.imsc.res.in/prakash_saivasan [37] https://abhisekhs.github.io/ [38] https://www.cmi.ac.in/~sri/ [39] https://pages.lip6.fr/Nathalie.Sznajder/ [40] https://www.csie.ntu.edu.tw/~tonytan/ [41] http://www.lsv.fr/~gastin/ [42] http://www.cse.iitd.ernet.in/~amitk/ [43] https://www.cse.iitb.ac.in/~krishnas/ [44] https://www.microsoft.com/en-us/research/people/grama/ [45] https://www.imsc.res.in/~vraman/ [46] https://www.tcs.tifr.res.in/~kavitha/

2 years

1
0
0 0

[June 16] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue, The Hague, The Netherlands, September 2023

by Guillermo Navarro-Arribas

[Apologies for cross-posting] CALL FOR PAPERS ****************************************************** Data Privacy Management (DPM 2023) 18th International Workshop September 25-29, 2023, The Hague, The Netherlands (co-located with ESORICS 2023 and CBT 2023) website: https://deic.uab.cat/dpm/dpm2023/ ****************************************************** IMPORTANT DATES ====================== Submission Deadline: -- June 16, 2023 Notification: -- July 30, 2023 Camera Ready: -- August 20, 2023 ====== SCOPE ====== DPM is an annual international workshop covering research in data privacy management. Organizations are increasingly concerned about the privacy of information that they manage (as witnessed, for example, by lawsuits filed against organizations for violating the privacy of customer's data). Thus, the management of privacy-sensitive information is very critical and important for every organization. This poses several challenging problems, such as how to translate the high-level business goals into system-level privacy policies, administration of privacy-sensitive data, privacy preserving data integration and engineering, privacy preserving access control mechanisms, information-oriented security, and query execution on privacy-sensitive data for partial answers. Starting from these observations, the aim of DPM is to discuss and exchange ideas related to data privacy management. We invite papers from researchers and practitioners working in privacy, security, trustworthy data systems and related areas to submit their original papers in this workshop. Submissions by PhD students as well as controversial ideas are encouraged. Case studies (successful or not) are also encouraged. TOPICS ======== Topics of interest include, but are not limited to: - Privacy in Machine Learning - Privacy Information Management - Privacy Policy-based Infrastructures and Architectures - Privacy-oriented Access Control Languages and Models - Privacy in Trust Management - Privacy in Cryptocurrencies - Privacy Data Integration - Privacy Risk Assessment and Assurance - Privacy Services - Privacy Policy Analysis - Data Protection Regulations in Practice - Cryptographic Protocols for Privacy - Query Execution over Privacy Sensitive Data - Privacy Preserving Data Mining - Privacy for Integrity-based Computing - Privacy Monitoring and Auditing - Privacy in Social Networks - Privacy in Ambient Intelligence (AmI) Applications - Individual Privacy vs. Corporate/National Security - Privacy in computer networks - Privacy and RFIDs - Privacy and Big Data - Privacy in sensor networks - Privacy in the Internet of Things PAPER SUBMISSIONS =================== Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers can be submitted as Full Papers or Short Papers. Full papers should be at most 16 pages in the LNCS format, including the bibliography and well-marked appendices. Short papers should be at most 8 pages in the LNCS format, including the bibliography and well-marked appendices. Program Committee members are not required to read the appendices, so papers should be intelligible without them. Authors should indicate whether their paper is a short paper to differentiate them from full papers. All submissions must be written in English. It is planned to have accepted papers published by Springer in the Lecture Notes in Computer Science (LNCS) series, the LNCS template can be found at http://www.springer.com/computer/lncs/lncs+authors. Authors must submit their papers by the indicated deadline, using the EasyChair web site: https://easychair.org/conferences/?conf=dpm2023 Only PDF files will be accepted (a Latex source file will be required for the final version of the accepted papers). All papers will be refereed. Accepted papers must be presented at the Workshop. At least one author of each accepted paper must register to the workshop, by the early date indicated by the organizers, and present the paper. PROGRAM CHAIRS =============== Joaquin Garcia-Alfaro (Institut Polytechnique de Paris) Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona) PROGRAM COMMITTEE ================= Esma Aimeur (University of Montreal) Ken Barker (University of Calgary) Jordi Casas-Roma (Universitat Oberta de Catalunya) Jordi Castella-Roca (Universitat Rovira i Virgili) Mauro Conti (University of Padua) Mathieu Cunche (University of Lyon / Inria) Frederic Cuppens (Polytechnique Montreal) Nora Cuppens-Boulahia (Polytechnique Montreal) Mila Dalla Preda (University of Verona) Sabrina De Capitani di Vimercati (Universita degli Studi di Milano) Josep Domingo-Ferrer (Universitat Rovira i Virgili) Nicolas E. Diaz Ferreyra (Hamburg University of Technology) Jose M. De Fuentes (Universidad Carlos III de Madrid) Sebastien Gambs (Universite du Quebec a Montreal) Lorena Gonzalez Manzano (Universidad Carlos III de Madrid) Guy-Vincent Jourdan (University of Ottawa) Marc Juarez (University of Edinburgh) Christos Kalloniatis (University of the Aegean) Bruce Kapron (University of Victoria) Sokratis Katsikas (Norwegian University of Science and Technology) Christophe Kiennert (Telecom SudParis) Hiroaki Kikuchi (Meiji University) Evangelos Kranakis (Carleton University) Romain Laborde (University Paul Sabatier Toulouse III) Patrick Lacharme (Ensicaen) Costas Lambrinoudakis (University of Piraeus) Giovanni Livraga (University of Milan) Brad Malin (Vanderbilt University) Lukas Malina (Brno University of Technology) Chris Mitchell (Royal Holloway, University of London) Benjamin Nguyen (INSA Centre Val de Loire) Martín Ochoa (AppGate Inc.) Gerardo Pelosi (Politecnico di Milano) Isabel Praca (GECAD / ISEP) Kai Rannenberg (Goethe University Frankfurt) Ruben Rios (Universidad de Malaga) Pierangela Samarati (Universita degli Studi di Milano) Alexandre Viejo (Universitat Rovira i Virgili) Isabel Wagner (De Montfort University) Jens Weber (University of Victoria) Lena Wiese (University of Gottingen) Nicola Zannone (Eindhoven University of Technology) Melek Onen (EURECOM) This call for papers and additional information about DPM 2023 can be found at https://deic.uab.cat/dpm/dpm2023/ Kinldy contact dpm2023(a)easychair.org in case of doubts or questions

2 years

1
0
0 0

CRiSIS 2023 CfP: The 18th International Conference on Risks and Security of Internet and Systems

by Guillermo Navarro-Arribas

*************************************************************************** CALL FOR PAPERS *************************************************************************** (Apologies if you receive multiple copies of this CFP) 18th International Conference on Risks and Security of Internet and Systems (CRiSIS 2023). https://crisis-conference.org/ 6-8 Dec, 2023, Rabat, Morocco IMPORTANT DATES ---------------------------- Submission deadline: June 23th, 2023 Notification of acceptance: August 10th, 2023 Camera-ready paper due: September 23nd, 2023 The International Conference on Risks and Security of Internet and Systems 2023 will be the 18th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defense, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. TOPICS ----------- We target contributions from both academia and industrials on the following topics, but not limited to: - AI and machine learning based security approaches - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Authorization, Authentication, and Identity Management - Blockchain and Distributed Ledger Technologies - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical, and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Analysis and management of cyber crisis - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security in Cloud/Edge/Fog computing - Security models and security policies - Security of big data - Security of industrial control systems - Security of intelligent transportation systems - Security of e-commerce, electronic voting and database systems - Security of new generation networks - Security of smart cities - Security of smart grid - Security of social networks - Security of the IoT and IIoT - Security of VoIP and multimedia - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Ubiquitous computing security - Use of smart cards and personal devices for Internet applications - Virtualization security - Web and Web-service security PAPER SUBMISSION ----------------------------- Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style. (http://www.springer.de/comp/lncs/authors.html) Authors must upload their paper as PDF file using the EasyChair submission system: https://easychair.org/conferences/?conf=crisis2023 GENERAL CHAIRS ---------------------- - Redouane Benaini, Mohammed V University, Morocco - Frédéric Cuppens, Polytechnique Montreal, Canada - Nora Cuppens, Polytechnique Montreal, Canada PROGRAM COMMITTEE CHAIRS ---------------------- - Abderrahim Ait Wakrime, Mohammed V University, Morocco - Guillermo Navarro-Arribas, Autonomous University of Barcelona, Spain PUBLICITY CHAIRS ---------------------- - Slim Kallel, University of Sfax, Tunisia - Khadija Slimani, LDR-ESIEA Paris, France ORGANIZING COMMITTEE ---------------------- - Yassine Ouhammou, LIAS/ISAE-ENSMA, France - Abderrahim Ait Wakrime, Mohammed V University, Morocco - Meryam Belhiah, Mohammed V University, Morocco - Ayoub Nfissi, Mohammed V University, Morocco - Mouad Ben Mamoun, Mohammed V University, Morocco - Ahmed El-yahyaoui, Mohammed V University, Morocco - Abderrahmane Ez-zahout, Mohammed V University, Morocco

2 years, 1 month

1
0
0 0

2025

2024

2023

2022

FMIndia