Search for European Projects

2 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Games and Automata for Logic Extensions (GALE)

Start date: Jan 1, 2011, End date: Dec 31, 2015,

This proposal aims at generalising the central decidability results of Büchi and Rabin to more general settings, and understanding the consequences of those extensions both at theoretical and applicative levels.The original results of Büchi and Rabin state the decidability of monadic second-order logic (monadic logic for short) over infinite words and trees respectively. Those results are of such ...
Read Project

 1

 FINISHED 

Betriebspraktikum Fremdsprachenassistenten

Start date: Jun 1, 2016, End date: May 31, 2017,

The eight-week work placement in summer/autumn 2016 is an integral part of the course "Commercial Assistant with Languages (English/French/Spanish)" at the commercial college Berufskolleg Kaufmannsschule Krefeld, a college in the fields of economics and business administration. This full-time course provides profound knowledge of any form of business communication in two foreign languages as well ...
Read Project

 10