From madhavan at cmi.ac.in Tue Mar 2 12:18:24 2021 From: madhavan at cmi.ac.in (Madhavan Mukund) Date: Tue, 2 Mar 2021 12:18:24 +0530 Subject: [FM-India] 1st CFP: ICISS-2021 - 17th International Conference on Information Systems Security (December 17-19, IIT Patna, India) Message-ID: <20210302064820.nno4jbafqskg3zpe@cmi.ac.in> ----- Forwarded message from NVNarendra Kumar ----- Date: Tue, 2 Mar 2021 06:46:49 +0000 From: NVNarendra Kumar To: "fmindia at cmi.ac.in" Subject: 1st CFP: ICISS-2021 - 17th International Conference on Information Systems Security (December 17-19, IIT Patna, India) CALL FOR PAPERS ICISS 2021 ---------- The 17th International Conference on Information Systems Security IIT Patna, India December 17 - 19, 2021 https://www.iitp.ac.in/~iciss2021 ICISS solicits previously unpublished research in all areas of security and privacy including building, experimenting with and attacking secure systems, techniques & tools for security analysis, and theoretical topics related to security. We encourage submissions from academia, industry, and government. Over the past several years, the average acceptance rate is less than 30%. The past proceedings of the conference are published by Springer as part of LNCS series. ** Submission deadline: June 15, 2021 (AoE) ** Notifications: September 15, 2021 (AoE) ** Camera-ready: October 15, 2021 (AoE) Topics of interest include but are not limited to: Access control Distributed systems security Operating systems security Language-based security Network security Software security Application security Web security Privacy and anonymity PKI & Key management Security Audit Secure data streams Cyber-physical systems Malware analysis Authentication Authorization Vulnerability analysis Biometric security Cloud security Usable security IoT Security Security testing Digital forensics Intrusion detection and recovery Smartphone security Digital rights management Threat modeling Identity management AI/ML for security Security for AI Blockchains & Cryptocurrencies Digital payments Botnets and Honeypots Formal models of security Sensor, ad-hoc network security Submissions can be made in the following two categories: 1) Regular papers: manuscripts under this category are complete, mature research works. The length of regular papers, including well marked appendices, should not exceed 20-pages in LNCS style. 2) WiP papers: work-in-progress manuscripts facilitate early dissimination of work that are promising but yet not complete. The length of WiP papers, including well marked appendices, should not exceed 12-pages in LNCS style. WiP papers must clearly identify the goals of the work and the technical approach, and include enough initial development to demonstrate viability of the approach. The title must be prefixed with "WiP:" to clearly indicate that the submission is a WiP paper. Papers must be written in English and submitted in the Springer Verlag LNCS Latex or Word style in PDF format, via the link given below. The review process is single-blind, meaning that author names will be visible to reviewers. The extended versions of selected and accepted papers will be invited for publication in the Indian Academy of Sciences' journal - SADHANA. Submission portal: https://cmt3.research.microsoft.com/User/Login?ReturnUrl=%2FICISS2021 ** ICISS will also have a BEST PAPER AWARD. ---------------------------------------------------------------------- General Chair: - R.K. Shyamasundar, IIT Bombay, India Program Chairs: - Rajiv Ranjan, Newcastle University, UK - Somanath Tripathy, IIT Patna, India Publicity Chairs: - Devki Nandan Jha, University of Oxford, UK - N.V. Narendra Kumar, IDRBT Hyderabad, India - Vishwas T Patil, IIT Bombay, India ICISS 2021 Committees: www.iitp.ac.in/~iciss2021/committees.html ---------------------------------------------------------------------- ----- End forwarded message ----- From gopal at annauniv.edu Mon Mar 8 16:46:02 2021 From: gopal at annauniv.edu (gopal at annauniv.edu) Date: Mon, 08 Mar 2021 16:46:02 +0530 Subject: [FM-India] IEEE SSIT 21CW2020: 22 - 25 July 2021 : CEG Campus, Chennai, India : Call For Papers: Deadline 20 March 2021 Message-ID: <141ad9a6619541ec30bbf8647646067e@annauniv.edu> 21CW2020: IEEE SSIT 3rd Conference on Norbert Wiener in the 21st Century CEG Campus, Anna University Chennai, India, July 22-25, 2021 Conference website http://21stcenturywiener.org/ Anna University Portal: https://www.annauniv.edu/pdf/Brochure_21CW2020_1Oct2020.pdf Submission link https://easychair.org/conferences/?conf=21cw2020 Submission deadline March 20, 2021 Theme Being Human in a Global Village IEEE Conference Number 48944 The phrase ?Global Village? was coined by Canadian media theorist and philosopher Marshall McLuhan to describe how the propagation of media technologies creates an ever-more interconnected world. McLuhan was deeply influenced by the work of Norbert Wiener, a mathematician, technologist, and philosopher whose work in cybernetics brought ideas like ?complexity, computing, communications, and control? to the quest for a General Systems Theory. Wiener?s work offered a comprehensive blend of theory and practice spanning across the ?Global Village,? and this conference pays tribute to both the global dimension of his legacy and his ethical commitment to valorizing human freedom and autonomy within a society increasingly dominated by cybernetic systems. 21CW2020: ?Being Human in a Global Village? is the third in a series of conferences initiated by the IEEE Society on Social Implications of Technology (SSIT), following events in Boston (2014) and Melbourne (2016). The 2020 event invites us to consider how we ? as policy makers, parents, citizens, business owners, researchers, humans ? need to be proactively preparing for a new world in light of the challenges coming our way in the form of artificial intelligence, or machine learning. For instance, young people need to be flexible and adaptable as the workplace in 20 years? time will be very different from today. This conference will have three general themes: The state of technologies initiated by Wiener. The social impact of those technologies. Wiener?s 1950s engagement and travels in India. More specifically, we invite participants to consider how Wiener?s work resonates with various contemporary interpretations of the concept ?global village.? For example, literary scholar Sue-Im?s claims that it has come to designate ?the dominant term for expressing a global coexistence altered by transnational commerce, migration, and culture,? while Thomas Friedman defines of the global village as a world ?tied together into a single globalized marketplace and village.? Contemporary cybernetics began as an interdisciplinary study connecting the fields of control systems, electrical network theory, mechanical engineering, logic modeling, evolutionary biology, neuroscience, anthropology, and psychology in the 1940s, through the Macy Conferences. Studies in cybernetics provide a means for examining the design and function of any system, including social systems such as business management and organizational learning, achieving both effective and human functioning. We invite innovative session proposals, and paper, student poster and practitioner submissions that consider Wiener's work from perspectives across applied, physical, and social sciences, as well as the humanities, fine arts, and professional/industry practice. The areas of interest for this conference include and not limited to: Evolution of Cybernetics Theories of Mind, Cognition and the Nervous System Information Feedback and Control Theory Norbert Wiener ? The Person What Technology Wants Space ? Wiener Crater on the Far Side of the Moon Ethics and Artificial Intelligence Submission Guidelines We invite the following types of submissions: Full papers for peer-review and publication in IEEE Xplore (must be original and not simultaneously submitted to another journal or conference; 2500-3500 words) Abstracts for paper or poster presentations not to be published in IEEE Xplore (250-350 words) Proposals for workshops, panels, roundtable discussions, or other innovative sessions related to the conference theme (please explain relevance to theme; 250-500 words) Authors preparing full papers should consult IEEE conference templates for guidelines on composing and formatting conference papers. Please ensure that all template text is removed prior to submission: https://www.ieee.org/conferences/publishing/templates.html Submission Link: https://easychair.org/conferences/?conf=21cw2020 Important Dates 20 March 2021: Regular call for peer-reviewed papers and abstract-only submissions (decision by 15 April 2021) 31 May 2021: Final submission of accepted peer-reviewed papers due, and last call for abstract-only submissions (decision by 15 June 2021) List of Topics Architecture Artificial Intelligence Cognitive Computing in Theory and Practice Cybernetics ? Science, Technology, Literature, Arts and Design Cyber-physical systems Cyber Security Cyber Warfare and Crime Cyborgs Egocentric Perception, Interaction and Computing Fuzzy Sets Game Theory Human Computer Interaction Information Ethics Information Theory Innovation and Economic Development Life Sciences Machine Learning Measurement Theory Organization Theory Perceptual Control Theory Psychology - Neuropsychology, Behavioral Psychology, Cognitive Psychology Philosophy Robotics and Industrial Automation Science and Technology Studies Science Fiction as Social Commentary Sociology Technology as a prosthetic device and human factor enhancer Uncertainty and Paradox Committees Organizing Committee Patron: Prof. M K Surappa, Vice Chancellor, Anna University, Chennai Conference Chair: Prof. T V Gopal, Department of Computer Science and Engineering, CEG Campus, Anna University, Chennai Finance Chair: Mr. C R Sasi, Formerly Chairman IEEE Madras Section Planning Chair: Prof. T Srinivas, Indian Institute of Science., Bengaluru Publicity Chair: Dr. Vijaykumar Varadarajan, University of New South Wales, Australia Organizing Chair: Dr. E. Natarajan, Dean, CEG Campus, Anna University, Chennai HOST Department: Dr. S Valli, Head of the Department, DCSE, CEG Campus, Anna University, Chennai Dr. T V Geetha, Formerly Dean, CEG Campus, Anna University, Chennai Program Committee Program Chair: Prof. Greg Adamson, University of Melbourne, Australia Publications and Communications Chair: Dr. Heather Love, University of Waterloo, Canada Publication All peer-reviewed papers 21CW2020 proceedings will be submitted to IEEEXplore for publication. Venue The conference is a part of the 225 years celebrations of the College of Engineering, Guindy Campus, Anna University, Chennai and will be held in the Vivekananda Auditorium, the CEG TAG Auditorium and the Henry - Maudslay Hall located within this campus. Contact All questions about submissions should be emailed to Dr. T V Gopal, Conference Chair, 21CW2020 ; From Andre.Etienne at lipn13.fr Tue Mar 9 19:59:53 2021 From: Andre.Etienne at lipn13.fr (=?UTF-8?B?w4l0aWVubmUgQW5kcsOp?=) Date: Tue, 9 Mar 2021 15:29:53 +0100 Subject: [FM-India] TASE 2021: deadline extension Message-ID: <9cf2d347-2479-300f-098c-379838fe9e62@lipn13.fr> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The 15th International Symposium on Theoretical Aspects of Software Engineering (TASE 2021) https://tase2021.github.io/ Aug. 25-27, Shanghai, China +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ News: -> Deadline extended to March 21, 2021 (AoE) -> Special issue of SCP is confirmed TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. The proceedings of the TASE 2021 symposium will be published by the IEEE Computer Society Press. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programs journal. Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: ? Abstract interpretation ? Algebraic and co-algebraic specifications ? AI for formal methods ? Component-based software engineering ? Cyber-physical systems ? Deductive verification ? Distributed and concurrent systems ? Domain Engineering ? Embedded and real-time systems ? Feature-oriented software ? Formal methods, verification and testing for AI systems ? Run-time verification and monitoring ? Semantic web and web services ? Service-oriented and cloud computing ? Software processes and workflows ? Software architectures and design ? Formal verification and program semantics ? Fundamental theories and techniques for trustworthy AI systems ? Integration of formal methods ? Language design ? Model checking and theorem proving ? Model-driven engineering ? Object-oriented systems ? Probability in software engineering ? Program analysis ? Program logics and calculi ? Requirements engineering ? Reverse engineering and software maintenance ? Software testing and quality assurance ? Software safety, security and reliability ? Specification and verification ? Type systems and behavioral typing ? Tools exploiting theoretical results ---------------------------------------------------------------------------------- IMPORTANT DATES: Abstract Submission: February 28, 2021 (not necessary even if missed) Paper Submission: March 7 , 2021 (extended to March 21, 2021, AoE) Author Notification: May 7, 2021 Camera-ready versions: May 31, 2021 Conference: August 25-27, 2021 ---------------------------------------------------------------------------------- ORGANIZATION: * General Chairs: Jifeng He (Shanghai Academy of Artificial Intelligence Industrial Technology, CN) Mingsong Chen (East China Normal University, CN) * Invited Speakers Moshe Vardi (Rice University, US) Kokichi Futatsugi (JAIST, JP) Hai Jin (HUST, CN) * Program Chairs: Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, Japan) Min Zhang (East China Normal University, China) * Program Committee: Erika Abraham (RWTH Aachen University, DE) Yamine Ait Ameur (Toulouse National Polytechnique Institute, FR) Toshiaki Aoki (JAIST, JP) Cyrille Valentin Artho (KTH Royal Institute of Technology, SE) ?tienne Andr? (Universit? de Lorraine, FR) Lu?s Soares Barbosa (University of Minho, PT) Richard Banach (The University of Manchester, UK) Michael Butler (University of Southampton, UK) Marcello Bonsangue (Leiden University, NL) Yunja Choi (Kyungpook National University, KR) Florin Craciun (Babes-Bolyai University, RO) Liqian Chen (National University of Defense Technology, CN) Marmsoler Diego (University of Exeter, UK) Kim Guldstrand Larsen (Aalborg University, DK) Guoqiang Li (Shanghai Jiaotong University, CN) Fuyuki Ishikawa (National Institute of Informatics, JP) Shaoying Liu (Hosei University, JP) Dominique Mery (Universit? de Lorraine, FR) Frederic Mallet (Universite Nice Sophia-Antipolis, FR) Masaki Nakamura (Toyama Prefectural University, JP) Shin Nakajima (National Institute of Informatics, JP) Jun Pang (University of Luxembourg, LU) Yu Pei (The Hong Kong Polytechnic University, CN) Adrian Riesco (Universidad Complutense de Madrid, ES) Meng Sun (Peking University, CN) Rob van Glabbeek (CSIRO, AU) Zhiwu Xu (Shenzhen University, CN) Hongji Yang (Leicester University, UK) Akihisa Yamada (National Institute of Informatics, JP) Yongwang Zhao (Zhejiang University, CN) Naijun Zhan (Institute of Software, CAS, CN) Huibiao Zhu (East China Normal University, CN) *Publicity Chairs: ?tienne Andr? (Universit? de Lorraine, France) Guoqiang Li (Shanghai Jiaotong University, China) ---------------------------------------------------------------------------------- SUBMISSION GUIDELINES Paper submissions must be made electronically in PDF format via the EASYCHAIR website (https://easychair.org/conferences/?conf=tase2021). Papers must be original and not be submitted to or under review at any other conferences and journals. papers are limited to 8 pages, in camera-ready format using IEEE Conference template, included in the registration fee. TASE 2021 is referenced by https://www.conferences-computer.science/ From guillermo.navarro at uab.cat Fri Mar 12 21:23:09 2021 From: guillermo.navarro at uab.cat (Guillermo Navarro-Arribas) Date: Fri, 12 Mar 2021 16:53:09 +0100 Subject: [FM-India] DPM2021 - cfp - Data Privacy Management Int.Workshop [ESORICS-2021] Message-ID: CALL FOR PAPERS ****************************************************************** 16th International Workshop on Data Privacy Management (DPM 2021) October 4-8, 2021, Darmstadt, Germany (co-located with ESORICS 2021) https://deic-web.uab.cat/conferences/dpm/dpm2021/ ****************************************************************** IMPORTANT DATES ====================== Deadlines: -- Spring Cycle: March 26, 2021 -- Summer Cycle: July 16, 2021 Notifications: -- Spring Cycle: April 26, 2021 -- Summer Cycle: August 20, 2021 Camera Ready: -- Spring Cycle: May 26, 2021 -- Summer Cycle: September 10, 2021 =============== EVENT FORMAT =============== As a satellite event of the ESORICS symposium, DPM will be organised as a hybrid workshop: digitally with remote participation and talks and physically with presence in Darmstadt. The health and safety of the symposium participants is our number one priority hence the digital part may be increased depending on the development of COVID-19. This new format will not affect our proceedings, which will be published as Springer LNCS proceedings. ====== 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 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 (at https://easychair.org/conferences/?conf=dpm2021). 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) - Miquel Soriano (Universitat Politecnica de Catalunya) PROGRAM COMMITTEE ================= - Ken Barker (University of Calgary) - Elisa Bertino (Purdue University) - Jordi Casas-Roma (Universitat Oberta de Catalunya) - Mauro Conti (University of Padua) - Frederic Cuppens (Polytechnique Montreal) - Nora Cuppens-Boulahia (Polytechnique Montreal) - Sabrina De Capitani di Vimercati (University of Milan) - Josep Domingo-Ferrer (Universitat Rovira i Virgili) - Sara Foresti (University of Milan) - Jose M. De Fuentes (Universidad Carlos III de Madrid) - Sebastien Gambs (Universite du Quebec ? Montreal) - Javier Herranz (Universitat Politecnica de Catalunya) - Marc Juarez (University of Southern California) - Christos Kalloniatis (University of the Aegean) - Florian Kammueller (Middlesex University London) - Sokratis Katsikas (Norwegian University of Science and Technology) - Hiroaki Kikuchi (Meiji University) - Evangelos Kranakis (Carleton University) - Alptekin Kupcu (Koc University) - Costas Lambrinoudakis (University of Piraeus) - Maryline Laurent (Institut Mines-Telecom) - Giovanni Livraga (University of Milan) - Brad Malin (Vanderbilt University) - Chris Mitchell (Royal Holloway, University of London) - Martin Ochoa (AppGate Inc.) - Melek Onen (EURECOM) - Gerardo Pelosi (Politecnico di Milano) - Silvio Ranise (Fundazione Bruno Kessler) - Kai Rannenberg (Goethe University Frankfurt) - Ruben Rios (Universidad de Malada) - Pierangela Samarati (University of Mila) - Vicenc Torra (Umea University) - Yasuyuki Tsukada (Kanto Gakuin University) - 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) SPONSORS ========= The UNESCO Chair in Data Privacy will offer stipends to offset some of the costs associated with participating in the DPM workshop for participants coming from transition countries, which we define as those having GDP per capita less than 20000 international dollars, according to the World Bank's list. Priority will be given to authors and students. Interested participants please send a mail with your vitae to dpm2021 at easychair.org This call for papers and additional information about the conference can be found at https://deic-web.uab.cat/conferences/dpm/dpm2021/ From gopal at annauniv.edu Mon Mar 15 21:25:21 2021 From: gopal at annauniv.edu (gopal at annauniv.edu) Date: Mon, 15 Mar 2021 21:25:21 +0530 Subject: [FM-India] Invitation: 3rd Scientific Conference with International Participation Innovative STEM Education [STEMEDU-2021] : 25-27.04.2021 Message-ID: <611d552f15b6bfe691c00742e909d50d@annauniv.edu> INVITATION Third Scientific Conference with International Participation Innovative STEM Education Veliko Tarnovo, Bulgaria & online (ZOOM) Third Scientific Conference with International Participation Innovative STEM Education (STEMEDU-2021) will be held on 25-27.04.2021 (STEM - Science, technology, engineering and mathematics). The forum STEMEDU-2021 is interdisciplinary, continuing and broadening the ideas set out in the previous conferences STEMEDU with new interdisciplinary areas. In 2021, a broad-based interpretation of innovative educational technologies will be leading, with a special aspect of the forum being innovation, accessibility technologies and the application of new mathematical methods in medicine and other scientific fields. Within the framework of STEMEDU-2020 reports of scientists and young specialists from Bulgaria and abroad will be presented: scientific reports - up to 20 min; messages - up to 10 minutes and posters. Accompanying events: The second workshop Cardio2: Study of the application of new mathematical methods for analyzing cardiac data. Cardio2 is funded by grant ??-06-?22/5 of the Research Fund with contractors: Institute of Robotics, Institute of Mathematics and Informatics and Medical University ? Varna. Sesion Innovative educational technology. First information workshop AB: Accessibility technologies for people with special needs (partially financed by grant KP-06-N42 / 4 of the Research Fund with contractors: Institute of Mathematics and Informatics and Institute of Robotics. The results of the conference after the review will be published in an online collection Science Series "Innovative STEM Education", Book 3, 2021, ISSN: 2683-1333. Participation in the conference can be done via ZOOM. WEBSITE: www.stemedu.eu EMAIL: stemedu.eu at gmail.com PLACE: Veliko T?rnovo and online (ZOOM) DATES: 25-27.04.2021 OPENING: 26.04.2021 WORKING LANGUAGE: Bulgarian, English REQUESTS FOR REPORTS: (title and abstract) DEADLINE: until 20.03.2021 CONFIRMATION FOR RECEIPT: until 25.03.2021 FULL PAPERS: until 20.04.2021 FORMAT Online proceeding CONFERENCE PROGRAM: 22.04.2021 Online program ORGANIZERS: Bulgarian Academy of Sciences: Institute of Mathematics and Informatics, Institute of Robotics, Regonal Academy Center - Veliko Tarnovo (RAC); Technical University - Gabrovo; ?edical University - Varna, Branch Veliko Tarnovo and with the assistance of the Territorial Organization of the Scientific and Technical Unions - Veliko Tarnovo and the Union of Mathematicians in Bulgaria. CONTACTS: stemedu.eu at gmail.com Assoc. Prof. Dr. Galina Bogdanova - Institute of Mathematics and Informatics, tel: +359 88 8221825, e-mail: g.bogdanova at gmail.com Prof. DSc Stefka Buyuklieva - Veliko T?rnovo University and RAC, e-mail: stefka at ts.uni-vt.bg Prof. DSc Stoyan Kapralov - Technical University of Gabrovo, e-mail: s.kapralov at gmail.com Gopal T V 0 9840121302 https://vidwan.inflibnet.ac.in/profile/57545 https://www.facebook.com/gopal.tadepalli ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Dr. T V Gopal Professor Department of Computer Science and Engineering College of Engineering Anna University Chennai - 600 025, INDIA Ph : (Off) 22351723 Extn. 3340 (Res) 24454753 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ From Paolo.Ceravolo at unimi.it Mon Mar 22 02:00:40 2021 From: Paolo.Ceravolo at unimi.it (Paolo Ceravolo) Date: Sun, 21 Mar 2021 21:30:40 +0100 Subject: [FM-India] FIP W.G. 2.6 International Symposium on Data-Driven Process Discovery and Analysis Message-ID: # SIMPDA 2021 ## ELEVENTH INTERNATIONAL SYMPOSIUM ON DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS ### In conjunction with the 25th European Conference on Advances in Databases and Information Systems ? ADBIS 2021 ? Tartu, Estonia, August 24-26, 2021 [http://simpda2021.di.unimi.it](http://simpda2021.di.unimi.it) ### AN ACTIVITY FROM THE [IEEE TASK FORCE ON PROCESS MINING](https://www.win.tue.nl/ieeetfpm/doku.php?id=start) ## About SIMPDA The increasing automation of business processes and the growing amounts of process data become available opens new research opportunities for business process data analysis, mining, and modeling. The aim of the *IFIP W.G. 2.6 International Symposium on Data-Driven Process Discovery and Analysis* is to offer a forum where researchers from different communities and the industry can share their insight in this hot new field. The Symposium will feature a number of advanced *research papers*, shorter presentations on recent research, a competitive *Ph.D. seminar* and selected research and *industrial demonstrations*. This year the symposium will be held in Tartu, in cunjunction with the ADBIS conference. ###Call for Papers The **IFIP W.G. 2.6** *International Symposium on Data-Driven Process Discovery and Analysis* **(SIMPDA 2021)** offers a unique opportunity to present new approaches and research results to researchers and practitioners working in business process data modelling, representation, and privacy-aware analysis. The symposium will bring together leading researchers, engineers, and scientists from around the world. Full papers must not exceed 12 pages. Short papers are limited to at most 6 pages. All papers must be original contributions, not previously published or under review for publication elsewhere. All contributions must be written in English and must follow the **CCIS template** and **Springer** paper preparation rules, see: [https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines](https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). ### Call for post-Proceedings The authors of the accepted papers will be invited to submit extended articles to a post-symposium proceedings volume which will be published in the **LNBIP series** [Lecture Notes in Business Information Processing](http://www.springer.com/series/7911), scheduled for late 2020 (extended papers length will be between 7000 and 9000 words). Around 5-8 papers will be selected for publication after a second round of review. ### Topics Topics of interest for submission include, but are not limited to: * Business process modeling languages, notations, and methods * Lightweight process model * Data-aware and data-centric approaches * Big Data process representation and management * Online Process Mining * Process mining with Big Data * Variability and configuration of process models * Process simulation and static analyses * Process data query languages * Process data mining * Process data visualization and reporting * Privacy-aware process data mining * Process metadata and semantic reasoning * Process patterns and standards * Foundations of business process models * Resource management in business process execution * Process tracing and monitoring * Process change management and evolution * Business process lifecycle * Case studies and experience * Social process discovery * Crowdsourced process definition and discovery ### Call for Ph.D. Research Plans The SIMPDA Ph.D. Seminar is a workshop for **Ph.D. students** from all over the world. The goal of the Seminar is to help students with their thesis and research plans by providing feedback and general advice on how to use their research results. Students interested in participating in the Seminar should submit an extended abstract describing their research. Submissions can relate to any aspect of Process Data: technical advances, usage and impact studies, policy analyses, social and institutional implications, theoretical contributions, interaction and design advances, innovative applications, and social implications. **Research plans** should be at most of 6 page long and should be organised following the following structure: * Abstract: summarises, in 5 line, the research aims and significance. * Research Question: defines what will be accomplished by eliciting the relevant the research questions. * Background: defines the background knowledge providing the 5 most relevant references (papers or books). * Significance: explains the relevance of the general topic and of the specific contribution. * Research design and methods: describes and motivates the method adopted focusing on: assumptions, solutions, data sources, validation of results, limitations of the approach. * Research stage: describes what the student has done so far. ### SIMPDA Ph.D. award A doctoral award will be given by the SIMPDA Ph.D. Jury to the best research plan submitted. ### CALL for Demonstrations Demonstrations showcase innovative technology and applications, allowing for sharing research work directly with colleagues in a high-visibility setting. Demonstration proposals should consist of a title, an extended abstract, and contact information for the authors, and should not exceed 12 pages. ### Submission Guidelines Contributions to all calls should be submitted electronically to the Symposium management system connecting to [https://easychair.org/conferences/?conf=adbis2021](https://easychair.org/conferences/?conf=adbis2021). At least one author of each accepted paper is expected to participate in the conference and present his/her work. The papers submitted must be sent in PDF, following CCIS template and Springer paper preparation rules, see: [https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines](https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) ### Important Dates | Milestone | Deadline| | ------ | ------ | | Paper Submission| April 9, 2021| | Notification of Acceptance| May 14, 2021| | Submission of Camera Ready Papers| June 11 2021| | Symposium| August 24 2021| | Post-proceeding submissions| 30 January 2022| ## Organizers ### CHAIRS * Paolo Ceravolo, Universit? degli Studi di Milano, Italy * Maurice van Keulen, University of Twente, The Netherlands * Maria Teresa Gomez Lopez, University of Seville, Spain ### Program Committee Han van der Aa, University of Mannheim Edgar Weippl, University of Vienna Angel Jesus Varela Vaca, University of Seville Wil Van der Aalst, RWTH Aachen University Pnina Soffer, University of Haifa Robert Singer, FH JOANNEUM Tamara Quaranta, Amazon Dublin Mirjana Pejic-Bach, Faculty of Economics & Business Luisa Parody, Universidad Loyola Andaluc?a Haralambos Mouratidis, University of Brighton Raimundas Matulevicius, University of Tartu Maria Leitner, University of Vienna & AIT Austrian Institute of Technology Carlos Fernandez-Llatas, Universitat Polit?cnica de Val?ncia Chiara Di Francescomarino, Fondazione Bruno Kessler-IRST Beno?t Depaire, Hasselt University Angelo Corallo, Universit? del Salento Faiza Allah Bukhsh, University of Twente Karima Boudaoud, University of Nice Sophia Antipolis Helen Balinsky, Hewlett Packard Laboratories Chintan Amrit, University of Amsterdam From madhavan at cmi.ac.in Mon Mar 22 14:49:32 2021 From: madhavan at cmi.ac.in (Madhavan Mukund) Date: Mon, 22 Mar 2021 14:49:32 +0530 Subject: [FM-India] Formal analysis/verification/reasoning PostDoc jobs at Oxford Message-ID: <20210322091927.qwi4sobqmgk25n7o@cmi.ac.in> ----- Forwarded message from Yogananda Jeppu ----- Date: Mon, 22 Mar 2021 14:08:36 +0530 From: Yogananda Jeppu To: "fmindia at cmi.ac.in" Subject: Formal analysis/verification/reasoning PostDoc jobs at Oxford. Message from Prof Tom Melham Oxford I have three postdoc positions available in my group at Oxford, all for research funded under the UK?s Digital Security by Design programme. The programme is creating an experimental implementation (with Arm), software stack, applications, and tools for a new architecture that includes ?capability pointers? for enhanced, platform-enforced cyber-security. I?m looking for people interested to do formal analysis ? e.g. bounded model checking ? of HW/SW systems or just SW, hardware verification researchers (or people wanting to get into the field), automated reasoning researchers, or others who would like to join one of two collaborative projects funded in the programme. The projects have industrial partners and involve two separate groups at Manchester as well. We?re flexible about the start dates, given the current situation. http://www.cs.ox.ac.uk/news/1898-full.html http://www.cs.ox.ac.uk/news/1899-full.html ----- End forwarded message ----- From abhik at comp.nus.edu.sg Mon Mar 22 14:52:56 2021 From: abhik at comp.nus.edu.sg (Abhik Roychoudhury) Date: Mon, 22 Mar 2021 17:22:56 +0800 Subject: [FM-India] Post-doc position in Trustworthy Software Systems In-Reply-To: <20210322091927.qwi4sobqmgk25n7o@cmi.ac.in> References: <20210322091927.qwi4sobqmgk25n7o@cmi.ac.in> Message-ID: <6d0a3111-e03e-bb96-94e9-2d2c3870e93f@comp.nus.edu.sg> *_Job Title _*Research Fellow/Senior Research fellow for National Satellite of Excellence in Trustworthy Software Systems (https://www.comp.nus.edu.sg/~nsoe-tss/ ) *_Job Description _*This research center aims to enhance our national capabilities in trustworthy smart system infrastructures and build on our strengths in software security, and smart systems to build an array of point technologies, leading to certification capabilities of software systems.We plan to combine the strengths of both universities to provide a plethora of capabilities for software certification and validation, with focus on software for embedded systems, IoT and CPS. ?The person will be based at NUS in the lab of Prof. Abhik Roychoudhury, Director of National Satellite of Excellence in Trustworthy Software Systems. Please see these links to get an idea about the relevant research background. https://www.comp.nus.edu.sg/~abhik/projects/Repair/index.html https://www.comp.nus.edu.sg/~abhik/projects/Fuzz/ ? *_Job Requirements _*Applicant should have a demonstrated successful track-record of prior research work in related areas. Research Fellow must hold a PhD in a relevant area. Publications in top conferences and journals in security, software engineering, programming languages are necessary. Applicants with background in program analysis, verification and constraint solving are particularly welcome. The term of appointment will be 1-2 years and is extendible, upon review of satisfactory performance. The selected candidate will be offered strongly competitive salaries and benefits, and substantial freedom to build up a strong research profile of their own. Any interested candidates can contact abhik at comp.nus.edu.sg -Abhik Roychoudhury School of Computing National University of Singapore https://www.comp.nus.edu.sg/~abhik From alcaraz at lcc.uma.es Wed Mar 24 12:10:25 2021 From: alcaraz at lcc.uma.es (Cristina Alcaraz) Date: Wed, 24 Mar 2021 07:40:25 +0100 Subject: [FM-India] [CFW - *** deadline approaching *** ]: CALL FOR WORKSHOPS IEEE ATC 2021 - 18th IEEE International Conference on Advanced and Trusted Computing Message-ID: <8558d488114d4c2f99f6db28d3f9094c@lcc.uma.es> ====================================================================================== CALL FOR WORKSHOPS IEEE ATC 2021 18th IEEE International Conference on Advanced and Trusted Computing Atlanta, USA October 18-21, 2021 Website: http://www.ieeesmartworld.org ====================================================================================== OVERVIEW: Advances in technologies and our society will also result in an integration of our real, cyber, and virtual worlds to form smart, and cyber-physical socially aware and integrated hyper worlds. Underpinning such worlds are advanced computing (AC) infrastructure and trusted computing (TC) applications and services. For example, a robust and resilient AC infrastructure can support TC applications and services, in order to provide secure and/or privacy-preserving communications, as well as ensuring computing and communication systems and services are available, predictable, accountable, controllable, assessable, sustainable, dependable, persistent, and secure. Proposals are solicited for Workshops to be held in conjunction with IEEE ATC 2021. A Workshop should aim at providing a forum on emerging topics of high interest to the security and privacy community working on advanced and trusted technologies. IMPORTANT DATES: * Workshop proposals due: March 30, 2021 * Notification of decision: April 15, 2021 ====================================================================================== WORKSHOP CHAIRS AND SUBMISSION: - Cristina Alcaraz, University of Malaga, Spain - Reza M. Parizi, Kennesaw State University, USA - Tianqing Zhu, University of Technology Sydney, Australia Submission via email to: ieeeatc2021.workshops at gmail.com For further details, visit http://www.ieeesmartworld.org/atc/ From Gabriel.Tavares at unimi.it Thu Mar 25 03:09:05 2021 From: Gabriel.Tavares at unimi.it (Gabriel Marques Tavares) Date: Wed, 24 Mar 2021 22:39:05 +0100 Subject: [FM-India] Eleventh International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA) Message-ID: <7e76b6e43e969.605bbf89@unimi.it> SIMPDA 2021 ELEVENTH INTERNATIONAL SYMPOSIUM ON DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS(http://simpda2021.di.unimi.it) In conjunction with the 25th European Conference on Advances in Databases and Information Systems ? ADBIS 2021 ? Tartu, Estonia, August 24-26, 2021 AN ACTIVITY FROM THE IEEE?TASK FORCE ON PROCESS MINING(https://www.win.tue.nl/ieeetfpm/doku.php?id=start) About SIMPDA The increasing automation of business processes and the growing amounts of process data become available opens new research opportunities for business process data analysis, mining, and modeling. The aim of the?IFIP W.G. 2.6 International Symposium on Data-Driven Process Discovery and Analysis?is to offer a forum where researchers from different communities and the industry can share their insight in this hot new field. The Symposium will feature a number of advanced?research papers, shorter presentations on recent research, a competitive?Ph.D. seminar?and selected research and?industrial demonstrations. This year the symposium will be held in Tartu, in cunjunction with the ADBIS conference. Call for Papers The?IFIP W.G. 2.6 International Symposium on Data-Driven Process Discovery and Analysis?(SIMPDA 2021) offers a unique opportunity to present new approaches and research results to researchers and practitioners working in business process data modelling, representation, and privacy-aware analysis. The symposium will bring together leading researchers, engineers, and scientists from around the world. Full papers must not exceed 12 pages. Short papers are limited to at most 6 pages. All papers must be original contributions, not previously published or under review for publication elsewhere. All contributions must be written in English and must follow the?CCIS template?and?Springer?paper preparation rules, see:?https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Call for post-Proceedings The authors of the accepted papers will be invited to submit extended articles to a post-symposium proceedings volume which will be published in the?LNBIP series?Lecture Notes in Business Information Processing(http://www.springer.com/series/7911), scheduled for early 2022 (extended papers length will be between 7000 and 9000 words). Around 5-8 papers will be selected for publication after a second round of review. Topics Topics of interest for submission include, but are not limited to: * Business process modeling languages, notations, and methods * Lightweight process model * Data-aware and data-centric approaches * Big Data process representation and management * Online Process Mining * Process mining with Big Data * Variability and configuration of process models * Process simulation and static analyses * Process data query languages * Process data mining * Process data visualization and reporting * Privacy-aware process data mining * Process metadata and semantic reasoning * Process patterns and standards * Foundations of business process models * Resource management in business process execution * Process tracing and monitoring * Process change management and evolution * Business process lifecycle * Case studies and experience * Social process discovery * Crowdsourced process definition and discovery Call for Ph.D. Research Plans The SIMPDA Ph.D. Seminar is a workshop for?Ph.D. students?from all over the world. The goal of the Seminar is to help students with their thesis and research plans by providing feedback and general advice on how to use their research results. Students interested in participating in the Seminar should submit an extended abstract describing their research. Submissions can relate to any aspect of Process Data: technical advances, usage and impact studies, policy analyses, social and institutional implications, theoretical contributions, interaction and design advances, innovative applications, and social implications. Research plans?should be at most of 6 page long and should be organised following the following structure: * Abstract: summarises, in 5 line, the research aims and significance. * Research Question: defines what will be accomplished by eliciting the relevant the research questions. * Background: defines the background knowledge providing the 5 most relevant references (papers or books). * Significance: explains the relevance of the general topic and of the specific contribution. * Research design and methods: describes and motivates the method adopted focusing on: assumptions, solutions, data sources, validation of results, limitations of the approach. * Research stage: describes what the student has done so far. SIMPDA Ph.D. award A doctoral award will be given by the SIMPDA Ph.D. Jury to the best research plan submitted. CALL for Demonstrations Demonstrations showcase innovative technology and applications, allowing for sharing research work directly with colleagues in a high-visibility setting. Demonstration proposals should consist of a title, an extended abstract, and contact information for the authors, and should not exceed 12 pages. Submission Guidelines Contributions to all calls should be submitted electronically to the Symposium management system connecting to?https://easychair.org/conferences/?conf=adbis2021. At least one author of each accepted paper is expected to participate in the conference and present his/her work. The papers submitted must be sent in PDF, following CCIS template and Springer paper preparation rules, see:?https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Important Dates Paper Submission: April 9, 2021 Notification of Acceptance: May 14, 2021 Submission of Camera Ready Papers: June 11, 2021 Symposium: August 24, 2021 Post-proceeding submissions: 30 January, 2022 Organizers CHAIRS * Paolo Ceravolo, Universit? degli Studi di Milano, Italy * Maurice van Keulen, University of Twente, The Netherlands * Maria Teresa Gomez Lopez, University of Seville, Spain Program Committee Han van der Aa, University of Mannheim Edgar Weippl, University of Vienna Angel Jesus Varela Vaca, University of Seville Wil Van der Aalst, RWTH Aachen University Pnina Soffer, University of Haifa Robert Singer, FH JOANNEUM Tamara Quaranta, Amazon Dublin Mirjana Pejic-Bach, Faculty of Economics & Business Luisa Parody, Universidad Loyola Andaluc?a Haralambos Mouratidis, University of Brighton Raimundas Matulevicius, University of Tartu Maria Leitner, University of Vienna & AIT Austrian Institute of Technology Carlos Fernandez-Llatas, Universitat Polit?cnica de Val?ncia Chiara Di Francescomarino, Fondazione Bruno Kessler-IRST Beno?t Depaire, Hasselt University Angelo Corallo, Universit? del Salento Faiza Allah Bukhsh, University of Twente Karima Boudaoud, University of Nice Sophia Antipolis Helen Balinsky, Hewlett Packard Laboratories Chintan Amrit, University of Amsterdam From madhavan at cmi.ac.in Mon Mar 29 11:27:12 2021 From: madhavan at cmi.ac.in (Madhavan Mukund) Date: Mon, 29 Mar 2021 11:27:12 +0530 Subject: [FM-India] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021 Message-ID: <20210329055707.scdwkgd6rewsadvm@cmi.ac.in> ----- Forwarded message from Natarajan Shankar ----- Date: Sun, 28 Mar 2021 18:50:14 -0700 From: Natarajan Shankar To: "shankar at csl.sri.com" Subject: Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021 Tenth Summer School on Formal Techniques , May 22 - May 28, 2020 (http://fm.csl.sri.com/SSFT21) ? [Due to the pandemic, the Tenth Summer School on Formal Techniques that was ?? postponed from 2020 will be virtual this year.] Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the tenth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. ============================================================= The lecturers at? the school include: * Thomas Reps (University of Wisconsin) ? Algebraic Program Analysis: Automating Abstract Interpretation * Natasha Sharygina (University of Lugano, Switzerland) ? SMT-streamlined Software Model Checking * Warren A. Hunt, Jr. and J Strother Moore (University of Texas) ? Proving Properties of Algorithms, Hardware, and Software with ACL2 * Jose Meseguer (University of Illinois at Urbana-Champaign) ? Executable Formal Specification and Verification in Maude The main lectures in the summer school start on Monday May 24 and ?will be preceded by a background course on logic on Saturday May 22 and ?Sunday May 23: * Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole Polytechnique) ? Speaking Logic ============================================================= The summer school also include several distinguished invited talks. Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 http://fm.csl.sri.com/SSFT16 http://fm.csl.sri.com/SSFT17 http://fm.csl.sri.com/SSFT18 http://fm.csl.sri.com/SSFT19 Jay Bosamiya of CMU has blogged about the 2018 Summer School at https://www.jaybosamiya.com/blog/2018/05/31/ssft/ ======================================================================= Registration is at the URL: http://fm.csl.sri.com/SSFT21 ? Those who already registered for the 2020 event need not re-register, and you will be contacted to check if you would like your registration to be processed. Although the summer school is virtual and there is no registration fee, attendance is restricted to registered participants. Attendees who complete the summer school will receive a certificate by mail. Applications should be submitted together with names of two references (preferably advisors, professors, or senior colleagues). ? Applicants are urged to submit their applications before April 30, 2021, since there are only a limited number of spaces available. We strongly encourage the participation of women and under-represented minorities in the summer school. ----- End forwarded message ----- From madhavan at cmi.ac.in Tue Mar 30 17:23:21 2021 From: madhavan at cmi.ac.in (Madhavan Mukund) Date: Tue, 30 Mar 2021 17:23:21 +0530 Subject: [FM-India] Call for Nominations: VCLA International Student Awards 2021 Message-ID: <20210330115307.2cjqxto6yo6ibycc@cmi.ac.in> ----- Forwarded message from "Traxler, Alexandra" ----- Date: Tue, 30 Mar 2021 11:33:16 +0000 From: "Traxler, Alexandra" To: "Traxler, Alexandra" Subject: Call for Nominations: VCLA International Student Awards 2021 The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: -Outstanding Master Thesis Award* -Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between November 15th, 2019 and December 31st, 2020 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- -Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). -Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. -Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). -Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- -The Outstanding Master Thesis Award: 1200 EUR -The Outstanding Undergraduate Thesis Award: 800 EUR -The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows ---------------------------------- Eligibility ---------------------------------- -The degree must have been awarded between November 15th, 2019 and December 31st, 2020 (inclusive). -Submissions already submitted to the VCLA Awards 2020 cannot be re-submitted. -Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: -A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university -An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest -The CV of the nominated person, including publication list (if applicable) -An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at. -The full thesis All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- -Nominations should be submitted electronically by the applicants using the following link to EasyChair here -Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis -The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at -The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. -The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- -Submission deadline: April 30th, 2021 (anywhere on Earth) -Notification of decision: After July 15th, 2021 -Award ceremony: Depending on the COVID-19 situation ---------------------------------- Contact ---------------------------------- Please send all inquiries to award at logic-cs.at ---------------------------------- Website with the information on the award committee, and the previous awardees ---------------------------------- https://logic-cs.at/vcla-international-student-awards-2021 ----- End forwarded message -----