FYI:Hybrid: FACS AGM and Peter Landin Semantics Seminar

[alex.shkotin]

https://www.bcs.org/events-calendar/2025/december/hybrid-facs-agm-and-peter-landin-semantics-seminar/

"Title: Formal Methods: Whence and Whither

Abstract: Alan Turing arguably wrote the first paper on formal methods over 75 years ago.Since then, there have been claims and counterclaims about formal methods. Tool development has been slow but aided by Moore’s Law with the increasing power of computers. Although formal methods are not widespread in practical usage at a heavyweight level, their influence has crept into software engineering practice to the extent that they are no longer necessarily called formal methods in their use. In addition, in areas where safety and security are important, with the increasing use of computers in such applications, formal methods are a viable way to improve the reliability of such software-based systems. Their use in hardware, where a mistake can be very costly, is also important. This talk explores the journey of formal methods to the present day and speculates on future directions, including the use of Artificial Intelligence."

[Gary Berg-Cross]

Well good if you are in the London area.

Gary Berg-Cross 

Potomac, MD

240-426-0770

--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/970fa456-bd05-4e6d-a686-8b17150f6060n%40googlegroups.com.

[James Davenport]

It does say "hybrid". Obviously there are time zone issues.

My workload obliges me to work, and send e-mails, outside working hours, but I don’t expect recipients to respond outside their working hours 

 

---

From: ontolo...@googlegroups.com <ontolo...@googlegroups.com> on behalf of Gary Berg-Cross <gberg...@gmail.com>
Sent: 26 November 2025 22:48
To: ontolog-forum <ontolo...@googlegroups.com>
Subject: Re: [ontolog-forum] FYI:Hybrid: FACS AGM and Peter Landin Semantics Seminar

 

CAUTION:  This email came from outside of the University. To keep your account safe, only click on links and open attachments if you know the person who sent the email, or you expected to receive this communication.

 

To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/CAMhe4f02mDZqV8YCaAnBVmaJ8d2CSWQsp%2B-WJhgV4n1KhmRMTw%40mail.gmail.com.

[Alex Shkotin]

Good if they have recordings available for the public.

Alex

чт, 27 нояб. 2025 г. в 01:48, Gary Berg-Cross <gberg...@gmail.com>:

To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/CAMhe4f02mDZqV8YCaAnBVmaJ8d2CSWQsp%2B-WJhgV4n1KhmRMTw%40mail.gmail.com.