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.

### 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.