/***
##############################
# Identification of the news #
##############################
# DO NOT MODIFY
name: LICS-paper-Paul-Andre-Mellies
date: 2018-05-31


################
# 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 = https://www.irif.fr/~mellies/papers/lics2018-ribbon-tensorial-logic.pdf


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

From 2018-03-01 until 2018-05-31, 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 = knot theory
notion text = {Knot theory studies mathematical knots. These are like the usual shoelaces and rope knots but with the difference that the ends of the string are joined together so that it cannot be undone. Of particular interest is the study of when two knots are equivalent, that is when one can be transformed into the other without cutting the string or passing the string through itself. The theory has applications in physics, biology, chemistry, and computer science. For instance,  the security of some quantum money relies on the assumption that given two different looking but equivalent knots, it is difficult to explicitly find a transformation that takes one to the other.}

####################
# TEXT OF THE NEWS #
####################
***/
[[https://www.irif.fr/~mellies/|Paul-André Melliès]] (IRIF) will present at [[https://lics.siglog.org/lics18/index.php|LICS 2018]] 
his work on ribbon tensorial logic, a primary logic designed to reveal the secret topology of reasoning. 
This is the first time that logical proofs are faithfully translated into topological 
tangles using functorial knot theory.