/***
##############################
# Identification of the news #
##############################
# DO NOT MODIFY
name: jeremy-siek-visit
date: 2019-01-09


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

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

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

# the link to be followed when clicking on the picture (optional)
picture link = http://homes.sice.indiana.edu/jsiek/

# 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-01-11 for 5 months, priority= low
from 2019-01-11 for 1 month, priority= normal
from 2019-01-11 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 = NOTION NAME
# notion text = {TEXT OF THE NOTION}
notion = gradual typing
notion text = {Gradual typing is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to gradually add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.}
####################
# TEXT OF THE NEWS #
####################
***/
IRIF has the great pleasure to welcome [[http://homes.sice.indiana.edu/jsiek/|Jeremy Siek]], professor at Indiana University Bloomingtom, who is visiting IRIF for five months. Jeremy is the creator of gradual typing and a world-renowed expert in typed programming languages. Meet him in office 4034a.