[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

[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,

[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

[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

[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

[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

[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,

[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

[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

[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,

[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)

[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

[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

[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,

[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

[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

[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

[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

[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

[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

[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,

[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

[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

[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