[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION: BOPL 2020
Bologna Federated Conference on Programming Languages
September 7-10, 2020
Online at
https://bopl.cs.unibo.it<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fbopl.cs.unibo.it%2F&data=01%7C01%7Cmaribel.fernandez%40kcl.ac.uk%7C0b22e2d7644b413b475f08d84785650d%7C8370cf1416f34c16b83c724071654356%7C0&sdata=X5%2B4uogZOmrFTQqmc0d%2FJKL%2Fptkt9FIRnutdYB5I0QE%3D&reserved=0>
Registration deadline: September 3, 2020
Registration fee: 30 euros.
The Bologna Federated Conference on Programming Languages
brings together four top level international conferences related to
programming languages and software architectures:
28th International Workshop on Functional and Logic Programming
30th International Symposium on Logic-Based Program Synthesis and Transformation
3rd International Conference on Microservices 2020
22nd International Symposium on Principles and Practice of Declarative
Programming
The program will include a plenary talk by Jose Meseguer and an industrial
session with talks by representatives of leading companies.
The overall program is available at
https://bopl.cs.unibo.it/events<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fbopl.cs.unibo.it%2Fevents&data=01%7C01%7Cmaribel.fernandez%40kcl.ac.uk%7C0b22e2d7644b413b475f08d84785650d%7C8370cf1416f34c16b83c724071654356%7C0&sdata=6FvGeCn4lYe4ReHWBMeOGVpPrjHhYDd6l7K1PHPzzrs%3D&reserved=0>.
Due to the ongoing COVID-19 situation, BOPL 2020 will be held online.
Please, refer to the attending page
https://bopl.cs.unibo.it/attending.html<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fbopl.cs.unibo.it%2Fattending.html&data=01%7C01%7Cmaribel.fernandez%40kcl.ac.uk%7C0b22e2d7644b413b475f08d84785650d%7C8370cf1416f34c16b83c724071654356%7C0&sdata=QMrKKD91SA%2BzvUJBXk1jcSIv7CfWZyfFcglR27HCPzo%3D&reserved=0>
for instructions concerning how to register and how to join the sessions of the
conference.
For any specific request please use the contact form at
https://bopl.cs.unibo.it/contact<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fbopl.cs.unibo.it%2Fcontact&data=01%7C01%7Cmaribel.fernandez%40kcl.ac.uk%7C0b22e2d7644b413b475f08d84785650d%7C8370cf1416f34c16b83c724071654356%7C0&sdata=uMp%2BflXjZskmBSZes0DAebJYvEWlXTqlvdTDneUF1C8%3D&reserved=0>.
------------------------------------------------------------------------------------------------------------
Publicity Chair of BOPL 2020
Stefano Pio Zingaro, PhD
Dept. of Computer Science and Engineering
Univ. of Bologna
