International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf. https://xitter.cf/t.co/cSrjqFLj2C
Paris 2023
Joined May 2021
- Tweets168
- Following47
- Followers130
- Likes157
Pinned Tweet
Just to remind you that #fase23 proceedings are open access, free for everybody to read. Get them here: link.springer.com/book/10.10…
All @ETAPSconf proceedings are open access and can be accessed at: etaps.org/2023/proceedings/
#OpenAccess #OpenScience #etaps2023 #etaps23
Fundamental Approaches to Software Engineering retweeted
Probability in Computer Science
PICS: The best PhD School of the Century
October 14-18, 2024
etaps.org/about/fopss-school…
#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM
Fundamental Approaches to Software Engineering retweeted
Lars Birkedal will be talking about Higher-Order Probabilistic Relational Separation Logic at 9am in Room Europe A
etaps.org/2024/speakers/lars…
Fundamental Approaches to Software Engineering retweeted
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 retweeted
Lars Birkedal has just started his ETAPS invited talk "Higher-Order Probabilistic Relational Separation Logic".
Fundamental Approaches to Software Engineering retweeted
Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it!
etaps.org/blog/020-david-mon…
Fundamental Approaches to Software Engineering retweeted
Programme of Industry Day @ ETAPS has been published!
etaps.org/2024/industry-day/
etaps.org/2024/programme/pro…
#etaps #industryday
Fundamental Approaches to Software Engineering retweeted
Interview with Joost-Pieter Katoen, a former president of ETAPS association, on his research just published at our blog!
etaps.org/blog/014-joost-pie…
Fundamental Approaches to Software Engineering retweeted
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=CIhylLW4…
#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?
The ETAPS 2024 important dates are out. etaps.org/2024/cfp/
Fundamental Approaches to Software Engineering retweeted
ETAPS photo gallery is now available to ETAPS Association members! etaps.community/association/…
ALT ETAPS Photo Gallery screenshot
Fundamental Approaches to Software Engineering retweeted
ETAPS has a mastodon account! @[email protected] mastodon.education/@ETAPScon…
Fundamental Approaches to Software Engineering retweeted
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.
Fundamental Approaches to Software Engineering retweeted
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.
Fundamental Approaches to Software Engineering retweeted
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-642-37… It is a beautifully simple and extremely effective technique. Here the slides: sosy-lab.org/research/prs/20…
Fundamental Approaches to Software Engineering retweeted
ETAPS 2023 is over. Au revoir, Paris! See you next year in Luxembourg!
@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!
The bibtex entry of the paper: dblp.org/rec/conf/fase/Beyer…
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?
