[TYPES/announce] 18th International Summer School on Training And Research On Testing
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 18th International Summer School on Training And Research On Testing 3-7 July 2023 London, United Kingdom https://urldefense.com/v3/__https://tarot-school.org/__;!!IBzWLUs!V2dKJPFRwbd3wKCKxrZ7Y-p4I0W-P2ywPR_DFpDeS79OE9l0Qtx0ZK_ILhVJkkT3uQyUvbAw_E7uTqWpcizjDCVB86T1uONg0gk$ Early registration deadline: 1 June 2023 === Scope === TAROT (Training And Research On Testing) is a network created to foster the mobility of students, faculty members and research scientists working in the field of testing of software and communication systems. TAROT summer school brings together lecturers, researchers, students and people from industry for one week of presentations, discussions and an opportunity to get to know each other. The TAROT Summer School is open to researchers working in the area of testing, both from academia and industry. Tutorials Bernhard Aichernig (TU Graz, AU), Automata Learning in Aalpy John Hughes (Chalmers, SE), Property-based Testing: New Developments Shiva Nejati (Ottawa, CA), Testing Cyber Physical Systems: Dynamic Modeling, Evolutionary Search and Machine Learning Justyna Petke (UCL, UK), Combinatorial Interaction Testing Manuel Rigger (NUS, SG), Towards Correct and Reliable Data-centric Systems Andreas Zeller (CISPA and Saarland, DE), Language-Based Fuzzing Venue and Organisation == TAROT 2023 will be held in Central London at King’s College London, United Kingdom. Program Chairs: Alastair Donaldson, Imperial College London Mohammad Reza Mousavi, King’s College London Organisation Team: Gunel Jahangirova, King’s College London Héctor D. Menéndez, King’s College London Jie Zhang, King’s College London Steering Committee: Ana Rosa Cavalli, Montimage France, France Robert Hierons, University of Sheffield, United Kingdom Manuel Núñez Universidad Complutense de Madrid, Spain For more information, please contact the chairs or the organisation committee.
[TYPES/announce] Postdoc Position in Testing AI Ethics at King's College London
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Associate in Testing AI Ethics at King's College London Vacancy terms: Full time, fixed term contract for 18 months Salary: £38,826 per annum, including London Weighting Allowance Deadline : 15 September 2022 Application link: https://urldefense.com/v3/__https://jobs.kcl.ac.uk/gb/en/job/049688/Research-Associate-in-Testing-AI-Ethics__;!!IBzWLUs!Wd037xsBfW7AStKnlyn6V4K1dYt3j8c9j1azBFKGMHsKFEqdL6ib8P0r1H9XvTdhrKbudbtLF28t6DVMEMgZtH0hY-pATf-DQBU$ Job description Within the UKRI Trustworthy Autonomous System Node on Verifiability, we have an exciting opening for a postdoctoral researcher on testing ethical aspects of AI. These include testing aspects such as fairness and bias, as well as privacy and explainability. You will be working within a vigorous multi-disciplinary environment of the Trustworthy Autonomous System program with researchers across many disciplines designing and verifying the autonomous systems of the future. You will be using and advancing the state of the art in testing (validation and verification) methods to provide assurances of ethical decision making i n sub-symbolic AI components, such as neural networks and statistical machine learning techniques. This post will be offered on a fixed-term contract for 18 months This is a full-time post - 100% full time equivalent Key responsibilities Developing world-leading research results in collaboration with the team, on testing ethical concerns on AI; Developing a comprehensive and rigorous set of requirements for such ethical concerns; Developing public benchmarks and datasets for evaluating the developed techniques and their future alternatives; Coordinating the related activities within the team and within the larger project and program. The above list of responsibilities may not be exhaustive, and the post holder will be required to undertake such tasks and responsibilities as may reasonably be expected within the scope and gradin g of the post. Skills, knowledge, and experience Essential criteria A doctoral degree in Computer Science, Software Engineering, or closely related fields (also candidates with their dissertations submitted or under submission will be considered). Solid track record of study and research in software engineering and software testing (validation and verification) Proficiency in programming; familiarity with AI frameworks Possessing analytical skills; basic knowledge of statistical methods Desirable criteria Affinity with ethical theories and their formalisation Affinity with formal verification and mathematical modelling techniques
[TYPES/announce] TRENDS 2018: Call for Participation and Highlight Talks
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation and Highlight Talks The 7th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2018) September 8, 2018, Beijing, China A satellite event of CONCUR 2018 https://concurrency-theory.org/events/workshops/trends This year’s edition of TRENDS will be held in association with CONCUR 2018 in Beijing, on Saturday, September 8. The IFIP WG 1.8 business meeting will also take place on the same day and will be open to all TRENDS participants. The workshop will consist of two invited talks and a number of highlight talks. The invited speakers of TRENDS’18 are: - Nobuko Yoshida, Imperial College, London, UK Title: Behavioural Type-Based Static Verification Framework for Go - Alessandro Abate, Oxford University, UK Title: Verification of cyber-physical systems via formal abstractions [See the above website for more details] For the highlights section, we solicit proposals for short talks (ca. 15 - 20 min) of open and thought-provoking nature, on all aspects of concurrency theory. You may upload your titles and abstracts for highlight talks until August 17 at the following URL: https://easychair.org/conferences/?conf=trends18 The proposals will be processed on a first-come first-served basis: replies will be sent to the candidate speakers within a few days of their submission. The full programme of the workshop will be made available on the workshop website by August 24. If you have any questions, please contact one of the organisers: Ilaria Castellani Mohammad Mousavi
[TYPES/announce] Deadline Approaching - SBMF 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 21st Brazilian Symposium On Formal Methods (SBMF) Supported by the Brazilian Computer Society (SBC) Salvador-BA, Brazil 26 to 30 of November 2018 http://www.sbmf2018.ufba.br/ IMPORTANT DATES (still accepting new abstracts) Paper Submission Deadline: **July 13th, 2018** Paper Acceptance Notification: August 28th, 2018 Paper Camera-ready Version: September 4th, 2018 INTRODUCTION SBMF 2018 is the twenty-first of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation. In 2018, SBMF will take place in Salvador, the capital of the Bahia state, northeast of Brazil. It is the 3rd city by population in Brazil, with over 2.9 million inhabitants, and it is the second most popular destination in Brazil for tourists. SCOPE AND TOPICS The aim of SBMF is to provide a venue for the presentation and discussion of high-quality work in formal methods. The topics include (not limited to): * techniques and methodologies, such as method integration; software and hardware co-design; model-driven engineering; formal aspects of popular methodologies; formal design; development methodologies with formal foundations; software evolution based on formal methods; * specification and modeling languages, such as well-founded specification and design languages; formal aspects of popular languages; logic and semantics for programming and specification languages; code generation; formal methods of programming paradigms (such as objects, aspects, and component), formal methods for real-time, hybrid, and safety-critical systems, formal models of service-oriented, cloud-based, and cyber-physical systems; * theoretical foundations, such as domain theory; type systems and category theory; computational complexity of methods and models; computational models; term rewriting; models of concurrency, security and mobility; * verification and validation, such as abstraction, modularization and refinement techniques; program and test synthesis; correctness by construction; model checking; theorem proving; static analysis; formal techniques for software testing; software certification; formal techniques for software inspection; * Experience reports regarding teaching formal methods; * applications, such as experience reports on the use of formal methods; industrial case studies; tool support. PAPER SUBMISSION Papers should present unpublished and original work that has a clear contribution to the state of the art on the theory and practice of formal methods. They should not be simultaneously submitted elsewhere. Papers will be judged by at least three reviewers on the basis of originality, relevance, technical soundness and presentation quality, and should contain sound theoretical or practical results. Industry papers should emphasize practical application of formal methods or report on open challenges. Contributions should be written in English and be prepared using Springer?s Lecture Notes in Computer Science (LNCS) format. Papers may not exceed 16 pages (including figures, references, and appendix). Accepted papers will be published, after the conference, in a volume of LNCS. Also, a special issue of Science of Computer Programming (Elsevier) is going to be published for the very best papers. Every accepted paper MUST have at least one author registered in the symposium by the time the camera-ready copy is submitted; the registered author is also expected to attend the symposium and present the paper. Papers can be submitted via the following link: https://easychair.org/conferences/?conf=sbmf2018 ABOUT SALVADOR Salvador's importance dates back to Brazilian colonization, as it was established as the country's first capital (founded in 1549). Its center is a living museum of 17th- and 18th-century architecture and gold-laden churches. Aside from the many attractions within Salvador (Pelourinho, Modelo Public Market, Lacerda elevator, Church of Nosso Senhor do Bonfim), gorgeous coastline lies right outside the city ? a suitable introduction to the tropical splendor of the state of Bahia. Salvador presents a vibrant musical scene and popular Carnival celebrations, being considered one of the birthplaces of Brazilian culture. KEYNOTE SPEAKERS Prof. Jose Meseguer (University of Illinois at Urbana-Champaign, USA) Prof. Alexandre Mota (Federal University of Pernambuco, Brazil) GENERAL CHAIR Adolfo Duran (UFBA, Brazil) PROGRAM COMMITTEE CHAIRS Mohammad Mousavi (University of Leicester, UK) Tiago Massoni (UFCG, Brazil) PROGRAM COMMITTEE (Yet to be confirmed) Adenilso Sim?o (ICMC/USP, Brazil) Alexandre Mota (UFPE, Brazil) Aline Andrade (UFBA. Brazil) ?lvaro Moreira (UFRGS, Brazil) Ana Cavalcanti (University of York, UK) Ana de Melo (USP, Brazil)
[TYPES/announce] Brazilian Symposium on Formal Methods (SBMF 2018): Last Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 21st Brazilian Symposium On Formal Methods (SBMF) Supported by the Brazilian Computer Society (SBC) Salvador-BA, Brazil 26 to 30 of November 2018 http://www.sbmf2018.ufba.br/ IMPORTANT DATES Abstract Submission Deadline: July 2nd, 2018 Paper Submission Deadline: July 13th, 2018 Paper Acceptance Notification: August 28th, 2018 Paper Camera-ready Version: September 4th, 2018 INTRODUCTION SBMF 2018 is the twenty-first of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation. In 2018, SBMF will take place in Salvador, the capital of the Bahia state, northeast of Brazil. It is the 3rd city by population in Brazil, with over 2.9 million inhabitants, and it is the second most popular destination in Brazil for tourists. SCOPE AND TOPICS The aim of SBMF is to provide a venue for the presentation and discussion of high-quality work in formal methods. The topics include (not limited to): * techniques and methodologies, such as method integration; software and hardware co-design; model-driven engineering; formal aspects of popular methodologies; formal design; development methodologies with formal foundations; software evolution based on formal methods; * specification and modeling languages, such as well-founded specification and design languages; formal aspects of popular languages; logic and semantics for programming and specification languages; code generation; formal methods of programming paradigms (such as objects, aspects, and component), formal methods for real-time, hybrid, and safety-critical systems, formal models of service-oriented, cloud-based, and cyber-physical systems; * theoretical foundations, such as domain theory; type systems and category theory; computational complexity of methods and models; computational models; term rewriting; models of concurrency, security and mobility; * verification and validation, such as abstraction, modularization and refinement techniques; program and test synthesis; correctness by construction; model checking; theorem proving; static analysis; formal techniques for software testing; software certification; formal techniques for software inspection; * Experience reports regarding teaching formal methods; * applications, such as experience reports on the use of formal methods; industrial case studies; tool support. PAPER SUBMISSION Papers should present unpublished and original work that has a clear contribution to the state of the art on the theory and practice of formal methods. They should not be simultaneously submitted elsewhere. Papers will be judged by at least three reviewers on the basis of originality, relevance, technical soundness and presentation quality, and should contain sound theoretical or practical results. Industry papers should emphasize practical application of formal methods or report on open challenges. Contributions should be written in English and be prepared using Springer’s Lecture Notes in Computer Science (LNCS) format. Papers may not exceed 16 pages (including figures, references, and appendix). Accepted papers will be published, after the conference, in a volume of LNCS. Also, a special issue of Science of Computer Programming (Elsevier) is going to be published for the very best papers. Every accepted paper MUST have at least one author registered in the symposium by the time the camera-ready copy is submitted; the registered author is also expected to attend the symposium and present the paper. Papers can be submitted via the following link: https://easychair.org/ conferences/?conf=sbmf2018 ABOUT SALVADOR Salvador's importance dates back to Brazilian colonization, as it was established as the country's first capital (founded in 1549). Its center is a living museum of 17th- and 18th-century architecture and gold-laden churches. Aside from the many attractions within Salvador (Pelourinho, Modelo Public Market, Lacerda elevator, Church of Nosso Senhor do Bonfim), gorgeous coastline lies right outside the city – a suitable introduction to the tropical splendor of the state of Bahia. Salvador presents a vibrant musical scene and popular Carnival celebrations, being considered one of the birthplaces of Brazilian culture. KEYNOTE SPEAKERS Prof. Jose Meseguer (University of Illinois at Urbana-Champaign, USA) Prof. Alexandre Mota (Federal University of Pernambuco, Brazil) GENERAL CHAIR Adolfo Duran (UFBA, Brazil) PROGRAM COMMITTEE CHAIRS Mohammad Mousavi (University of Leicester, UK) Tiago Massoni (UFCG, Brazil) PROGRAM COMMITTEE (Yet to be confirmed) Adenilso Simão (ICMC/USP, Brazil) Alexandre Mota (UFPE, Brazil) Aline Andrade (UFBA. Brazil) Álvaro Moreira (UFRGS, Brazil) Ana Cavalcanti (University of York, UK) Ana de Melo
[TYPES/announce] 8th Halmstad Summer School on Testing (June 11-14)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The 8th Halmstad Summer School on Testing Halmstad University, Sweden (Organised in cooperation with the TOCSYC Network) June 11 - June 14, 2018 http://ceres.hh.se/mediawiki/HSST_2018 === Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigour and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 8th Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Model-based Mutation Testing: the Science of Killing Bugs in a Black Box, Bernhard Aichernig, TU Graz, Austria Testing concurrent and distributed systems, Mauro Pezzé, University of Lugano, Switzerland Model-Based Testing: Theory, Tools, and Applications, Jan Tretmans, ESI by TNO and Radboud University Nijmegen, The Netherlands and Halmstad University, Sweden Automated testing of applications at the GUI level, Tanja Vos, Technical University of Valencia, Spain and the Open University, The Netherlands Real Bugs, Real Projects, Real Impact, Andrzej Wasowski, IT University of Copenhagen, Denmark (An additional speaker's confirmation is pending.) Registration == The registration deadline is May 1, 2018. To apply to the summer school, please fill in the form at: http://bit.ly/HSST2018 . If you have any dietary requirements, or would like to attend only certain days of the summer school, please indicate in the form . The registration fee is 3800 SEK (approx. 380 EUR) and covers lunches, coffee breaks, the study material, the social event, and a social dinner (but not drinks). Ph.D. Symposium === The deadline for Ph.D. abstract submission is May 15, 2018. We have 8 time slots for Ph.D. presentations, where each student gets to present her/his research project (and possibly results) and receive feedback from our experts. We solicit abstracts of 2 pages, solely authored by a Ph.D. student, in the EasyChair Style in order to make a selection (see: http://www.easychair.org/ publications/for_authors). The abstract should contain a clear overview of the problem description, approach, (existing results, if any,) and future milestone. Abstract submissions can already be made via https://easychair.org/ conferences/?conf=hsst2018 . Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in about an hour, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport (and the nearby Ängelholm Airport) to Stockholm Bromma Airport. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly toHalmstad. More travel information can be found at the school page: http://ceres.hh.se/mediawiki/index.php/HSST_2018#Venue Organizers Stella Erlandsson (Local Organization, stella.erlands...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Richard Torkar (Program Co-Chair, richard.tor...@cse.gu.se) The abstracts of the tutorials can be found at: http://ceres.hh.se/mediawiki/index.php/HSST_2018 For more information, contact one of the organizers.
[TYPES/announce] 2 Lecturer Positions in Model-Driven Systems Engineering
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2 Lecturer Positions in Model-Driven Systems Engineering University of Leicester College of Science and Engineering Department of Informatics http://bit.ly/2LecturersLeicester Salary Grade 8 - £38,183 to £46,924 per annum Closing date: 31 August 2017 Together our staff and students are discovering innovative ways to change the world for the better and there has never been a more exciting time for you to join us. We are ranked in the top 1% of universities worldwide and have an international reputation for excellence in teaching and research. We are led by discovery and innovation, with the synergy between research and learning at the core of our activity. These are exciting times for Informatics at Leicester. As part of a flagship investment aimed at increasing capacity and expertise to participate in interdisciplinary research, we are creating six new posts to support our holistic approach to Data-Driven Application Engineering for a range of domains led by our interdisciplinary research institutes and networks: Space and Earth Observation (LISEO) and the recently announced Space Park Leicester. Precision Medicine (LPMI) and the Bioinformatics Network. Cultural and Media Economies (CAMEo) and the Network for Computational Social Science. The Department of Informatics has long-standing strengths in Theoretical Computer Science, Algorithms, Software Engineering and HCI. Through our new appointments, we are seeking to develop our capacity in Model-driven Systems Engineering, recognising that software works in specific physical, socio-economic, technological and environmental contexts which have to be part of the engineering process. We will consider all candidates whose research focuses on model-driven systems engineering but are especially interested in the two following profiles. 1. Sustainable socio-technical systems engineering addresses socio-economic, technological and environmental factors from a perspective of requirements engineering and high-level design, requiring skills in areas such as - Model-based requirements engineering and analysis; - Social, economic and environmental impact of software-intensive systems; - Scalable and secure software infrastructure, e.g., using distributed ledger technologies, big data or cloud technologies; - Systems reengineering; 2. Cyber-physical systems engineering focuses on technological and physical aspects from a design and quality assurance point of view including - Model-based testing, verification, and validation; - Engineering of self-learning, autonomous and adaptive systems; - Analysis techniques for (re)configurable systems and product lines; For both posts, experience or potential in one or more of the following areas is desirable - Applications of machine learning in software engineering; - Modern software processes, such as agile development and devops; - Engineering of transport and automotive systems or medical applications; - Applications of the above in industrial or interdisciplinary settings; The main emphasis for selection will be on research excellence, but the role also includes the development and delivery of teaching in the respective areas as well as contributions to the administration and management of the Department. University of Leicester is a research-intensive university. Different areas of activity are balanced by a departmental workload model to ensure fair and transparent balance between staff and different areas of activity. Closing date is the midnight of 31 August 2017 (BST). For more information, please see: http://bit.ly/2LecturersLeicester Informal enquiries are welcome and should be made to Reiko Heckel on rh...@le.ac.uk or +44 116 252 3406.
[TYPES/announce] TTCS 2017: Last CFP (Abstract Deadline: May 15, Paper Deadline: May 19)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 2nd IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2017) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran September 12-14, 2017 *** Extended Abstract Submission Deadline: May 15, 2017 *** = TTCS is a bi-annual conference in the IFIP conference series, serving as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The post-proceedings will be published in the Springer LNCS series. The conference is sponsored by IFIP and EATCS. -- Keynote Speakers -- - Mahdi Cheraghchi, Imperial College, UK - Jaco van de Pol, University of Twente, The Netherlands - Stefano Leonardi, Sapienza University of Rome, Italy -- Important Dates -- - Abstract Submission: May 15, 2017 (Extended, Strict, AoE) - Full Paper Submission: May 19, 2017 (Extended, Strict, AoE) - Author notification: June 26, 2017 - Camera ready paper: July 31, 2017 - Conference: September 12-14, 2017 -- Submissions -- For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labelled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted to the appropriate track through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2017 . The post-proceedings will be published as a volume of Lecture Notes in Computer Science by Springer. -- Scope -- TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and co-algebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory and its application in program verification. -- Program Committee -- Track A: Algorithms and Complexity - Amitabha Bagchi, IIT Delhi, India - Samuel R. Buss, University of California, San Diego, USA - Jaroslaw Byrka, University of Wroclaw, Poland - Amir Daneshgar, Sharif University of Technology, Iran - Anna Gal, University of Texas at Austin, USA - Mohammad T. Hajiaghayi, University of Maryland, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahmoody, University of Virginia, USA - Rolf Niedermeier, TU Berlin, Germany - Giuseppe Persiano, University of Salerno, Italy - Jorg-Rudiger Sack, Carleton University, Ottawa, Canada - Rahul Santhanam, University of Oxford, United Kingdom - Jiri Sgall, Charles University, Prague, Czech Republic (Co-Chair) - Vijay Vazirani, Georgia Institute of Technology, Atlanta, USA - Gerhard Woeginger, RWTH Aachen, Germany - Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory - Farhad Arbab, CWI and Leiden University, The Netherlands - Ilaria Castellani, INRIA Sophia Antipolis, France - Fatemeh Ghassemi, University of Tehran, Iran - Hossein Hojjat, Rochester Institute of Technology, USA - Mohammad Izadi, Sharif University
[TYPES/announce] Deadline Extension: IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2017)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 2nd IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2017) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran September 12-14, 2017 *** Extended Abstract Submission Deadline: May 15, 2017 *** = TTCS is a bi-annual conference in the IFIP conference series, serving as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The post-proceedings will be published in the Springer LNCS series. The conference is sponsored by IFIP and EATCS. -- Keynote Speakers -- - Mahdi Cheraghchi, Imperial College, UK - Jaco van de Pol, University of Twente, The Netherlands - Stefano Leonardi, Sapienza University of Rome, Italy -- Important Dates -- - Abstract Submission: May 15, 2017 (Extended, Strict, AoE) - Full Paper Submission: May 19, 2017 (Extended, Strict, AoE) - Author notification: June 26, 2017 - Camera ready paper: July 31, 2017 - Conference: September 12-14, 2017 -- Submissions -- For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labelled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted to the appropriate track through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2017 . The post-proceedings will be published as a volume of Lecture Notes in Computer Science by Springer. -- Scope -- TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and co-algebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory and its application in program verification. -- Program Committee -- Track A: Algorithms and Complexity - Amitabha Bagchi, IIT Delhi, India - Samuel R. Buss, University of California, San Diego, USA - Jaroslaw Byrka, University of Wroclaw, Poland - Amir Daneshgar, Sharif University of Technology, Iran - Anna Gal, University of Texas at Austin, USA - Mohammad T. Hajiaghayi, University of Maryland, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahmoody, University of Virginia, USA - Rolf Niedermeier, TU Berlin, Germany - Giuseppe Persiano, University of Salerno, Italy - Jorg-Rudiger Sack, Carleton University, Ottawa, Canada - Rahul Santhanam, University of Oxford, United Kingdom - Jiri Sgall, Charles University, Prague, Czech Republic (Co-Chair) - Vijay Vazirani, Georgia Institute of Technology, Atlanta, USA - Gerhard Woeginger, RWTH Aachen, Germany - Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory - Farhad Arbab, CWI and Leiden University, The Netherlands - Ilaria Castellani, INRIA Sophia Antipolis, France - Fatemeh Ghassemi, University of Tehran, Iran - Hossein Hojjat, Rochester Institute of Technology, USA - Mohammad Izadi, Sharif University
[TYPES/announce] 7th Halmstad Summer School on Testing (June 12 - June 15): Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The 7th Halmstad Summer School on Testing Halmstad University, Sweden (Organised in cooperation with the TOCSYC Network) June 12 - June 15, 2017 http://ceres.hh.se/mediawiki/HSST_2017 === Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigour and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 7th Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Georgios Fainekos (Arizona State University, USA), Specification guided testing and verification for Cyber-Physical Systems. Marie-Claude Gaudel (Université de Paris-Sud, France), Testing from Formal Specifications: A Unifying Framework. Alex Groce (Northern Arizona University, USA), TSTL: a Little (Integrated) Language for Testing. Justyna Petke (University College London, UK), Combinatorial Interaction Testing. Franz Wotawa (Graz University of Technology, Austria), Automated debugging – the past, the now, and the future. Andreas Zeller (Saarland University, Germany), Fuzzing with Inferred Grammars. Registration == The registration deadline is April 15, 2017. To apply to the summer school, please fill in the form at: http://bit.ly/HSST_2017 . If you have any dietary requirements, or would like to attend only certain days of the summer school, please indicate in the form . The registration fee is 3100 SEK (approx. 325 EUR) and covers lunches, coffee breaks, and the study material, but it does not include the social event and the social dinner. A ticket to the social event and the social dinner costs 550 SEK and can be requested upon registration. Ph.D. Symposium === The deadline for Ph.D. abstract submission is May 15, 2017. We have 8 time slots for Ph.D. presentations, where each student gets to present her/his research project (and possibly results) and receive feedback from our experts. We solicit abstracts of 2 pages, solely authored by a Ph.D. student, in the EasyChair Style in order to make a selection (see: http://www.easychair.org/publications/for_authors ). The abstract should contain a clear overview of the problem description, approach, (existing results, if any,) and future milestone. Abstract submissions can already be made via https://easychair.org/conferences/?conf=hsst2017 . Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in about an hour, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport to Stockholm Bromma Airport. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly toHalmstad. More travel information can be found at the school page: http://ceres.hh.se/mediawiki/index.php/HSST_2017#Venue Organizers Stella Erlandsson (Local Organization, stella.erlands...@hh.se) Veronica Gaspes (Organization Chair, veronica.gas...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Richard Torkar (Program Co-Chair, richard.tor...@cse.gu.se) The abstracts of the tutorials can be found at: http://ceres.hh.se/mediawiki/index.php/HSST_2017 For more information, contact one of the organizers.
[TYPES/announce] TTCS 2017 First CFP: Deadline May 1
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Topics in Theoretical Computer Science (TTCS 2017) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran September 12-14, 2017 *** Abstract Submission Deadline: May 1, 2017 *** = TTCS is a bi-annual conference series, serving as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The proceedings will be published in Springer LNCS series. The conference is sponsored by EATCS and IEEE (Iran section). -- Keynote Speakers -- - Mahdi Cheraghchi, Imperial College, UK - Jaco van de Pol, University of Twente, The Netherlands - Stefano Leonardi, Sapienza University of Rome, Italy -- Important Dates -- - Abstract Submission: May 1, 2017 - Full Paper Submission: May 8, 2017 - Author notification: June 26, 2017 - Camera ready paper: July 31, 2017 - Conference: September 12-14, 2017 -- Submissions -- For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labelled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted to the appropriate track through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2017 . The web site is open for submissions. -- Scope -- TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and co-algebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory and its application in program verification. -- Program Committee -- Track A: Algorithms and Complexity - Amitabha Bagchi, IIT Delhi, India - Samuel R. Buss, University of California, San Diego, USA - Jaroslaw Byrka, University of Wroclaw, Poland - Amir Daneshgar, Sharif University of Technology, Iran - Anna Gal, University of Texas at Austin, USA - Mohammad T. Hajiaghayi, University of Maryland, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahmoody, University of Virginia, USA - Rolf Niedermeier, TU Berlin, Germany - Giuseppe Persiano, University of Salerno, Italy - Jorg-Rudiger Sack, Carleton University, Ottawa, Canada - Rahul Santhanam, University of Oxford, United Kingdom - Jiri Sgall, Charles University, Prague, Czech Republic (Co-Chair) - Vijay Vazirani, Georgia Institute of Technology, Atlanta, USA - Gerhard Woeginger, RWTH Aachen, Germany - Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory - Farhad Arbab, CWI and Leiden University, The Netherlands - Ilaria Castellani, INRIA Sophia Antipolis, France - Fatemeh Ghassemi, University of Tehran, Iran - Hossein Hojjat, Rochester Institute of Technology, USA - Mohammad Izadi, Sharif University of Technology, Iran - Sung-shik Jongmans, Open University, The Netherlands - Ramtin Khosravi, University of Tehran, Iran - Jan Kretinsky, Munich University of Techology, Germany -
[TYPES/announce] Last CFP: 6th Workshop on Cyber Physical Systems (Deadline: July 10)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016) Pittsburgh, USA October 6, 2016 http://www.cyphy.org/ (Held in conjunction with ESWEEK 2016) === Scope === Cyber physical systems (CPSs) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. CyPhy'16 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing. Topics of interest include, but are not limited to the following aspects of cyber-physical systems: Foundations: models of computation, modeling and simulation languages for hybrid and cyber-physical systems, including hybrid automata and hybrid process theory, as well as other integrations of control-theoretic and discrete-event models; Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems; Case studies: Development of industrial or research oriented cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future generation networks; and Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice. Submission Types Submissions types: 1) research papers (max. 15 pages); 2) positions papers (max. 4 pages, not published); and 3) industrial experience and tool demonstrations (max. 10 pages). Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on novelty, clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop. Submissions of type 1 and 3 will be published after the workshop in a volume of Lecture Notes in Computer Science, by Springer. If the quality of the submissions warrants, a special issue of an archival journal will be negotiated for the best submissions (subject to confirmation, and an additional round of review). Important Dates Submission deadline: July 10, 2016 Notifications: August 24, 2016 Camera Ready: September 5, 2016 Workshop: October 6, 2016 Submission Instructions == Papers should be formatted according to the Springer LNCS style, not exceed the respective page limits (including figures and references), and be submitted in PDF format through the following submission website. https://easychair.org/conferences/?conf=cyphy2016 Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version. Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager. Papers not adhering to the format or page limit may be rejected without a review. Committees Program Committee Christian Berger, Chalmers and University of Gothenburg, Sweden (CoChair) Manuela Bujorianu, University of Leicester, UK Thao Dang, Verimag, France Scott Hissam, Carnegie Mellon University, USA Daisuke Ishii, Tokyo Institute of Technology, Japan Mehdi Kargahi, University of Tehran, Iran Zhiyun Lin, Zhejiang University, China Mohammad Reza Mousavi, Halmstad University, Sweden (CoChair) Enrico Pagello, University of Padua, Italy Mihaly Petreczky, CNRS Lille, France Michel Reniers, TU Eindhoven, Netherlands Bernhard Rumpe, RWTH Aachen University, Germany Maytham Safar, Kuwait University, Kuwait Christoph Seidl, TU Braunschweig, Germany Christoffer Sloth, Aalborg U., Denmark Jonathan Sprinkle, University of Arizona, USA Martin Steffen, University of Oslo, Norway Frits Vaandrager, RU Nijmegen, Netherlands Rafael Wisniewski, Aalborg U., Denmark (CoChair) Advisory Committee Manfred Broy, Technische Universität München, Germany. Karl Iagnemma, MIT, USA. Karl Henrik Johansson, Royal Institute of Technology, Sweden. Insup Lee, University of Pennsylvania, USA. Pieter Mosterman, McGill University, Canada Janos Sztipanovits, Vanderbilt University, USA Walid Taha,
[TYPES/announce] 6th Halmstad Summer School on Testing: Call for Participation and Student Presentations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The 6th Halmstad Summer School on Testing Halmstad University, Sweden June 13 - June 16, 2016 http://ceres.hh.se/mediawiki/index.php/HSST_2016 === Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigour and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 6th Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Automatic Software Verification with the Infer Static Analyzer (Dino Distefano, Queen Mary, University of London and Facebook, UK) Testing and Verification Methods for Many-Core Concurrency (Alastair F. Donaldson, Imperial College, UK) Is Mutation Analysis Ready for Prime Time? (Jeff Offutt, George Mason University, USA) Fault Model-Based Testing from State-Oriented Models (Alexandre Petrenko, Computer Research Institute of Montreal (CRIM), Canada) The Role of Testing and Tools for Innovation (Per Runeson, Lund University, Sweden) Fault Tree Analysis (Marielle Stoelinga, University of Twente, The Netherlands) Ph.D. Symposium === We have 6 time slots for Ph.D. presentations, where each student gets to present her/his research project (and possibly results) and receive feedback from our experts. We solicit abstracts of 2 pages in the EasyChair Style in order to make a selection (see:http://www.easychair.org/publications/for_authors ). The abstract should contain a clear overview of the problem description, approach, (existing results, if any,) and future milestone. Abstract submissions can be made already via https://easychair.org/conferences/?conf=hsst2016 . The deadline for submissions is May 15, 2016. Registration == The registration deadline is April 15, 2016. To apply to the summer school, please fill in the form at: http://bit.ly/HSST2016 . If you have any dietary requirements, or would like to attend only certain days of the summer school, please indicate in the form . The registration fee is 3000 SEK (approx. 325 EUR) and covers lunches, coffee breaks, and the study material, but it does not include the social event and the social dinner. A ticket to the social event and the social dinner costs 500 SEK and can be requested upon registration. Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport to Stockholm. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly toHalmstad. More travel information can be found at the school page: http://ceres.hh.se/mediawiki/index.php/HSST_2016#Venue Organizers Stella Erlandsson (Local Organization, stella.erlands...@hh.se) Veronica Gaspes (Organization Chair, veronica.gas...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Walid Taha (Program Co-Chair, walid.t...@hh.se) The abstracts of the tutorials and the biographies of the speakers can be found at: http://ceres.hh.se/mediawiki/index.php/HSST_2016 For more information, contact one of the organizers.
[TYPES/announce] TRENDS 2015: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2015) --- Saturday September 5, 2015 (9:00-12:30), Madrid, Spain Affiliated with CONCUR 2015 http://www.concurrency-theory.org/events/workshops/trends TRENDS 2015 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in concurrency theory and its applications, to exchange ideas and discuss about open problems and recent trends. PROGRAMME: The event will take place on September 5, 2015 and will consist of three invited talks by the following speakers: - Patricia Bouyer-Decitre, CNRS, France, - Bartek Klin, University of Warsaw, Poland - Irek Ulidowski, University of Leicester, United Kingdom, The workshop will be followed by the annual business meeting of WG 1.8. For a detailed programme with titles and abstracts of talks we refer to: http://www.concurrency-theory.org/events/workshops/trends PARTICIPATION: Please register for TRENDS 2015 via the registration page of CONCUR 2015: http://mafalda.fdi.ucm.es/concur2015/ ORGANISERS: Ilaria Castellani (INRIA Sophia Antipolis, FR) Mohammad Mousavi (Halmstad University, SE) IFIP WG 1.8: The aims of IFIP WG 1.8 on Concurrency Theory are: - To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems. - To promote and coordinate the exchange of information on concurrency theory, by discussing ideas and open problems, and identifying future directions of research in the area. The activities of WG 1.8 encompass all aspects of concurrency theory and its applications.
[TYPES/announce] International Workshop on Cyber Physical Systems: Extended Deadline (June 17)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15) Amsterdam, The Netherlands http://www.cyphy.org/ Extended Deadline: June 17, 2015 (Anywhere on Earth) === Scope === Cyber physical systems (CPSs) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. CyPhy'15 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing. Topics of interest include, but are not limited to the following aspects of cyber-physical systems: - Foundations: models of computation, modeling and simulation languages for hybrid and cyber-physical systems, including hybrid automata and hybrid process theory, as well as other integrations of control-theoretic and discrete-event models; - Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems; - Case studies: Development of industrial or research oriented cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future generation networks; and - Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice. Important Dates === Submissions: June 17, 2015 (Anywhere on Earth) Notifications: July 10, 2015 Camera-Ready: August 3, 2015 Workshop: October 8, 2015 Submission Types Submissions types: 1) research papers (max. 15 pages, LNCS format); 2) positions papers (max. 4 pages, not published); and 3) tool demonstrations (max. 10 pages, LNCS format). Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on novelty, clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop. Proceedings === Submissions of type 1 and 3 will be published in a volume of Lecture Notes in Computer Science, by Springer. If the quality of the submissions warrants, a special issue of an archival journal will be negotiated for the best submissions (subject to confirmation, and an additional round of review). Submission Instructions == Papers should be formatted according to the Springer LNCS style, not exceed the respective page limits (including figures and references), and be submitted in PDF format through the following submission website. https://easychair.org/conferences/?conf=cyphy15 Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version. Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager. Papers not adhering to the format or page limit may be rejected without a review. Invited Speaker = Maurice Heemels, Eindhoven University of Technology Committees General Chair Walid Taha, Halmstad Rice Universities Program Chairs Christian Berger, Chalmers and University of Gothenburg Mohammad Reza Mousavi, Halmstad University Program Committee Jakob Axelsson, SICS and Mälardalen University Christian Berger, Chalmers and University of Gothenburg Manuela Bujorianu, University of Warwick Georgios Fainekos, Arizona State University Daisuke Ishii, Tokyo Institute of Technology Zhiyun Lin, Zhejiang University Mohammad Reza Mousavi, Halmstad University Wojciech Mostowski, Halmstad University Michel Reniers, Eindhoven University of Technology Bernhard Rumpe, RWTH Aachen University Maytham Safar, Kuwait University Bernhard Schätz, TU München Martin Steffen, Oslo University Frits Vaandrager, Radboud University Nijmegen Publicity Chair Abd-Elhamid M. Taha, Alfaisal University Advisory Committee Manfred Broy, Technische Universität München Karl Iagnemma, MIT Karl Henrik Johansson, Royal Institute of Technology Insup Lee, University of Pennsylvania Pieter Mosterman, McGill University Janos Sztipanovits, Vanderbilt University Walid
[TYPES/announce] Final CFP: 5th International Workshop on Cyber Physical Systems (CyPhy'15)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15) Amsterdam, The Netherlands October 8, 2015 http://www.cyphy.org/ (Held in conjunction with ESWEEK 2015) === Scope === Cyber physical systems (CPSs) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. CyPhy'15 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing. Topics of interest include, but are not limited to the following aspects of cyber-physical systems: - Foundations: models of computation, modeling and simulation languages for hybrid and cyber-physical systems, including hybrid automata and hybrid process theory, as well as other integrations of control-theoretic and discrete-event models; - Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems; - Case studies: Development of industrial or research oriented cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future generation networks; and - Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice. Important Dates === Submissions: June 10, 2015 Notifications: July 10, 2015 Camera-Ready: August 3, 2015 Workshop: October 8, 2015 Submission Types Submissions types: 1) research papers (max. 15 pages, LNCS format); 2) positions papers (max. 4 pages, not published); and 3) tool demonstrations (max. 10 pages, LNCS format). Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on novelty, clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop. Proceedings === Submissions of type 1 and 3 will be published in a volume of Lecture Notes in Computer Science, by Springer. If the quality of the submissions warrants, a special issue of an archival journal will be negotiated for the best submissions (subject to confirmation, and an additional round of review). Submission Instructions == Papers should be formatted according to the Springer LNCS style, not exceed the respective page limits (including figures and references), and be submitted in PDF format through the following submission website. https://easychair.org/conferences/?conf=cyphy15 Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version. Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager. Papers not adhering to the format or page limit may be rejected without a review. Invited Speaker = Maurice Heemels, Eindhoven University of Technology Committees General Chair Walid Taha, Halmstad Rice Universities Program Chairs Christian Berger, Chalmers and University of Gothenburg Mohammad Reza Mousavi, Halmstad University Program Committee Jakob Axelsson, SICS and Mälardalen University Christian Berger, Chalmers and University of Gothenburg Manuela Bujorianu, University of Warwick Georgios Fainekos, Arizona State University Daisuke Ishii, Tokyo Institute of Technology Zhiyun Lin, Zhejiang University Mohammad Reza Mousavi, Halmstad University Wojciech Mostowski, Halmstad University Michel Reniers, Eindhoven University of Technology Bernhard Rumpe, RWTH Aachen University Maytham Safar, Kuwait University Bernhard Schätz, TU München Martin Steffen, Oslo University Frits Vaandrager, Radboud University Nijmegen Publicity Chair Abd-Elhamid M. Taha, Alfaisal University Advisory Committee Manfred Broy, Technische Universität München Karl Iagnemma, MIT Karl Henrik Johansson, Royal Institute of Technology Insup Lee, University of Pennsylvania Pieter Mosterman, McGill University Janos Sztipanovits, Vanderbilt University Walid Taha, Halmstad Rice
[TYPES/announce] Fifth Halmstad Summer School on Testing (June 8-11, 2015)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The Fifth Halmstad Summer School on Testing Halmstad University, Sweden June 8 - June 11, 2015 http://ceres.hh.se/mediawiki/index.php/HSST_2015 === Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigour and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 5th Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Approximate Formal Verification Using Model-Based Testing (Rance Cleaveland, University of Maryland) Taking Search-Based Software Testing to the Real-World (Robert Feldt, Blekinge Inst. of Tech. and Chalmers) Differential and Multi-Version Program Verification (Shuvendu Lahiri, Microsoft Research) Learning-based Testing of Procedural and Reactive Systems (Karl Meinke, KTH) Model-based Testing of Embedded Real-time Systems under Uncertainty (Brian Nielsen, Aalborg University) Model-based Testing of Software Product Lines (Ina Schaefer, TU Braunschweig) Automated Fault Prediction: The Ins, The Outs, The Ups, The Downs (Elaine Weyuker, Mälardalen University) Registration == The registration deadline is April 15, 2015. To apply to the summer school, please send an email to veronica.gas...@hh.se with Halmstad Summer School on Testing in the title. If you have any dietary requirements, or would like to attend only certain days of the summer school, please specify in your email text. The registration fee is 2300 SEK (approx. 250 EUR) and covers lunches, coffee breaks, and the study material, but it does not include the social event and the social dinner. A ticket to the social event and the social dinner costs 500 SEK and can be requested upon registration (please indicate in your email). After sending the registration email, you will receive a confirmation. Please proceed to payment after you receive the confirmation email through the summer school web site. For payment, please also provide the VAT number of your institute. Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport to Stockholm. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad. More travel information can be found at the school page: http://ceres.hh.se/mediawiki/index.php/HSST_2015#Venue Organizers Veronica Gaspes (Organization Chair, veronica.gas...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Eva Nestius (Local Organization) Walid Taha (Program Co-Chair, walid.t...@hh.se) The abstracts of the tutorials and the biographies of the speakers can be found at: http://ceres.hh.se/mediawiki/index.php/HSST_2015 For more information, contact one of the organizers.
[TYPES/announce] Ph.D. Position in Model-Based Testing, Halmstad University, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Funded Ph.D. Position in Computer Science with focus on Model-Based Testing, Halmstad University, Sweden Background === The position is in the context of the EFFEMBAC (Effective Model-Based Testing of Concurrent System) project, which is on combining model-based- and symbolic execution, funded by a project grant from the Swedish Research Council (VR). The general objectives of our research agenda are summarized below: · Using domain-specific abstractions as starting points for test models, · Augmenting behavioral models with structural information from the implementation domain in order to generate effective concrete test-cases, · Devising effective mechanized test-data-selection criteria, by integrating model- and implementation-based information as well as redefining test-adequacy in this hybrid setting, · Enabling compositional testing for concurrent systems in order to manage complexity, · Devising concrete design for testability guidelines for a semantic model of specification languages and translating them to examples of domain-specific languages. The project will be carried out in collaboration with internationally renowned researchers from University of Illinois at Urbana Champaign, Radboud University Nijmegen and Reykjavik University. Terms of Employment = The position will be a 5-year Ph.D position (with a 1-year probation period). The position is supposed to start on April 1, 2015, or any time later (within an interval of ca. 3 months) depending the availability of the candidate. The selected candidate will perform research and assist in teaching at the Centre for Research on Embedded Systems at Halmstad University. The teaching assistance load will be about 20% of the time (usually 1-2 courses in a year). The salary level is fixed at ca. 25 SEK/month gross. The employed candidate enjoys the usual rights of a university employee, such as pension and other social enumerations, as well as parental leave. Qualifications The position is intended for someone with a masters degree in Computer Science, Computer Engineering, or closely related fields. Desirable skills include expertise in formal methods, testing, software engineering, and programming languages. Working Environment The selected candidate will be performing research in a very vigorous and international research environment at the Center for Research on Embedded Systems (CERES) at Halmstad University. For more information on CERES please see: http://ceres.hh.se/ For more information on the Model-Based Testing research at CERES, please see: http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification Living Environment === Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between two cosmopolitan areas: the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live. It can be reached by a direct train connection from the Copenhagen Kastrup Airport, as well as many other local airports (e.g., Halmstad, Malmo, and Angelholm airports). Sweden is well known for a very high quality of life and excellent social care facilities. There are excellent (incl. international) schools and day-cares around, as well as various recreational and entertainment facilities. The working language is English and no knowledge of Swedish is required. Also for daily life, English is spoken widely and Sweden has one of the highest English proficiency levels in the world. If the student wishes to learn Swedish both the university and the local government provide extensive facilities. Application Procedure and Deadlines = The application should comprise a single PDF file and should be received no later than March 1, 2015. The application package shall consist of: 1. a cover letter stating the purpose of the application and a brief statement of why you believe that your goals and past experience are well-matched with the goals of this position, 2. a CV that includes at least - a list of previous degrees, dates, and institution, transcripts for higher-education studies until most recent available - a complete list of publications and a description of previous research and other work experience and links to online copies of the most important publications 3. contact information for three references. We ask the candidates to send the required material to rekrytering...@hh.se with a CC to m.r.mous...@hh.se , mentioning Ph.D. Position EFFEMBAC in the subject line. Application must be received before
[TYPES/announce] Assistant Professor / Researcher Position in Computer Science, Halmstad University, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant Professor / Researcher Position in Computer Science with focus on Model-Based Testing and Diagnosis at Halmstad University, Sweden Background === The position is funded by the AUTO-CAAS project, which is a joint project on model-based testing and diagnosis of automotive software, to be carried out in collaboration with QuviQ and ArcCore companies and to be funded by the Swedish Knowledge Foundation. The Automotive Open System Architecture (AUTOSAR) standard is gaining momentum with several automotive manufacturers (such as Volvo) and there is a growing trend towards new vehicle platforms based on the latest versions of this standard. The standard enables manufacturers to allow Tier-1 suppliers to contract arbitrary Tier-2 software developer for ECUs, as long as the developed software conforms to the specified behavior according to AUTOSAR. This is in clear contrast to earlier situation, in which a preferred Tier-2 developer was appointed to develop software for all Tier-1 hardware suppliers. This paradigm shift brings about economical and financial benefits (both for suppliers and manufacturers). However, it also introduces certain risks and challenges. The AUTOSAR standard is complex and does leave room for interpretation and optimizations. In order to be competitive, Tier-2 developers strive after implementing several optimizations and utilizing room for interpretation of the standard to make their product out-perform the competition. The goal of this project is to exploit the technology of model-based testing in order to detect deviations from the AUTOSAR standard and furthermore trace the consequences of such deviations into visible deviating behavior (failures). Terms of Employment = The position will be fixed term 3-year position (renewed yearly with mutual consent), as an assistant professor or a (postdoctoral) researcher, depending on the qualifications and interests of the chosen candidate. The position is supposed to start on February 1, 2015. The starting time can be negotiated (within an interval of ca. 3 months) depending the availability of the candidate. The selected candidate will perform research and teaching at the Center for Research on Embedded Systems at Halmstad University. The teaching load for the assistant professor position will be about 20% of the time (up to 2 courses in a year). If the candidate is selected for the assistant professor position, a plan will be devised to facilitate career development into a permanent associate professor (universitetslektor) position. Upon availability of funds and by mutual agreement the contract may then be extended or made permanent. For the assistant professor position the salary is to be settled by negotiation. The application should include a statement of the salary level required by the candidate. For the postdoc position, the salary level is fixed at ca. 35 SEK/month gross and 29k SEK/month net . The employed candidate enjoys the usual rights of a university employee, such as pension and other social enumerations, as well as parental leave. Qualifications The position is intended for someone with a PhD degree in Computer Science, Computer Engineering, or closely related fields not earlier than 7 years before the time limit for applying. Desirable skills include expertise in formal methods, testing, software engineering, and programming languages. The research track record should demonstrate excellence in research in one of the above-mentioned areas. For the assistant professor position, a track record of teaching or tutoring is required. Working Environment The selected candidate will be performing research in a very vigorous and international research environment at the Center for Research on Embedded Systems (CERES) at Halmstad University. The research project will be carried out in collaboration with Quviq and ArcCore companies as well as several internationally renowned research groups. For more information on CERES please see: http://ceres.hh.se/ For more information on the Model-Based Testing research at CERES, please see: http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification Living Environment === Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between two cosmopolitan areas: the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live. It can be reached by a direct train connection from the Copenhagen Kastrup Airport, as well as many other local airports (e.g., Halmstad, Malmo, and Angelholm
[TYPES/announce] NWPT 2014: Call for Participation (Reg. Deadline: October 15)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call for Participation The 26th Nordic Workshop on Programming Theory, NWPT '14 29-31 October 2014 - Halmstad University, Sweden Registration Deadline: 15 October 2014 http://ceres.hh.se/mediawiki/index.php/NWPT_2014 *** =Introduction= The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). =Invited Talks= * Holger Hermanns, Saarland University, Germany, Concurrent Programming Education in the Post-Java Era * Anna Ingolfsdottir, Reykjavik University, Iceland, Graphical versus Logical Specifications * Catuscia Palamidessi, INRIA Saclay and École Polytechnique, France, New Advances in Quantitative Information Flow =Contributed Talks= R. Pardo and G. Schneider. Privacy-Preserving Social Networks B. Alkhawaldeh. Modelling and Verification of RBC Handover Using CSP D. Plump. From Imperative to Rule-based Graph Programs G. Caltais and B. Meyer. Coffman deadlocks in SCOOP J. J. Camilleri and G. Schneider. On the formal analysis of normative texts F. Rabbi, Y. Lamo, I. Yu and L. Kristensen. Towards a Diagrammatic Rewriting System for Model Completion P. Bahr, J. Berthold and M. Elsman. Towards Certified Management of Financial Contracts J. M. Chimento, W. Ahrendt, G. Schneider and G. Pace. StaRVOOrS: A Framework for Unified Static and Runtime Verification of Object-Oriented Software H. Yin, R. Inam, Reinder Bril and Mikael Sjödin. Formalization and verification of mode changes in hierarchical scheduling V. Stolz. Safer Refactorings M. Parsa, C. Snook, M. Olszewska and M. Walden. Parallel development of Event-B systems with agile methods M. Taimoor Khan, D. Serpanos and H. Shrobe. On the Behavioral Formalization of the Cognitive Middleware AWDRAT W. Taha, K. Atkinson, P. Brauner, R. Cartwright, A. Chapoutot, A. Duracz, J. Duracz and Y. Zeng. The Acumen Language S. Savas and E. Gebrewahid. Development of Architecture and Software Tools for High Performance Embedded Computing M. Varshosaz and H. Beohar. Delta-Oriented Testing for Finite State Machines M. Mohaqeqi, M. R. Mousavi and W. Taha. Conformance Testing of Cyber-Physical Systems: A Comparative Study C. Bach Poulsen and P. D. Mosses. Divergence as State in Coinductive Big-Step Semantics H. Beohar. Towards a Precongruence Format for Input-Output Conformance Abeer Al-Humaimeedy and Maribel Fernandez. Introducing Mobility into CSP T. Uustalu. How to contain monads? J. Chapman and A. Abel. Normalization by Evaluation in the Delay Monad: An Extended Case Study for Coinduction via Copatterns and Sized Types =Venue= The workshop will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular holiday destination located on the Swedish west coast. Direct trains services are available between Halmstad and Göteborg (ca. 75 minutes), and between Halmstad and the Malmö-Copenhagen area (incl. Copenhagen Kastrup Airport, in about 2 hours) There are also direct daily flights between Halmstad and Stockholm.
[TYPES/announce] Nordic Workshop on Programming Theory (NWPT'14): Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call for Papers The 26th Nordic Workshop on Programming Theory, NWPT '14 29-31 October 2014 - Halmstad University, Sweden http://ceres.hh.se/mediawiki/index.php/NWPT_2014 *** =Introduction= The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). =Scope= Topics of interest include (but are not limited to) * semantics of programming languages * programming language design and programming methodology * programming logics * formal specification of programs * program verification * program construction * tools for program verification and construction * program transformation and refinement * real-time and hybrid systems * models of concurrency and distributed computing * language-based security. =Important Dates= Tentative deadlines: * 14 September 2014: Submission of abstracts * 28 September 2014: Notification * 5 October 2014: Registration deadline * 29-31 October 2014: Workshop =Submission= Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls from http://www.easychair.org/easychair.zip) through EasyChair. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. Submission website is located at: [ https://www.easychair.org/conferences/?conf=nwpt2014 https://www.easychair.org/conferences/?conf=nwpt2014] =Publication= The abstracts of the accepted contributions will be available at the workshop. We have arranged a special issue of the [ http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming Journal of Logic and Algebraic Methods in Programming] dedicated to the best contributions of the journals. The contributions will be invited after the workshop and will undergo a rigorous review process according to the stringent rules of JLAMP. =Invited Speakers= * Holger Hermanns, Saarland University, Germany * Anna Ingolfsdottir, Reykjavik University, Iceland * Catuscia Palamidessi, INRIA Saclay and École Polytechnique, France =Program Committee= * Luca Aceto, Reykjavík Univ., Iceland * Lars Birkedal, Aarhus Univ., Denmark * Einar Broch Johnsen, Univ. of Oslo, Norway * Michael R. Hansen, DTU, Denmark * Keijo Heljanko, Aalto Univ., Finland * Fritz Henglein, Univ. of Copenhagen, Denmark * Yngve Lamo, Bergen Univ. Col., Norway * Kim G. Larsen, Aalborg Univ., Denmark * Mohammad Mousavi, Halmstad Univ., Sweden * Bengt Nordström, Univ. of Gothenburg, Sweden * Olaf Owe, Univ. of Oslo, Norway * Paul Pettersson, Mälardalen Univ., Sweden * Gerardo Schneider, Chalmers, Sweden * Walid Taha, Halmstad Univ., Sweden * Tarmo Uustalu, Inst. of Cybernetics, Estonia * Jüri Vain, Tallinn Univ. of Tech., Estonia * Marina Waldén, Åbo Akademi Univ., Finland * Uwe Wolter, Univ. of Bergen, Norway * Wang Yi, Uppsala Univ., Sweden =Venue= The workshop will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular holiday destination located on the Swedish west coast. Direct trains services are available between Halmstad and Göteborg (ca. 75 minutes), and between Halmstad and the Malmö-Copenhagen area (incl. Copenhagen Kastrup Airport, in about 2 hours) There are also direct daily flights between Halmstad and Stockholm. =History= The previous editions were held in * Uppsala (1989, 1999 and 2004), * Aalborg (1990), * Göteborg (1991 and 1995), * Bergen (1992, 2000 and 2012), * Åbo (1993, 1998, 2003 and 2010), * Aarhus (1994), * Oslo (1996, 2007), * Tallinn (1997, 2002, 2008 and 2013), * Lyngby (2001 and 2009), * Copenhagen (2005), * Reykjavík (2006), and * Västerås (2011). =Organizers= * Veronica Gaspes (Organization Chair) * Mohammad Mousavi (Program Co-Chair) * Eva Nestius (Local Organization) * Walid Taha (Program Co-Chair)
[TYPES/announce] Fourth Halmstad Summer School on Testing (HSST 2014): Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The Fourth Halmstad Summer School on Testing Halmstad University, Sweden June 9 - June 12, 2014 http://ceres.hh.se/mediawiki/index.php/HSST_2014 === Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigour and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 4th Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Automated Test Generation via Satisfiability Modulo Theory Solvers (Thomas Ball, Microsoft Research) Model-Based Testing, the Difference between Theory and Practice (Machiel van der Bijl, Axini BV) Improved Testing of Multithreaded Programs with Dynamic Symbolic Execution (Keijo Heljanko, Aalto University) Property-based testing with QuickCheck (John Hughes, QuviQ and Chalmers) Testing and Verifying Software Properties with ACL2 and ProofPad (Rex Page, University of Oklahoma) Practical Model-Based Testing With Papyrus and RT-Tester (Jan Peleska, Verified International GMBH and Bremen University) Model-Based Testing - There is Nothing More Practical than a Good Theory (Jan Tretmans, Radboud University Nijmegen and TNO - ESI) Registration == The registration deadline is April 15, 2014. To apply to the summer school, please send an email to veronica.gas...@hh.se with Halmstad Summer School on Testing in the title. If you have any dietary requirements, or would like to attend only certain days of the summer school, please specify in your email text. The registration fee is 2000 SEK (approx. 225 EUR, ) and covers lunches, coffee breaks, the social event, and the study material but does *not* include the social dinner. A ticket to the social dinner costs 500 SEK and can be requested upon registration (please indicate in your email). After sending the registration email, you will receive a confirmation. Please proceed to payment after you receive the confirmation email through the summer school web site. Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport to Stockholm. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad. More travel information can be found at the school page: http://ceres.hh.se/mediawiki/index.php/HSST_2014#Venue Organizers Veronica Gaspes (Organization Chair, veronica.gas...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Eva Nestius (Local Organization) Walid Taha (Program Co-Chair, walid.t...@hh.se) The abstracts of the tutorials and the biographies of the speakers can be found at: http://ceres.hh.se/mediawiki/index.php/HSST_2014 For more information, contact one of the organizers.
[TYPES/announce] Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden Background === Software Product Lines (SPLs) have become common practice and have been proven effective in mass production and customisation of software. There have been several attempts to provide a structured discipline for testing SPLs. However, fundamental approaches to model-based testing (based on finite state machines and labeled transition systems) are not yet fully adapted to and adopted in this domain. This project aims at closing this gap by providing fundamental theories and developing tool support for model-based testing of SPLs. Qualifications The position is intended for someone with a Masters degree in Computer Science, Computer Engineering or closely related fields. Desirable skills include expertise in formal methods, testing, software (product line) engineering and programming. Working Environment The Ph.D. student will be performing research in a very vigorous and international research environment at the Center for Research on Embedded Systems (CERES) at Halmstad University. The research project will be carried out in collaboration with several internationally renowned research groups including the Verified Systems Group at the University of Bremen and the Dependable Systems Group at Saarland University. For more information on CERES please see: http://ceres.hh.se/ For more information on the Model-Based Testing research at CERES, please see: http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification Living Environment === Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between two cosmopolitan areas: the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live. It can be reached by a direct train connection from the Copenhagen Kastrup Airport, as well as many other local airports (e.g., Halmstad, Malmo, and Angelholm airports). Sweden is well known for a very high quality of life and excellent social care facilities. There are excellent (incl. international) schools and day-cares around, as well as various recreational and entertainment facilities. The working language is English and no knowledge of Swedish is required. Also for daily life, English is spoken widely and Sweden has the highest English Proficiency index in the world. If the student wishes to learn Swedish both the university and the local government provide extensive facilities. Salary and Terms = The position concerns a funded 4-year Ph.D. position (extensible for 1 more year). It offers a very competitive salary (ca. 24K SEK/month gross for the first year, increasing annually to ca. 30k SEK/month for the last year) and attractive employment terms. A Ph.D. student is considered a university employee and enjoys all the rights thereof (including pension and other social enumerations, as well as parental leave). Application Procedure and Deadlines = The application should comprise a single PDF file and should be received no later than November 30, 2013. The application package consists of: 1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position, 2) a CV that includes at least - A list of previous degrees, dates, and institution Transcripts for higher-education studies until most recent available - A list of publications and a description of previous research and other work experience and links to online copies of the most important publications - Contact information for at least three references - Optionally, results from standardised tests such as GRE or TOEFL may be included We ask the candidates to send the required material to rekrytering...@hh.se with a CC to m.r.mous...@hh.se , mentioning Ph.D. Position IDE 14/13 in the subject line. The candidates will be asked to formally apply by sending the same material to the university registrar, as soon as the position is formally announced on the university website. Application must be received before 2013-11-31 to receive full consideration. The expected starting date is 2014-01-01, but is negotiable depending on the successful candidate's conditions. Informal enquiries regarding the position, the project and the working environment are most welcome and should be addressed to Mohammad Mousavi ( m.r.mous...@hh.se). For employment terms, you may contact the representative of the labor union
[TYPES/announce] Halmstad Summer School on Testing (June 3 - June 5)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Third Halmstad Summer School on Testing Halmstad University, Halmstad, Sweden June 3 - June 5, 2013 http://blog.accurate-programming.org/ Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigor and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 3rd Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Test-Driven Software Development in Java Including Concurrency (Robert Cartwright, Rice) Industrial-Strength Model-Based Testing and its Methodology (Wen-Ling Huang and Jan Peleska, Verified Systems and Bremen) Property-based testing with QuickCheck (John Hughes, QuviQ and Chalmers) Closing the V - by going from V to DEL (Tony Larsson, Halmstad) Testing and Verifying Software Properties with ACL2 and ProofPad, and Dracula (Rex Page, Oklahoma) Introduction to Model-Based Testing (Mohammad Mousavi, Halmstad) Hands on ScalaCheck (Rickard Nilsson, Lund) Accurate Programming Using ScalaCheck (Walid Taha, Halmstad) Registration == The registration deadline is May 1, 2013. The registration fee is 1000 SEK (approx. 120 EUR) and covers lunches and coffee breaks. To apply to the summer school, please send an email to veronica.gas...@hh.se with Halmstad Summer School on Testing in the title. Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport to Stockholm. Directions for getting to campus can be found here: http://www.hh.se/english/abouttheuniversity/visitus.307_en.html The campus map, with a link to a printable pdf version can be found here: http://hh.se/english/discover/visitus/campusmap.1252_en.html If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad. The train leaves from the airport itself approximately once an hour on weekdays. We recommend that you check the time-table here: http://www.sj.se/start/startpage/index.form?l=en and allow one hour from touchdown to getting to the train station (just outside customs). In Halmstad, everything is either in walking distance or a short taxi ride away. Usually there are taxis at the station. If there are none there is a phone that connects directly to the local taxi company. For the eventuality that the phone is not working, it is good to have a cell phone handy. The number for the taxi company is written on the phone. Note that CPH is in Denmark (and not in Sweden). So, if you need visas for European countries, make sure you get one that works for both. If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That is one transfer and one wait. Accommodation = Here are some suggestions for the accommodation, with an indication of their price range, (obtained from booking.com) and their distance to the summer school venue: Hotel Continental (~140-160 EUR / night, 1.5km) Scandic Hallandia (~160-200 EUR / night, 2km) Hotel Amadeus (~100-120 EUR / night, 2.5km) First Hotel Martenson (~130-150 EUR / night, 2km) Quality Hotel Halmstad (~80-100 EUR / night, 3 km) STF Halmstads Hostel Kaptenshamn (~80-100 EUR / night, 2km) Organizers Veronica Gaspes (Organization Chair, veronica.gas...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Eva Nestius (Local Organization) Walid Taha (Program Co-Chair, walid.t...@hh.se) The abstracts of the tutorials and the biographies of the speakers can be found at: http://blog.accurate-programming.org/ For more information, contact one of the organizers.