[TYPES/announce] SYCO 12, Call For Participation

2024-03-26 Thread Thibaut Benjamin
Applications PROGRAM COMMITTEE = Todd Ambridge, University of Birmingham Thibaut Benjamin, University of Cambridge (Chair) Olivia Caramello, Univserity of Insubria, Université Paris-Saclay Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman

[TYPES/announce] SYCO 12 - Third call for papers

2024-03-11 Thread Thibaut Benjamin
attach any documents. INVITED SPEAKERS Miriam Backens, INRIA Nancy, Graphical rewriting of quantum computations using the ZX-calculus and flow properties Sean Moss, University of Birmingham, TBA PROGRAMME COMMITTEE === Todd Ambridge, University of B

[TYPES/announce] SYCO 12 - Call for Papers

2024-02-12 Thread Thibaut Benjamin
attach any documents. PROGRAMME COMMITTEE === The PC chair is Thibaut Benjamin, University of Cambridge. The Programme Committee will be announced soon. STEERING COMMITTEE == Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic

bug#56160: 13.1.3; fill breaks verbatim macros not followed with spaces

2022-06-23 Thread Thibaut Benjamin
The behavior of LaTeX-fill-* seems to break when used with a verbatim macro which is not followed by a space. A minimal example is a TeX file containing only the following line > Lorem ipsum dolor sit amet, consectetur adipiscing elit, \verb|sed > do|eiusmod tempor > Running the