Fundamental Approaches to Software Engineering

International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf.

[Fundamental Approaches to Software Engineering @FaseConf]

Just to remind you that #fase23 proceedings are open access, free for everybody to read. Get them here: https://t.co/vSvqpS5uAP

All @ETAPSconf proceedings are open access and can be accessed at: https://t.co/JKa0824Q1r

#OpenAccess #OpenScience #etaps2023 #etaps23

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Probability in Computer Science
PICS: The best PhD School of the Century
October 14-18, 2024
https://t.co/nhJwvpg0rb

#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Lars Birkedal will be talking about Higher-Order Probabilistic Relational Separation Logic at 9am in Room Europe A
https://t.co/1AuF6LtbHB

[ETAPS Conferences (now on other platforms) @ETAPSconf]

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

[Fundamental Approaches to Software Engineering @FaseConf]

We are rolling #fase2024

[ETAPS Conferences (now on other platforms) @ETAPSconf]

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

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it!

https://t.co/WRQYa6JhnV

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Programme of Industry Day @ ETAPS has been published!

https://t.co/GewOfFbRqq

https://t.co/1f2FlvQvBI

#etaps #industryday

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Interview with Joost-Pieter Katoen, a former president of ETAPS association, on his research just published at our blog!

https://t.co/37i0oEbEut

[ETAPS Conferences (now on other platforms) @ETAPSconf]

ETAPS 2024 will feature four talks and two tutorials given by great invited speakers!

https://t.co/iD9D69Tp0i

[Fundamental Approaches to Software Engineering @FaseConf]

FASE deadline is this week?
https://t.co/FQVkJsXQWf

Are you ready? https://t.co/RTwTuCHOWm

#fase24 #etaps24

[Fundamental Approaches to Software Engineering @FaseConf]

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

[Fundamental Approaches to Software Engineering @FaseConf]

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

[ETAPS Conferences (now on other platforms) @ETAPSconf]

The ETAPS 2024 important dates are out. https://t.co/gXMrLmovFO

[ETAPS Conferences (now on other platforms) @ETAPSconf]

ETAPS photo gallery is now available to ETAPS Association members! https://t.co/m46BYD69ct

[ETAPS Conferences (now on other platforms) @ETAPSconf]

ETAPS has a mastodon account! @[email protected] https://t.co/XlzSQTir7T

[Gary Marcus @GaryMarcus]

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.

[Jordi Cabot @JordiCabot]

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.

[Dirk Beyer @beyer_dirk]

After all the postings about our @ETAPSconf Test-of-Time award, let me point you to the actual @FaseConf *paper* that got the award: https://t.co/BqzpHECMlX It is a beautifully simple and extremely effective technique. Here the slides: https://t.co/5WmLhYFYzH

[ETAPS Conferences (now on other platforms) @ETAPSconf]

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

[Fundamental Approaches to Software Engineering @FaseConf]

The bibtex entry of the paper: https://t.co/e5dtVsAo3i

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?

[Fundamental Approaches to Software Engineering @FaseConf]

@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!

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Marieke Huisman is just opening a special session of ETAPS awards winners talks!