Ana Paula Tomás's Annual Report

Ana Paula Tomás's Annual Report

Year: 

2015

Brief description of the research activities: 

Pursued research work on:

- algorithms for exact enumeration of permutominoes by size (i.e., number of vertices) and on some combinatorial properties of the row-convex permutominoes. 

- tools for computer assisted learning in computer science and mathematics: co-author (and PI) of the project proposal "PTDC/EEI-SII/6843/2014 - DREAM: Driving e-assessment to mainstream: new approaches in mathematics and computing" (not recommended for funding).

 

Talks / Seminars / Courses : 

Communications in international conferences

Title:
On the enumeration of permutominoes.
Name of the event:
FCT 2015
Speakers
Ana Paula Tomás
Talk:
Contributed talk
Date:
17.08.2015 to 19.08.2015
Country:
Poland
Location / City:
Gdansk
Website:

Seminars

Title:
Fast. Cheap. Reliable. Choose two.
Speakers
Ana Paula Tomás
Date:
27.05.2015
Host institution:
DCC, FCUP, Universidade do Porto
Country:
Portugal
Location / City:
Porto
Website:

Organization of scientific meetings: 

Role: 

Chief Judge

Name of the event: 

Southwestern Europe Regional Contest (SWERC) 2015 - ACM International Collegiate Programming Contest

start and end date: 

November 21, 2015 to November 22, 2015

Host institution: 

Faculdade de Ciências, Universidade do Porto

Country: 

Portugal

Location / City: 

Porto

Role: 

Member of the organising committee

Name of the event: 

FSCD 2016 - 1st International Conference on Formal Structures for Computation and Deduction (FSCD)

start and end date: 

June 22, 2016 to June 26, 2016

Host institution: 

DCC, FCUP, University of Porto

Country: 

Portugal

Location / City: 

Porto

Organization of regular seminars: 

Invited talk by Gill Barequet (Technion - Israel Inst. of Technology) on "New bounds on Klarner's constant" (CMUP General Seminars, 20/11/2015).

Outreach activities: 

For secondary school students:
- ToPAS 2015 - Torneio de Programação para Alunos do Secundário (DCC-FCUP, May 2015), Scientific Committee Member (responsible for the problem set); http://www.dcc.fc.up.pt/ToPAS/