[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Participation (/Talks/Tutorials)
Automated Program and Proof Synthesis
February 20, 2024, Vancouver, BC (a bridge workshop of AAAI 2024)
Automated Program and Proof Synthesis (AP2S) are two long-standing,
closely-related challenges in AI, recently advanced through the incorporation
of deep learning. However, much research focuses exclusively on one or the
other, instead of leveraging synergies between them. This AAAI '24 bridge
(https://urldefense.com/v3/__https://aaai.org/aaai-conference/aaai-24-bridge-program/__;!!IBzWLUs!XemE1II3qNbLDF99ZXPV_qgB9cPMcJCLzj9A3PCB2ZM2hi0w6WQS1hadao4oIFbIEBDvxBNmLfBXY5Ax7A4J2HyoxMvyALvy$
) workshop, a continuation of last year's 2023 inaugural meeting, aims to
connect researchers from each sub-field and educate them about the other,
including but not limited to recent applications of deep learning. The workshop
will involve a series of tutorial lectures followed by group discussion.
The focus of the bridge workshop is not to present novel research results, but
rather to foster learning, discussion, and cross-pollination among fields. We
are interested in folks giving a range of talks from tutorials, positions /
cool ideas, and long-term vision for the future of the space.
Website:
https://urldefense.com/v3/__https://garrettkatz.github.io/ap2s-bridge/__;!!IBzWLUs!XemE1II3qNbLDF99ZXPV_qgB9cPMcJCLzj9A3PCB2ZM2hi0w6WQS1hadao4oIFbIEBDvxBNmLfBXY5Ax7A4J2HyoxPwlFeXa$
Our informal deadline was Nov 24--we have decided to allow submissions up to
Dec 9. We are really looking to keep the workshop informal, engaging, and
discussion-focused. If you (or a PhD student you know) are planning to attend
AAAI, and you are potentially interested in hybridizing ideas and techniques
from program synthesis, proof synthesis, language modeling, etc... Please reach
out to us: we are happy to discuss and see if there would be a potential fit.
And please spread the word about AP2S to folks in your circles interested in
theorem proving, program synthesis, and learning. Last year, we had a
relatively small crowd, but there were very lively discussions. It is an
exciting (and timely!) mix of topics, and we are looking forward to this year's
AP2S bridge.
Kris Micinski, [email protected]
Garrett Katz, [email protected]
Syracuse University
