Tomorrow at time 10:30 at D2.19 will be presented the seminar "Spiking P system and difficult problems". In this talk some examples of abstract machines are analyzed and used to solve NP-hard problems like 3-SAT and subset sum.