Creating and sharing knowledge for telecommunications

The 9th European Conference on Antennas and Propagation (EUCAP2015)


on 12-04-2015

... The 9th European Conference on Antennas and Propagation (EUCAP2015) will be held in Lisbon, between 12th and 17th of April 2015.
The conference will provide an overview of the current state-of-the-art
in Antennas, Propagation and Measurements topics, highlighting the
latest developments and innovations required for future applications.
It is the ideal place for the exchange of scientific and technical
information, and to foster collaboration and cooperation in the Antenna
and Propagation domain, at both European and global levels. More Information..

Seminar - Logic and Computation Seminar


on 10-04-2015

... 10/04/2015, 16:15 — 17:15 — Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisb oa.pt
Manuel A. Martins, U. Aveiro

Hierarchical Hybrid Logic

In this talk we introduce $\mathbf{HHL}$, a hierarchical variant of hybrid logic. In particular, we study first order correspondence results and we present a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for $\mathbf{HHL}$. We also discuss decidability and completeness of this logic.

link
< /div>

Funded under the scope of UID/EEA/50008/2013.

Instituto de TelecomunicaçõesFCT
To cancel or change your subscription visit More Information..