POPL is ACM SIGPLAN's flagship symposium on the fundamental principles of programming languages. It attracts papers that combine deep theory with language design, implementation techniques, verification, and semantics. Distinguished papers span proof assistants, type systems, concurrency, and program synthesis, often accompanied by mechanized proofs and artifacts. Tutorials, affiliated workshops, and a mentoring workshop cultivate a diverse research pipeline and foster cross-disciplinary dialogue in the PL community.
Use ConFoyage AI Assistant to find conferences tailored to your interests
🚧 Coming Soon!
Our AI assistant is currently under development. This exciting feature will help you:
• Find conferences tailored to your interests
• Get recommendations based on reviews and ratings
• Compare different conferences in your field
• Discover trending conferences worldwide
⏳ We're working to bring you the AI experience. Stay tuned!
Comments