/***
##############################
# Identification of the news #
##############################
# DO NOT MODIFY
name: ppdp09-10year-award
date: 2019-09-17


################
# General data #
################

# the picture address, in dokuwiki or web syntax
picture = :actualites:ressources:perso-giuseppe-castagna.jpg

# the name displayed when hovering over the picture (optional)
picture tag = 

# the link to be followed when clicking on the picture (optional)
picture link = 

# the link in the circled arrow icon (optional)
extra link = 


#######################
# Visibility/priority #
#######################
#
# This part describes when the news should be visible, and with what priority (how high in the list).
#

from 2019-09-17 for 1 month, priority= low
from 2019-09-17 for 2 weeks, priority= normal
from 2019-09-17 for 1 week, priority= high

#
# Other intervals of priority can/have to be specified.
#
# As a rule of thumb:
#  - priority high for up to 3 days, 10 days for very important events (FOCS) (appears top of the list)
#  - priority normal for up to 2 or 3 weeks (appears with high probability)
#  - priority low for as long as one wishes (probably invisible but sometimes can be if there is sufficient space)
#  - priority null makes the news invisible
#  - priorities may change several times (e.g. high for registration and for the event)
#  - this syntax can also be used for changing pictures, links, ...
#
# The syntax is the following
#   from DATE until DATE, priority= PRIORITY
#   from DATE for DURATION, priority= PRIORITY
#   for DURATION until DATE, priority= PRIORITY
#
# PRIORITY: high | normal | low | null
#
# DATE:
#   NUMBER MONTH NUMBER   (e.g. 22 June 2018)
#   ???-??-??             (e.g. 2018-06-22)
#
# DURATION:
#   NUMBER (day|days|week|weeks|month|months|year|years)


##########
# Notion #
##########
# if one wants to have a notion (a small text that unravels when clicked and is used to highlight a concept)
#
notion = Session Types
notion text = {Session types can be thought of as "types for protocols", insofar as they describe all the possible sequences of interactions between services, together with the type of the information exchanged in these interactions. Programs can be checked to see if the processes they implement conform to the protocols described by a session type.}


####################
# TEXT OF THE NEWS #
####################
***/
[[https://www.irif.fr/~gc/|Giuseppe Castagna]] (IRIF) and his coauthors Mariangiola Dezani, Elena Giachino, and Luca Padovani (Università di Torino) will receive on October the 8th at   [[http://ppdp2019.macs.hw.ac.uk|PPDP 2019]] the
**Most Influential Paper 10-Year Award** for their paper [[https://dl.acm.org/citation.cfm?id=1599437|Foundation of Session Types]] presented at [[https://sites.google.com/site/ppdpconf/|PPDP 2009]].