Fundamental Approaches to Software Engineering
@FaseConf
Followers
131
Following
159
Media
29
Statuses
168
International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf. https://t.co/cSrjqFLj2C
Paris 2023
Joined May 2021
Just to remind you that #fase23 proceedings are open access, free for everybody to read. Get them here: All @ETAPSconf proceedings are open access and can be accessed at: #OpenAccess #OpenScience #etaps2023 #etaps23
0
3
4
RT @ETAPSconf: Probability in Computer Science.PICS: The best PhD School of the Century.October 14-18, 2024. #pics….
0
2
0
RT @ETAPSconf: Lars Birkedal will be talking about Higher-Order Probabilistic Relational Separation Logic at 9am in Room Europe A. https://t….
0
1
0
RT @ETAPSconf: Two candidates for best paper coming up in the 10.30am session: .Z3-Noodler in the TACAS session on SAT and SMT, and Integra….
0
1
0
RT @ETAPSconf: Lars Birkedal has just started his ETAPS invited talk "Higher-Order Probabilistic Relational Separation Logic". https://t.co….
0
1
0
RT @ETAPSconf: Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it!.
0
10
0
0
2
0
RT @ETAPSconf: Interview with Joost-Pieter Katoen, a former president of ETAPS association, on his research just published at our blog!. ht….
0
2
0
RT @ETAPSconf: ETAPS 2024 will feature four talks and two tutorials given by great invited speakers!.
0
1
0
FASE Conference deadline in less than a month. How are your papers going?.Fundamental Approaches to Software Engineering.Join us to discuss the foundations on which software engineering is built.#fase24 #fase2024 @ETAPSconf.
0
2
2
Our important dates and deadlines are published. How are your papers going folks?.
The ETAPS 2024 important dates are out.
0
0
1
0
2
0
RT @GaryMarcus: Counterpoint: scaling alone hasn’t even brought LLMs to reliable multi digit integer arithmetic. Also: exponential progres….
0
80
0
RT @JordiCabot: The current open acess push (and I'm 100% in favour) is, unfortunately, being used by many as a justification to waste publ….
0
1
0
RT @beyer_dirk: After all the postings about our @ETAPSconf Test-of-Time award, let me point you to the actual @FaseConf *paper* that got t….
0
1
0
The bibtex entry of the paper: 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?.
0
0
1
RT @ETAPSconf: Our congratulations to Kaushik Mallik for winning the ETAPS Dissertation Award!
0
2
0