CFP
podelski65: Festschrift for Andreas Podelski |
Submission link | https://easychair.org/conferences/?conf=podelski65 |
Abstract registration deadline | March 8, 2024 |
Submission deadline | March 8, 2024 |
Festschrift for Andreas Podelski.
Submission Guidelines
Papers are invite only, please do not submit if you have not talked to us.
- Full papers Papers should describe interesting and elegant approaches in formal methods. Contributions do not need to be novel but should take a new angle at presenting the problem. Relevant topics in include, but are not limited to, automata-based verification, seperation logic, and termination proofs. Papers should not exceed 15 pages LNCS.
Committees
Program Committee
Contact
For questions reach out to Thomas Wies or Martin Schaef.