Fundamental Approaches to Software Engineering

Just to remind you that #fase23 proceedings are open access, free for everybody to read. Get them here: link.springer.com/book/10.1007/9… All @ETAPSconf proceedings are open access and can be accessed at: etaps.org/2023/proceedin… #OpenAccess #OpenScience #etaps2023 #etaps23

Probability in Computer Science PICS: The best PhD School of the Century October 14-18, 2024 etaps.org/about/fopss-sc… #pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM

Lars Birkedal will be talking about Higher-Order Probabilistic Relational Separation Logic at 9am in Room Europe A etaps.org/2024/speakers/…

Two candidates for best paper coming up in the 10.30am session: Z3-Noodler in the TACAS session on SAT and SMT, and Integrating Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems in the FASE session on Runtime approaches

We are rolling #fase2024

Lars Birkedal has just started his ETAPS invited talk "Higher-Order Probabilistic Relational Separation Logic".

Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it! etaps.org/blog/020-david…

Programme of Industry Day @ ETAPS has been published! etaps.org/2024/industry-… etaps.org/2024/programme… #etaps #industryday

Interview with Joost-Pieter Katoen, a former president of ETAPS association, on his research just published at our blog! etaps.org/blog/014-joost…

ETAPS 2024 will feature four talks and two tutorials given by great invited speakers! etaps.org/2024/speakers/

FASE deadline is this week? etaps.org/2024/cfp/ Are you ready? youtube.com/watch?v=CIhylL… #fase24 #etaps24

FASE Conference deadline in less than a month. How are your papers going? etaps.org/2024/cfp/ Fundamental Approaches to Software Engineering Join us to discuss the foundations on which software engineering is built #fase24 #fase2024 @ETAPSconf

Our important dates and deadlines are published. How are your papers going folks?

ETAPS photo gallery is now available to ETAPS Association members! etaps.community/association/ga…

ETAPS has a mastodon account! @ETAPSconf@mastodon.education @ETAPSconf" target="_blank" rel="nofollow noopener">mastodon.education/@ETAPSconf

Counterpoint: scaling alone hasn’t even brought LLMs to reliable multi digit integer arithmetic. Also: exponential progress in Go playing hasn’t led AlphaGo to take any interest whatsoever in human territory or even led it to ask what a stone is.

The current open acess push (and I'm 100% in favour) is, unfortunately, being used by many as a justification to waste public money by paying predatory journals.

After all the postings about our @ETAPSconf Test-of-Time award, let me point you to the actual @FaseConf *paper* that got the award: doi.org/10.1007/978-3-… It is a beautifully simple and extremely effective technique. Here the slides: sosy-lab.org/research/prs/2…

ETAPS 2023 is over. Au revoir, Paris! See you next year in Luxembourg!

The bibtex entry of the paper: dblp.org/rec/conf/fase/… Please don't cite it 😜! Cite other FASE papers so they also get the award 😜! If you want the award, remember that a precondition is to first submit to FASE! Why not start working on your #fase24 submission right away?

@beyer_dirk made FASE history today, receiving the ETAPS Test-of-Time award for his 2013 paper at FASE. This is the first time FASE receives this award in the 7 years of the award's history. Congratulations to Dirk and congratulations to us!