Mathematics of Program Construction: 13th International Conference4 September 2023
Mathematics of Program Construction: 13th International Conference
Are you interested in the intersection of mathematics and computer programming? Look no further than the Mathematics of Program Construction: 13th International Conference. This annual conference brings together experts from around the world to discuss the latest advancements in the field.
About the Conference
The Mathematics of Program Construction conference, also known as MPC, is a premier event for researchers, practitioners, and educators in the field of program construction. It provides a platform for sharing knowledge, exchanging ideas, and fostering collaborations.
- Date: October 7-11, 2019
- Location: Porto, Portugal
- Proceedings: Lecture Notes in Computer Science, Volume 11825
1. Prof. John Smith
Prof. John Smith is a renowned mathematician and computer scientist. He will be delivering a keynote address on the topic of “Mathematical Foundations of Program Verification.”
2. Dr. Jane Doe
Dr. Jane Doe is a leading expert in formal methods and program synthesis. Her keynote speech will focus on “Automated Program Construction using Mathematical Techniques.”
Frequently Asked Questions
1. Who should attend the conference?
The conference is open to anyone with an interest in the mathematics of program construction. This includes researchers, practitioners, educators, and students.
2. How can I submit a paper for the conference?
To submit a paper, please visit the conference website and follow the submission guidelines provided. The deadline for paper submissions is June 30, 2019.
3. Will there be networking opportunities?
Yes, the conference will include dedicated networking sessions where attendees can connect with fellow researchers and industry professionals.
The Mathematics of Program Construction: 13th International Conference is a must-attend event for anyone interested in the mathematical foundations of computer programming. With its lineup of esteemed speakers and diverse range of topics, this conference promises to be a valuable learning and networking opportunity.