[TYPES/announce] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)

Sun Aug 23 12:56:31 EDT 2020

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200823/0b58eceb/attachment-0001.htm>