https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?RSS&L=FMNET&v=1.0FMNET List
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A0=FMNET
FMNET List Archives2024-02-28T14:14:28ZPowered by L-Soft's LISTSERV mailing list manager
http://www.lsoft.com/products/listserv-powered.asp
http://www.lsoft.com/images/listserv_small.gifICE 2024: Second Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;dd86f608.2402
ICE 2024<br>17th Interaction and Concurrency Experience<br>June 21, 2024, Groningen<br>Satellite workshop of DisCoTec 2024<br><br>https://www.discotec.org/2024/ice<br><br>Submission link:<br>https://ice24.hotcrp.com/<br><br>The Interaction and Concurrency Experience (ICE) series of<br>international scientific meetings are a forum for computer science<br>researchers with research interests in models, verification, tools,<br>and programming primitives for complex interactions.<br><br>=== HIGHLIGHTS ===<br><br>* Distinctive selection procedure<br>* ICE welcomes full papers to be included in the proceedings<br>* ICE also welcomes oral communications of already published or preliminary work<br>* New this year: two-round paper submission.<br>* Publication in EPTCS<br>* Special issue in the Journal of Logical [...]
2024-02-28T15:14:18+01:00Violet Ka I Punhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;dd86f608.2402TAROT Summer School 2024 - Software Testing, Verification & Validation, Bergamo, 8th-12th July 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;d7421b89.2402
TAROT Summer School 2024<br>Summer School on Software Testing, Verification & Validation, Bergamo, 8th-12th July 2024<br>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 software and communication systems. This summer school brings together lecturers, researchers, students, and people from industry across Europe for one week of presentations, discussions and getting to know each other.<br>The main goal of the TAROT Summer School is to give researchers, PhD students, and master students the opportunity to follow a number of tutorials or invited [...]
2024-02-23T11:18:50+00:00Silvia Bonfantihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;d7421b89.2402TASE 2024: CfP deadline extended till 27 February 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;9f6dac18.2402
*TASE 2024: 18th International Symposium on Theoretical Aspects of Software<br>Engineering*<br>July 29 - August 1, Guiyang City, China<br>https://tase2024.github.io/<br><br>***Submission Deadline Extended<br>Abstract Submission (mandatory): *February 27, 2024* (extended)<br>Paper Submission: *March 5, 2024* (extended)<br><br>Overview
2024-02-22T09:51:52+00:00Jonathan Bowenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;9f6dac18.2402FM 2024: Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;86eb8daf.2402
International Symposium on Formal Methods<br>9-13 September 2024<br>Politecnico di Milano, Milan, Italy<br>https://www.fm24.polimi.it<br>Twitter/X : @FMsymp<br><br>CALL FOR PAPERS<br><br>FM 2024 is the 26th international symposium on Formal Methods in a<br>series organized by Formal Methods Europe (FME).<br><br>FM 2024 features regular papers, tutorial papers, an industry day, an<br>embedded systems track and more.<br><br>The conference proceedings will be published OPEN ACCESS by Springer in<br>the LNCS series, as part of the FM subline. [...]
2024-02-21T14:54:06+00:00Livia Lestingihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;86eb8daf.2402BCS-FACS Seminar, 26 March 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;34f0dc55.2402
BCS-FACS Seminar<br><br>https://www.bcs.org/events-calendar/2024/march/webinar-scott-models-for-probabilistic-computation/<br><br>Date and time<br><br>Tuesday, 26 March 2024, 18:00 – 19:30 BST<br>Location<br><br>Online<br>Free registration <https://26march24facs.eventbrite.co.uk/><br><br>https://26march24facs.eventbrite.co.uk/<br><br>Note that this event is online only.<br>Timetable<br><br>6:00pm - Start of seminar.<br>7:00pm - Questions.<br>7:30pm - End of seminar.<br>Seminar Details<br><br>Title: Scott models for probabilistic computation: a Cartesian closed<br>category for random variables<br><br>Speaker: Professor Abbas Edalat, Imperial College London<br><br>Abstract: Scott domains, or more generally continuous domains, have been<br>the traditional framework for semantics of programming languages. It has<br>however been a key open problem since 1980’s to develop a model of<br>probabilistic semantics based on [...]
2024-02-20T17:11:46+00:00Alvaro Miyazawahttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;34f0dc55.2402Last CFP for ABZ 2024 – 10th International Conference on Rigorous State Based Methods Jun 25--28 Jun 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;9fc09993.2402
Last CFP for ABZ 2024 – 10th International Conference on Rigorous State Based Methods Jun 25--28 Jun 2024<br><br>Missed the abstract submission deadline for ABZ 2024?<br>You can still contribute and submit your paper to ABZ 2024 before the time runs out!<br><br>Several types of contributions are welcome (research/short/industry/journal-first/case study papers and doctoral symposium).<br>Do not lose the opportunity to meet us in Bergamo (Italy), a very smiling and lovely city in June! [...]
2024-02-16T15:40:45+00:00Silvia Bonfantihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;9fc09993.2402QEST+FORMATS: Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;929bb470.2402
[Apologies for cross-posting]
2024-02-14T11:44:50+00:00Patrick Totzkehttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;929bb470.24022024 Summer School on Formal Techniques, Atherton, California (May 25-31, 2024) + Formal Methods in the Field Bootcamp (June 1/2, 2024)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;d2b27a5f.2402
Thirteenth Summer School on Formal Techniques, May 25 - June 3, 2024 (http://fm.csl.sri.com/SSFT24)<br> Menlo College, Atherton, California<br><br>Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the thirteenth in the series, focuses on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in [...]
2024-02-13T16:48:10-08:00Natarajan Shankarhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;d2b27a5f.2402Post in formal testing
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;6cd84b3d.2402
The RoboStar <https://robostar.cs.york.ac.uk/> centre on Software<br>Engineering for Robotics is inviting applications for the role of Research<br>Associate, to carry out research on model-based testing of robotic systems<br>using formal notations. This position is funded by the UKRI for up to 22<br>months. The work is in the context of a joint project between the<br>Department of Computer Science and the School of Physics, Electronic, and<br>Technology at York, the University of Sheffield, and a number of industrial<br>partners. [...]
2024-02-12T13:53:36+00:00Ana Cavalcantihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;6cd84b3d.2402ICGT '24 Final Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;ec367dba.2402
[apologies for cross-posting]<br><br>***** FINAL CALL FOR PAPERS *****
2024-02-12T09:49:49+01:00Jens Kosiolhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;ec367dba.2402ICCPS 2024: CALL FOR POSTERS AND DEMOS
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;2cb57a7b.2402
15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2024)<br><br>Call for Posters and Demos<br><br>Important dates<br><br>Submission Deadline (EXTENDED): February 15, 2024 (Anytime on Earth)<br>Acceptance Decision & Notifications: March 2, 2024 (Anytime on Earth)<br>Camera-ready Submission: March 9, 2024 (Anytime on Earth)<br>Conference: May 13-16, 2024<br><br>ICCPS 2024 seeks high-quality technical abstracts for posters and<br>demos in the area of cyber-physical systems (CPS), including late<br>breaking results or work-in-progress on theory, platform design and<br>implementation, verification and validation, empirical case studies,<br>and other work that has the potential to advance the state-of-the-art<br>in CPS. Authors of each accepted abstract [...]
2024-02-10T11:31:29+00:00Sadegh Soudjanihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;2cb57a7b.2402CFP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;281db178.2402
*TASE 2024: 18th International Symposium on Theoretical Aspects of Software<br>Engineering*<br><br>* Overview*
2024-02-07T08:58:07+00:00Jonathan Bowenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;281db178.2402BCS-FACS Seminar, 20 February 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;3d967c0.2402
BCS-FACS Seminar<br><br>https://www.bcs.org/events-calendar/2024/february/webinar-the-si-digital-framework-underpinning-fair-measurement-data/<br><br>Date and time<br><br>Tuesday, 20 February 2024, 17:15 – 19:30 BST<br>Location<br><br>Online<br>Free registration <https://20feb24facs.eventbrite.co.uk/><br><br>https://20feb24facs.eventbrite.co.uk/<br><br>Note that this event is online only.<br><br>It is possible to attend just the talk at 6 pm if you prefer.<br>Timetable<br><br>17:15 - Networking for all attendees online.<br>18:00 - Talk starts.<br>19:00 - Questions.<br>19:30 - End of talk.<br>Seminar Details<br><br>Title: The SI Digital Framework: Underpinning FAIR measurement data [...]
2024-02-06T16:34:15+00:00Alvaro Miyazawahttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;3d967c0.2402Postdoc on Digital Twins? Open positions in MSCA CO-FUND project DSTRAIN, Uni Oslo, Norway
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;b2d6636c.2402
Are you interested in a postdoc on Digital Twins at the Department of Informatics, University of Oslo, Norway?<br><br>DSTrain is an interdisciplinary Marie Skłodowska-Curie COFUND post-doctoral training programme, co-funded by the European Commission, which will offer 36 full-time Postdoc positions for a duration of 36 months. The programme is hosted by University of Oslo, Norway’s main university. The Department of Informatics offers a leading research environment and Oslo one of the highest living standards in the world. [...]
2024-02-01T16:01:54+00:00Einar Broch Johnsenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;b2d6636c.2402First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;e2759325.2402
[ Please distribute, apologies for multiple postings. ]
2024-02-01T14:58:10+00:00Marmsoler, Diegohttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;e2759325.2402CFP: 8th IEEE International Workshop on Software Engineering for Smart Systems (SESS 2024)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;8fd1a8c8.2401
Dear colleagues,<br><br>You are invited to submit a paper to the 8th IEEE International Workshop on Software Engineering for Smart Systems (SESS 2024)<https://ieeecompsac.computer.org/2024/sess/> to be held on 2-4 July 2024 in Osaka in Japan. SESS 2024 is a forum for researchers, practitioners and developers to share their experiences and discuss the latest advances and innovations in software engineering with application to the development of smart systems. The topics that will be covered in SESS 2024 include, but are not limited to: [...]
2024-01-29T12:12:05+00:00Francois Siewehttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;8fd1a8c8.2401TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;727175ce.2401
*TASE 2024: 18th International Symposium on Theoretical Aspects of<br>Software Engineering*<br><br>Overview
2024-01-25T11:27:45+00:00Jonathan Bowenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;727175ce.2401FMBC 2024 – Fourth Call for Papers (deadline extension)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;8115624e.2401
[ Please distribute, apologies for multiple postings. ]
2024-01-25T10:59:42+00:00Marmsoler, Diegohttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;8115624e.2401Postdoctoral Research Fellow in Formal Methods for Business Process Modelling
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;75d792ab.2401
Postdoctoral Research Fellow in Formal Methods for Business Process Modelling<br><br>available at<br>Dept. of Computer Science,<br>Western Norway University of Applied Sciences,<br>Bergen, Norway
2024-01-24T13:11:59+01:00Violet Ka I Punhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;75d792ab.2401FMICS 2024 Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;19672423.2401
FMICS 2024:<br>29th International Conference on Formal Methods for Industrial Critical<br>Systems<br><br>Milan, Italy, 9-11 September 2024<br>https://fmics.inria.fr/2024<br><br>The aim of the FMICS conference series is to provide a forum for<br>researchers and practitioners who are interested in the development and<br>application of formal methods in industry. FMICS brings together<br>scientists and engineers who are active in the area of formal methods<br>and interested in exchanging their experiences in the industrial usage<br>of these methods. The FMICS conference series also strives to promote<br>research and development for the improvement of formal methods and tools<br>for industrial applications. [...]
2024-01-23T14:32:44+01:00Anne Elisabeth Haxthausenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;19672423.24012nd Call for Papers: FAACS 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;454ac345.2401
[Apologies for multiple copies]
2024-01-16T16:19:21+00:00Livia Lestingihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;454ac345.2401Last call: PhD scholarships at ANU in formal methods
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;3af110a.2401
I have two PhD scholarships available at The Australian National University<br>in formal methods. The deadline is *this Friday 19th Jan*. This is a final<br>call for applications as there have not been many applicants with a logic<br>or formal methods background. Applicants with a background in formal<br>methods or logic are strongly encouraged to apply. [...]
2024-01-16T17:52:17+11:00Nisansala Yatapanagehttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;3af110a.2401MARS 2024 - Call for papers (deadline extension January 25th) - Luxembourg City (Luxembourg)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;2ee1cead.2401
Submission deadline extended to January 25, 2024.<br><br>Call for Papers<br><br>Models for Formal Analysis of Real Systems<br>(MARS 2024)<br><br>April 6th, 2024<br>Affiliated with ETAPS 2024<br>Luxembourg City, Luxembourg<br><br>http://mars-workshop.org/mars2024/<br><br>The MARS workshops bring together researchers from different<br>communities who are developing formal models of real systems in areas<br>where complex models occur, such as networks, cyber-physical systems,<br>hardware/software codesign, biology, etc.<br>The motivation and aim for MARS stem from the following two observations: [...]
2024-01-15T21:43:51+01:00Matthias Volkhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;2ee1cead.2401FMBC 2024 - Third Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;cd3f4ac.2401
FMBC 2024 - Third Call for Papers<br><br>[ Please distribute, apologies for multiple postings. ]
2024-01-15T13:44:41+00:00Marmsoler, Diegohttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;cd3f4ac.2401ICE 2024: First Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;c299b68a.2401
ICE 2024<br>17th Interaction and Concurrency Experience<br>June 21, 2024, Groningen<br>Satellite workshop of DisCoTec 2024<br><br>https://www.discotec.org/2024/ice<br><br>Submission link:<br>https://ice24.hotcrp.com/<br><br>The Interaction and Concurrency Experience (ICE) series of<br>international scientific meetings are a forum for computer science<br>researchers with research interests in models, verification, tools,<br>and programming primitives for complex interactions.<br><br>=== HIGHLIGHTS ===<br><br>* Distinctive selection procedure<br>* ICE welcomes full papers to be included in the proceedings<br>* ICE also welcomes oral communications of already published or<br>preliminary work<br>* New this year: two-round paper submission.<br>* Publication in EPTCS (to be confirmed)<br>* Special issue in the [...]
2024-01-14T10:32:34+01:00Violet Ka I Punhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;c299b68a.2401QEST+FORMATS 2024: Call for Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;5e45e29a.2401
The joint event for the International Conferences on Quantitative<br>Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed<br>Systems (FORMATS)<br><br>9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella<br>conference<br>https://www.qest-formats.org/<br><br>Abstract deadline: 26 March 2024 (Anytime on Earth)<br>Paper deadline: 31 March 2024 (Anytime on Earth)<br><br>SCOPE AND TOPICS<br><br>The two flagship conferences of QEST (International Conference on<br>Quantitative Evaluation of SysTems) and FORMATS (International Conference<br>on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic<br>process of joining forces and sparking a new joint conference for<br>quantitative modelling, analysis, and [...]
2024-01-13T12:47:11+00:00Sadegh soudjanihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;5e45e29a.2401[Deadline extended] WRLA 2024: Final Call For Papers
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;ff9a8db7.2401
The submission deadline for WRLA 2024 has been extended to January 29.<br>Please check the following for the Call For Papers.<br><br>The 15th International Workshop on Rewriting Logic and its Applications,<br>2024 (WRLA 2024) https://wrla2024.gitlab.io/,<br>a satellite event of ETAPS 2024 (https://etaps.org/), Luxembourg, April<br>6-7, 2024.<br><br>Rewriting is a natural model of computation and an expressive semantic<br>framework for concurrency, parallelism, communication, and interaction. It<br>can be used for specifying a wide range of systems and languages in various<br>application domains. It also has good properties as a metalogical framework<br>for representing logics. Several successful languages based on rewriting<br>(ASF+SDF, [...]
2024-01-12T10:52:00+09:00Tran Dinh Duonghttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;ff9a8db7.2401FACS FACTS 2024-1 January 2024 newsletter issue
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;a7335cbf.2401
The *FACS FACTS* newsletter of the BCS-FACS Specialist Group for January 2024<br>is now available for download and perusal. We hope you find something<br>interesting to read.<br><br>*FACS FACTS Issue 2024-1 January 2024:*<br><br><https://www.bcs.org/media/10146/facs-jan23.pdf><br><https://www.bcs.org/media/10894/facs-jul23.pdf><br>https://www.bcs.org/media/wjqdvedd/facs-jan24.pdf<br><br>The general *FACS FACTS* newsletter link is here:<br><br>https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/<br><br>Note that back issues can be found under:<br><br>https://www.bcs.org/membership-and-registrations/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/back-issues-of-facs-facts/<br><br>A tip: if you wish to search FACS newsletters and other FACS PDF documents<br>in the archive on the BCS website specifically, try adding the following as<br>part of a Google search: [...]
2024-01-11T17:20:50+00:00Jonathan Bowenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;a7335cbf.24012nd CfP: 17th International Conference on Graph Transformation (ICGT)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;39ee8fda.2401
[apologies for cross-posting]<br><br>***** 2nd CALL FOR PAPERS *****<br><br>IMPORTANT: the submission dates have been brought forward by one week<br>since the 1st CFP
2024-01-11T11:03:06+01:00Jens Kosiolhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;39ee8fda.2401Post-Doctoral Researcher in Autonomous Robotic Software Engineering, Manchester, UK
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;82b4a7c8.2401
[ Please pass this on to your colleagues who may be interested ]
2024-01-11T09:40:34+00:00Michael Fisherhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;82b4a7c8.2401FM 2024: 2nd Call for Workshops (deadline: January 19th)
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;97bfc6be.2401
International Symposium on Formal Methods<br>9-13 September 2024<br>Politecnico di Milano, Milan, Italy<br>https://www.fm24.polimi.it<br>Twitter/X : @FMsymp<br><br>DEADLINE: January 19th<br><br>Call for Workshops@Formal Methods 2024<br><br>FM 2024 is the 26th international symposium in a series organized by<br>Formal Methods Europe (FME), an independent association whose aim is to<br>stimulate the use of, and research on, formal methods for software<br>development. FM 2024 will be held September 9 - 13 in Milan, Italy. The<br>FM symposia have been successful in bringing together researchers and<br>industrial users around a program of original papers on research and<br>industrial experience, workshops, tutorials, reports on [...]
2024-01-11T08:20:58+00:00Livia Lestingihttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;97bfc6be.2401Re: LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024
https://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;1492c8d.2401
Reminder for LMS/FACS online talk below at 4pm GMT on Monday 15 January<br>2024. This talk is highly recommended to all those interested in<br>formal methods by an excellent speaker. Free registration is required to<br>attend (see details below).<br><br>Note also that the January 2024 issue of the *FACS FACTS* newsletter should<br>be online shortly, linked under<br>https://www.bcs.org/membership-and-registrations/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/ [...]
2024-01-08T12:05:29+00:00Jonathan Bowenhttps://www.jiscmail.ac.uk/cgi-bin/wa-jisc.exe?A2=FMNET;1492c8d.2401