Month: November 2019

extended abstract sample

The Second LSCITS Postgraduate Workshop 4th November 2010. This is the website of the 2nd Postgraduate Workshop of the UK’s national research and training initiative in the science and engineering of Large-Scale Complex IT Systems (LSCITS).

project abstract

LATIN aims at developing methods, techniques, and tools for interfacing logics and related formal systems. These systems are at the core of mathematics and computer science and are implemented in…