[TYPES/announce] FORMATS'22: second call for papers
speakers and participants. Depending on the pandemic situation, a decision whether to cancel the physical component of CONFEST or not will be made by the end of June 2022. For any questions, feel free to contact the program chairs Sergiy Bogomolov (sergiy.bogomo...@ncl.ac.uk) and David Parker (d.a.par...@cs.bham.ac.uk). ORGANISATION Program Chairs • Sergiy Bogomolov (UK) • David Parker (UK) Artifact Evaluation Chairs • Akshay Rajhans (USA) • Paolo Zuliani (UK) Publicity Chair • Gethin Norman (UK) Special Track Chair • Alessandro Abate (UK) Program Committee • Alessandro Abate (UK) • Parosh Aziz Abdulla (Sweden) • Erika Abraham (Germany) • Bernhard Aichernig (Austria) • Nicolas Basset (France) • Nathalie Bertrand (France) • Sergiy Bogomolov (co-chair, UK) • Lei Bu (China) • Milan Ceska (Czech Republic) • Thao Dang (France) • Catalin Dima (France) • Rayna Dimitrova (Germany) • Mirco Giacobbe (UK) • Radu Grosu (Austria) • Arnd Hartmanns (The Netherlands) • Hsi-Ming Ho (UK) • Peter Gjøl Jensen (Denmark) • Taylor Johnson (USA) • Sebastian Junges (Netherlands) • Joost-Pieter Katoen (Germany) • Sophia Knight (USA) • Matthieu Martel (France) • Gethin Norman (UK) • Miroslav Pajic (USA) • David Parker (co-chair, UK) • Igor Potapov (UK) • Christian Schilling (Denmark) • Ana Sokolova (Austria) • Sadegh Soudjani (UK) • Stavros Tripakis (USA) • Jana Tumova (Sweden) • Naijun Zhan (China) Steering Committee • Rajeev Alur (USA) • Eugene Asarin (France) • Martin Fränzle (chair, Germany) • Thomas A. Henzinger (Austria) • Joost-Pieter Katoen (Germany) • Kim G. Larsen (Denmark) • Oded Maler (founding chair, France) (1957-2018) • Pavithra Prabhakar (USA) • Mariëlle Stoelinga (The Netherlands) • Wang Yi (Sweden)
[TYPES/announce] FORMATS 2022: first call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FORMATS 2022: FIRST CALL FOR PAPERS 20th International Conference on Formal Modeling and Analysis of Timed Systems https://urldefense.com/v3/__https://conferences.ncl.ac.uk/formats2022/__;!!IBzWLUs!BOHDApCNnQCOFEiQZ7lgTzcsyd6Ga9ps_1WJzpfji_AcrOivq0VZ-TKJIgc7Yim4EW5Im6bW4GMx6Q$ 12-17 September 2022, Warsaw, Poland co-located with CONCUR, FMICS and QEST as part of CONFEST 2022 SCOPE & TOPICS FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems. Typical topics include (but are not limited to): • Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). • Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving). • Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics). New for this year, FORMATS will incorporate a special track on: • Learning-based and data-driven systems: We particularly encourage papers that exploit synergies between the formal analysis of timed systems and data-driven techniques (such as reinforcement learning or deep learning), or which target application domains where learning is important (such as robotics or autonomous systems). PAPER SUBMISSION FORMATS 2022 solicits high-quality papers reporting research results, experience reports and/or tools related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Two categories of papers are invited: • Regular papers, which should not exceed 15 pages in length • Short papers, which should not exceed 7 pages in length Both page limits exclude references, which are not limited in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers should be submitted electronically via the EasyChair online submission system: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=formats2022__;!!IBzWLUs!BOHDApCNnQCOFEiQZ7lgTzcsyd6Ga9ps_1WJzpfji_AcrOivq0VZ-TKJIgc7Yim4EW5Im6btbrXVaQ$ ARTIFACT EVALUATION This year, FORMATS is encouraging authors to submit artifacts where appropriate, for example to demonstrate how to reproduce experimental data in a research paper or to examine the usability and applicability of a software tool. Artifacts will be submitted and evaluated only for papers accepted for publication. These will be evaluated by the Artifact Evaluation Committee and those that are accepted will receive a repeatability badge to be displayed on the first page of the published version. PUBLICATION AND BEST PAPER AWARD The proceedings of FORMATS 2022 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. IMPORTANT DATES • Abstract submission: 19 April 2022 • Paper submission: 22 April 2022 • Acceptance notification: 17 June 2022 • Artifact submission deadline: 24 June 2022 • Camera-ready copy deadline: 15 July 2022 • Conference: 12-17 September 2022 CONFEST 2022, which includes FORMATS 2022, is currently planned as a physical, in-person event with support for remote presence for speakers and participants. Depending on the pandemic situation, a decision whether to cancel the physical component of CONFEST or not will be made by the end of June 2022. For any questions, feel free to contact the program chairs Sergiy Bogomolov (sergiy.bogomo...@ncl.ac.uk) and David Parker (d.a.par...@cs.bham.ac.uk). ORGANISATION Program Chairs • Sergiy Bogomolov (UK) • David Parker (UK) Artifact Evaluation Chairs • Akshay Rajhans (USA) • Paolo Zuliani (UK) Publicity Chair • Gethin Norman (UK) Spe
[TYPES/announce] ICALP 2021 Second Call for Workshops
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == ICALP 2021 Second Call for Workshops and Tutorials == *** It has now been decided that ICALP 2021 and its workshops will be online-only, hosted by the University of Glasgow, UK. *** As the decision for online workshops has now been confirmed, we are sending out a second call for those that want to take advantage of the logistics of this format. ICALP 2021 (http://easyconferences.eu/icalp2021/) will take place on the 13th - 16th of July 2021 in Glasgow, United Kingdom. The conference will be preceded by one day of workshops, held on July 12th. We invite proposals for workshops (or tutorials) affiliated with ICALP 2021 on all topics covered by ICALP, as well as other areas of theoretical computer science. Proposals should be submitted no later than *** February 19th, 2021 *** by sending an email to the workshop selection committee (details at the end of the call). You should expect notification on the acceptance of your proposal within one week. A workshop or tutorial proposal submission should consist of: - workshop's name and URL (if already available) - workshop's organisers together with their email addresses and web pages; - short description of the area covered by the workshop and the motivation behind it; - expected number of participants (if available, please include the data of previous years); - planned format of the event. As for the format, a standard option is a full one-day workshop consisting of invited talks by leading experts and of shorter contributed talks, either directly invited by the organisers or selected among submissions. Deviations from this standard are also warmly welcome, including a shorter or a longer time span than a full day, or other elements of the schedule like open problem sessions, discussion panels, or working sessions. If you plan to have invited speakers, please specify their expected number and, if possible, tentative names. If you plan a call for papers or for contributed talks followed by a selection procedure, the submission date should be scheduled after ICALP 2021 notification (April 28, 2021), while the notification should take place before the early registration deadline. In your submission please include details on the schedule, planned procedure of selecting papers and/or contributed talks. If you plan to have published proceedings of your workshop, please provide the name of the publisher. Please be advised that ICALP 2021 is not able to provide any financial support for publishing workshop proceedings. Important dates: Workshop Proposals Deadline: Friday February 19, 2021 Workshop Notification: Monday Friday February 26, 2021 Workshops: Monday July 12, 2021 Conference: Tuesday July 13 - Friday July 16, 2021 Workshop selection committee: Ornela Dardha ornela.dar...@glasgow.ac.uk Gethin Norman gethin.nor...@glasgow.ac.uk
[TYPES/announce] FLoC 2018 Call for Workshops
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross posting] FLoC 2018 — The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ CALL FOR WORKSHOPS The Seventh Federated Logic Conference (FLoC 2018) will host the following nine conferences and affiliated workshops. CAV (30th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: Hana Chockler hana.chock...@kcl.ac.uk CSF (31st IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Cas Cremers cas.crem...@cs.ox.ac.uk FM (23rd International Symposium on Formal Methods) http://www.fmeurope.org/?page_id=221 Workshop chair: Helen Treharne h.treha...@surrey.ac.uk FSCD (3rd International Conference on Formal Structures for Computation and Deduction) http://fscdconference.org/ Workshop chair: Paula Severi pg...@le.ac.uk ICLP (35th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Stefan Woltran wolt...@dbai.tuwien.ac.at IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chair: Alberto Griggio grig...@fbk.eu ITP (9th International Conference on Interactive Theorem Proving) http://itp2017.cic.unb.br Workshop chair: Assia Mahboubi assia.mahbo...@inria.fr LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Patricia Bouyer bou...@lsv.ens-cachan.fr SAT (21st International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Martina Seidl martina.se...@jku.at SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2018. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre, mid or post FLoC). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Submission instructions will follow shortly from http://www.floc2018.org/workshops/ For further information on FLoC 2018 see http://www.floc2018.org IMPORTANT DATES Submission of workshop proposals deadline: June 19, 2017 Notification: July 31, 2017 Pre-FLoC workshops: Saturday & Sunday, July 7-8, 2018 Mid-FLoC workshops: Friday July 13, 2018 Post-FLoC workshops: Wednesday & Thursday, July 18-19, 2018 Note mid-FLoC workshops are expected be one day in duration, however we can consider two-day workshops under exceptional circumstance (details should be included in the proposal). CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: gethin.nor...@glasgow.ac.uk FLoC 2018 WORKSHOP CHAIR Gethin Norman University of Glasgow
[TYPES/announce] QAPL 2011 Call For Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] *** CALL FOR PARTICIPATION Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL2011) Affiliated with ETAPS 2011 April 1-3, 2011, Saarbruecken, Germany http://www.dcs.gla.ac.uk/qapl11/ *** PROGRAMME: The programme for the workshop is available from: http://www.dcs.gla.ac.uk/qapl11/qapl11_programme.html REGISTRATION Registration is through the ETAPS registration page: http://www.etaps.org/registration Details on the venue, local information and accommodation are also available through the ETAPS site: http://www.etaps.org INVITED SPEAKERS: * Prakash Panangaden, McGill University, Canada Equivalences for Partially Observable Markov Decision Processes * Erik de Vink, Technische Universiteit Eindhoven, the Netherlands Decorating and Model Checking Stochastic Reo Connectors SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues ORGANIZATION: PC Chairs: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, York University, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Mieke Massink, CNR-ISTI, Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, University of Glasgow, UK * David Parker, University of Oxford, UK * Anne Remke, University of Twente, the Netherlands * Jeremy Sproston, University of Torino, Italy * Herbert Wiklicky, Imperial College London, UK * Verena Wolf, Saarland University, Germany The University of Glasgow, charity number SC004401
[TYPES/announce] QAPL 2011 Call For Presentation reports/Abstracts
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] *** CALL FOR PRESENTATION REPORTS/ABSTRACTS Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011) Affiliated with ETAPS 2011 April 1-2, 2011, Saarbrucken, Germany http://www.dcs.gla.ac.uk/qapl11/ *** SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues TOPICS: Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, and Resource analysis. INVITED SPEAKERS: * Prakash Panangaden, McGill University, Canada. * Erik de Vink, Technische Universiteit Eindhoven, the Netherlands. SUBMISSIONS: Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognized conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. Submissions must be in PDF format and use the EPTCS latex style, see http://style.eptcs.org/. Submissions can be made on the following website: http://www.easychair.org/conferences/?conf=qapl11 The reports will receive a light weight review to establish their relevance for the workshop. The authors are expected to present and discuss their work at the workshop. Publication of a selection of the papers in a special issue of a journal is under consideration. IMPORTANT DATES: * Submission: January 24, 2011 * Notification: January 26, 2011 ORGANIZATION: PC Chairs: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, York University, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Susanne Graf, Verimag, France * Marcus Groesser, Technical University Dresden, Germany * Mieke Massink, CNR-ISTI, Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, University of Glasgow, UK * David Parker, University of Oxford
[TYPES/announce] QAPL 2011 Second Call For Papers
: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, York University, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Mieke Massink, CNR-ISTI, Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, University of Glasgow, UK * David Parker, University of Oxford, UK * Anne Remke, University of Twente, the Netherlands * Jeremy Sproston, University of Torino, Italy * Herbert Wiklicky, Imperial College London, UK * Verena Wolf, Saarland University, Germany The University of Glasgow, charity number SC004401
[TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Special Issue of THEORETICAL COMPUTER SCIENCE on Quantitative Aspects of Programming Languages and Systems http://qav.comlab.ox.ac.uk/qapl10/special_issue.html -- SECOND CALL FOR PAPERS We invite the submission of papers on Quantitative Aspects of Programming Languages and Systems for publication in a special issue of the Journal of Theoretical Computer Science (TCS). Papers are welcome which are revised versions of the works submitted to and presented at the QAPL 2010 Workshop, Paphos, Cyprus, March 27-28. We will also welcome submissions of papers not presented at QAPL 2010, provided they fall into the scope of the call and contain a clear and novel contribution to the field. SCOPE Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, risk and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. This special issue will be devoted to research papers which discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, contributions should focus on * the design of probabilistic and real-time languages and the definition of semantical models for such languages; * the discussion of methodologies for the analysis of probabilistic an timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g. worst-case memory/stack/cache requirements); * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis); * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues. * the investigation of computational models and paradigms involving quantitative aspects, such as those arising in quantum computation, systems biology, bioinformatics, etc. TOPICS Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, and Resource analysis. SUBMISSIONS Papers should be 20-25 pages long, including appendices, and should be formatted according to Elsevier's elsart document style used for articles in the Journal of Theoretical Computer Science (see the Guide for Authors at http://ees.elsevier.com/tcs/). Details on the submission procedure will be made available from the webpage http://qav.comlab.ox.ac.uk/qapl10/special_issue.html. IMPORTANT DATES * Paper submission: 15 November 2010 * Notification: 15 February 2011 EDITORS Alessandra Di Pierro University of Verona, Italy alessandra.dipie...@univr.it Gethin Norman University of Glasgow, UK gethin.nor...@gla.ac.uk
[TYPES/announce] QAPL 2011 First Call For Papers
, 2011 Notification: January 26, 2011 ORGANIZATION: PC Chairs: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee (to be completed): * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, York University, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Marcus Groesser, Technical University Dresden, Germany * Mieke Massink, CNR-ISTI, Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, University of Glasgow, UK * David Parker, University of Oxford, UK * Jeremy Sproston, University of Torino, Italy * Herbert Wiklicky, Imperial College London, UK * Verena Wolf, Saarland University, Germany The University of Glasgow, charity number SC004401
[TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Special Issue of THEORETICAL COMPUTER SCIENCE on Quantitative Aspects of Programming Languages and Systems http://qav.comlab.ox.ac.uk/qapl10 CALL FOR PAPERS We invite the submission of papers on Quantitative Aspects of Programming Languages and Systems for publication in a special issue of the Journal of Theoretical Computer Science (TCS). Papers are welcome which are revised versions of the works submitted to and presented at the QAPL 2010 Workshop, Paphos, Cyprus, March 27-28. We will also welcome submissions of papers not presented at QAPL 2010, provided they fall into the scope of the call and contain a clear and novel contribution to the field. SCOPE Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, risk and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. This special issue will be devoted to research papers which discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, contributions should focus on * the design of probabilistic and real-time languages and the definition of semantical models for such languages; * the discussion of methodologies for the analysis of probabilistic an timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g. worst-case memory/stack/cache requirements); * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis); * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues. * the investigation of computational models and paradigms involving quantitative aspects, such as those arising in quantum computation, systems biology, bioinformatics, etc. TOPICS Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, and Resource analysis. SUBMISSIONS Papers should be 20-25 pages long, including appendices, and should be formatted according to Elsevier's elsart document style used for articles in the Journal of Theoretical Computer Science (see the Guide for Authors at http://ees.elsevier.com/tcs/). Details on the submission procedure will be made available from the webpage http://qav.comlab.ox.ac.uk/qapl10/special_issue.html. IMPORTANT DATES * Paper submission: 15 November 2010 * Notification: 15 February 2011 EDITORS Alessandra Di Pierro University of Verona, Italy alessandra.dipie...@univr.it Gethin Norman University of Glasgow, UK get...@dcs.gla.ac.uk
[TYPES/announce] QAPL 2010 Call for Papers
International Summer School on Formal Methods for the Design of Computer, Communication and Software Systems will be held in collaboration with the organizers of QAPL and covers probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security. See http://www.sti.uniurb.it/events/sfm10qapl/ for further details. ORGANIZATION: PC Chairs: * Alessandra Di Pierro, University of Verona, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, University of York, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Susanne Graf, Verimag, France * Marcus Groesser, Technical University Dresden, Germany * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, University of Glasgow, UK * David Parker, University of Oxford, UK * Jeremy Sproston, University of Torino, Italy * Herbert Wiklicky, Imperial College London, UK * Verena Wolf, Saarland University, Germany
[TYPES/announce] QAPL 2010 Call for Papers
: * Alessandra Di Pierro, University of Verona, Italy * Gethin Norman, University of Oxford, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, University of York, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Marcus Groesser, Technical University Dresden, Germany * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Gethin Norman, University of Oxford, UK * David Parker, University of Oxford, UK * Jeremy Sproston, University of Torino, Italy * Herbert Wiklicky, Imperial College London, UK * Verena Wolf, Saarland University, Germany