/***
##############################
# Identification of the news #
##############################
# DO NOT MODIFY
name: LICS-paper-Pierre-Vial
date: 2018-05-21


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

# the picture address, in dokuwiki or web syntax
picture = :actualites:ressources:conf-lics.png

# the name displayed when hovering over the picture (optional)
picture tag = Logic in Computer Science

# the link to be followed when clicking on the picture (optional)
picture link = https://lics.siglog.org/lics18/index.php

# 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 2018-03-21 until 2018-05-21, priority= normal

#
# 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 = unproductive
notion text = {A part of a program is unproductive if it performs an infinite number of computing steps without any interaction with the rest of the program or external devices. Unproductive code is basically useless, and may even be unsafe, and detecting parts of code that are unproductive is important to improve software quality.}

####################
# TEXT OF THE NEWS #
####################
***/
[[https://www.irif.fr/~pvial/|Pierre Vial]] (IRIF) will present at 
LiCS 2018  an excerpt of his 
[[https://www.irif.fr/~pvial/defense.htm|PhD work]] at IRIF 
proving that every lambda-term has an infinite linear representation in 
the infinitary relational model. This work pioneers a technique that 
allows giving a semantic even to unproductive programs.