Fundamental Approaches to Software Engineering

168 posts

Fundamental Approaches to Software Engineering banner
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

@FaseConf

International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf. https://t.co/cSrjqFLj2C

Paris 2023 Katılım Mayıs 2021
48 Takip Edilen135 Takipçiler
Fundamental Approaches to Software Engineering retweetledi
ETAPS Conferences (now on other platforms)
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
English
1
1
4
308
Fundamental Approaches to Software Engineering retweetledi
ETAPS Conferences (now on other platforms)
Lars Birkedal has just started his ETAPS invited talk "Higher-Order Probabilistic Relational Separation Logic".
ETAPS Conferences (now on other platforms) tweet media
English
0
1
3
330
Fundamental Approaches to Software Engineering retweetledi
Gary Marcus
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.
Gary Marcus tweet media
English
100
80
658
297.1K
Fundamental Approaches to Software Engineering retweetledi
Jordi Cabot
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.
English
2
1
5
753