בהרצאה אדגים עקרונות בסיסיים לניסוח בעיות בביולוגיה, אתאר כיצד משתמשים בלוגיקה פורמאלית לניסוח אוטומטונים (מצבי הפעלה) שונים.
אראה שימוש בגישה זו בעזרת שתי דוגמאות ביולוגיות: האחת, התפתחות רקמת שריר ברקמה העוברית.
בדוגמה השנייה, אראה שימוש בגישה זו לפתרון בעיית תהליך רגנרציה של תאי בטא - התאים שמפרישים אינסולין, שהם התאים החסרים בחולי הסוכרת.