title: "Calcolatori a Membrane Cellulari: uno studio inerente alla teoria della complessità"
text: |
    Verrà presentato uno studio di informatica in cui si parte dalla
    classificazione dei problemi (in particolare ci si concentrerà sulle
    classi P. NP, NP-Complete, Co-NP e cancellettoP). Poi verranno introdotti dei
    nuovi modelli di calcolatori che vanno ben oltre le macchine di von
    neumann. Spiegherò poi come fanno questi calcolatori a membrana ad
    essere in grado di svolgere computazionalmente dei problemi appartenenti
    alle classi sopraelencate in tempo lineare (se poi si sale di livello di
    diffcoltà per andare a vedere cosa esiste oltre NP il tempo
    semplicemente diventa polinomiale) senza usare il trucco del
    non-determinismo dove una macchina di turing deterministica impiega
    tempi non umani.

    Sì, penso possano aprire una gpg in pochi secondi :)

# Se ancora non è stata assegnata una stanza al talk, commentala. Non usare un valore tipo "qualunque" o
# cose del genere, che ci si incasina tutto
room: A

# duration è la durata in minuti del talk
duration: 90

# Ci vanno le virgolette intorno! altrimenti 17.30 viene interpretato come un numero decimale
time: "16.30"
# day è il giorno in cui avverrà il talk. Finché non decommenti il talk non sarà schedulato
# 0=giovedì, 1=venerdì, 2=sabato, 3=domenica
day: 1

tags:
    - informatica teorica
# Devono essere dei link validi!
links:
    - http://ppage.psystems.eu/index.php/Theses
    - http://ppage.psystems.eu/index.php/Papers
    - https://www.springer.com/gp/book/9783540436010
# mail dovrebbe contenere un link all'email in lista hackmeeting in cui il talk è stato proposto
# così si può sapere chi contattare e se c'è stata una discussione
# prendi il link da https://lists.autistici.org/list/hackmeeting.en.html
# il campo mail NON è un indirizzo email
mail: "https://lists.autistici.org/thread/20190405.105500.d8e538a6.en.html"
# contacts invece sono i nomi, o gli indirizzi, delle persone che presentano
contacts:
    - nctli

# se chiedono di non sovrapporli con qualche talk, segnalo qui
# cosi' poi il coso ci avvisa quando sbagliamo
nooverlap: []

# Devi usare UTF-8, non t'inventare scuse, sappiamo ndo abiti
# vim: set fileencoding=utf-8 ts=4 sw=4 et: