ines's blog

CRACS Seminar: On the Structure of Natural Deduction Derivations for "Generally"

17 February 2017

Come and learn about the logic of "generally" with Leonardo!

VECPAR 2016 co-organized by members of CRACS

28 June 2016

VECPAR 2016, the 12th Meeting on High Performance Computing for Computational Science, was organized by members of CRACS, during June 28th ro June 30th, with workshops on the 30th and on July 1st. For more information and presented material, check the conference web page:

2nd Workshop on Computational Techniques for the Diagnosis and Treatment of Breast Cancer

07 April 2015

2nd Breast Cancer Workshop


This workshop will provide a forum for discussing the latest achievements in breast cancer research using computational methods and will promote a debate about clinical practice in the area.

The invited speakers are from Champalimaud Foundation, Centro Hospitalar de São João, FMUP, FCUP, FEUP, Portugal, from the Federal University of Goiás, Brazil, and from the University of Wisconsin - School of Medicine and Public Health, USA.


Date: April 7th2015 | 09:00 - 17:00


Venue: Auditorium - Central Services Building (FC5), Faculty of Sciences, University of Porto, Campo Alegre St. 4169 - 007, Porto, Portugal - Map


Enrollment: Free | (click here to register)





The 2nd Breast Cancer Workshop is being organized by Prof. Inês Dutra from FCUP on the scope of the project ABLe: Advice-Based Learning for Health Care.

This event is promoted by the academic department DCC-FCUP and I&D CRACS-INESC TEC, with the support of FCT (project PTDC/EEI-SII/2094/2012).

Breast Cancer Workshop

19 June 2013

The Breast Cancer Workshop will be held in Porto, CIDES-FMUP, University of Porto on June 19th 2013. This workshop will provide a forum for discussing the latest achievements in breast cancer research using computational methods and will promote a debate about clinical practice in the area.

We have invited speakers from Hospital São João, IPATIMUP, FEUP, FCUP, FMUP and from the University of Wisconsin School of Medicine and Public Health.


Special Track on "Emerging Smart Technologies for Individualised Healthcare" in CBMS2013

20 June 2013

The current technological developments and the increasing willingness of people to be involved in making decisions about their health or disease, have been paving the way for advances in the area of individualised healthcare.

The uncertainty and complexity within this area require smart solutions and systems, which are capable to interpret context-specific information concerning the patient and his/her environment.

In this special track, we seek high quality contributions and innovations in the interdisciplinary area of smart healthcare technologies. The track is an integral part of the 26th International Symposium on Computer-Based Medical Systems (CBMS 2013), held at the University of Porto, Portugal on 20-22 June 2013.


  1. logoSmartech4Health.png Size: 376.26 KB

Professor Hitoshi Oi, from University of Aizu, Japan is visiting this week

11 February 2013

Prof. Hitoshi Oi, from University of Aizu, Japan, is visiting us this week. His main research interests are computer architecture and operating systems. In the context of his visit, Prof. Oi will give a seminar (scheduled to Feb 15th, 10am) and will talk about University of Aizu and its student exchange programmes. Prof. Oi will be around until Friday, Feb 15th.

CRACS Seminar by Ashwin Srinivasan

01 October 2012

Prof. Srinivasan, the creator of the Aleph system will be visiting and will give a talk on October 1st, 2012.

CRACS Seminar by David Page

26 April 2012

Prof. David Page, from University of Wisconsin-Madison, USA, will give a talk on Using Machine Learning to Build Predictive Models with Potential Clinical Impact.

CRACS Seminar by Jorge Buenabad-Chávez

18 April 2012

Prof. Jorge Buenabad-Chávez, from the Departamento de Computacion CINVESTAV-IPN, (Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional), and a visiting professor at University of Manchester, UK, will give an overview of his research work and will talk about the three subjects below: --- SQL Group-by queries (GBQ) using mapreduce --- Parallel Data List Processing on Clusters of Multicore-GPU nodes. --- From eLearning Models to eLearning Requirements Engineering: The Vision and Scope Document

CRACS Seminar by Dale Richardson

02 December 2011

Much time has passed since our last seminar, but a new exciting talk is on its way. Please, mark your agenda: this coming Friday, Dec 2nd, at 11:30, we will have our next seminar by Dale Richardson.

Syndicate content