Current Events:
- FSCD 2020: 5th International Conference on Formal Structures for Computation and Deduction. PC member.
- CSL 2020: 28th International Conference on Computer Science Logic. PC member.
- LSFA 2019: 14th Workshop on Logical and Semantic Frameworks with Applications. PC member.
- TyDe 2019: International Workshop on Type-Driven Development . PC member.
- IWC 2019: 8th International Workshop on Confluence. PC member.
- WiL 2019: 3rd International Workshop of Women in Logic. PC member.
Past Events:
- 2018: LSFA (PC member), HOR (PC member), DCM (PC chair).
- 2017: LSFA (PC co-chair).
- 2016: PPDP (PC member), FSCD (Conference chair).
- 2015: PAS (PC member).
- 2014: LSFA (PC member), LINEARITY (PC co-chair), CiE 2014 (PC member).
- 2013: Logic Colloquium (Organising comittee).
- 2012: LINEARITY (PC co-chair), Days in Logic (Organising committee).
- 2019: LINEARITY (PC member).
Recent Publications (see also DBLP):
- Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia: Pattern-based calculi with finitary matching. Logic Journal of the IGPL 26(2): 203-243 (2018).
- Sandra Alves, Sabine Broda: A Unifying Framework for Type Inhabitation. FSCD 2018: 5:1-5:16 (2018).
- Sandra Alves, Maribel Fernández: A graph-based framework for the analysis of access control policies. Theoretical Computer Science, Volume 685, 3-22, 2017.
-Sandra Alves, Sabine Broda: Inhabitation machines: determinism and principality. NCMA 2017.
- Sandra Alves, Sabine Broda and Maribel Fernández: A typed language for events. LOPSTR 2015.
- Sandra Alves, Sabine Broda, A short note on type-inhabitation: Formula-trees vs. game semantics, Information Processing Letters, Elsevier, Volume 115, Issue 11, Pages 908–911, November 2015.
- Sandra Alves, Maribel Fernández: A Framework for the Analysis of Access Control Policies with Emergency Management. Electr. Notes Theor. Comput. Sci. 312: 89-105, 2015.
- Sandra Alves, Anatoli Degtyarev, Maribel Fernández: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163, 2014.
- Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Linearity: a Roadmap, Journal of Logic and Computation, Oxford University Press, 24(3): 513-529, 2014.
Research Projects:
- TACLe: Timing Analysis on Code-Level - ICT COST Action IC1202.
- RESCUE: REliable and Safe Code execUtion for Embedded systems.
- LINEAR: Linearity in foundational calculi for programming languages.
- Type and effect systems for cost analysis of functional  programs, Anglo-Portuguese Joint Research Program n. B-14/04.