Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13/Aug to 24/Aug and interacted with numerous reserachers. He also gave a talk at the UNQ whose title was Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations.Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13/Aug to 24/Aug and interacted with numerous reserachers. He also gave a talk at the UNQ whose title was Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations.Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13/Aug to 24/Aug and interacted with numerous reserachers. He also gave a talk at the UNQ whose title was Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations.