m (Text replacement - "|User:Curator 65" to "|Tib") |
(mobo import Concept___Events-migrated) |
||
Line 10: | Line 10: | ||
|DblpConferenceId=esop/esop2007 | |DblpConferenceId=esop/esop2007 | ||
|City=Braga | |City=Braga | ||
− | |Country= | + | |Country=Country:PT |
− | |||
|has program chair=Rocco De Nicola | |has program chair=Rocco De Nicola | ||
|has Keynote speaker=Andrew Pitts | |has Keynote speaker=Andrew Pitts | ||
Line 26: | Line 25: | ||
|Start Date=2007/03/24 | |Start Date=2007/03/24 | ||
|End Date=2007/04/01 | |End Date=2007/04/01 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} | ||
The 16. European Symposium on Programming (ESOP) 2007 | The 16. European Symposium on Programming (ESOP) 2007 |
Revision as of 14:06, 6 September 2022
The 16. European Symposium on Programming (ESOP) 2007
Topics
- Design of programming languages and calculi and their formal properties
- Techniques, methods, and tools for their implementation
- Exploitation of programming styles within different programming paradigms
- Automatic and manual methods for generating and reasoning about programs
- The design and invention of systems and tools to assist in exploitation of the languages