{"id":110,"date":"2013-03-01T18:13:52","date_gmt":"2013-03-01T17:13:52","guid":{"rendered":"http:\/\/sites.google.com\/feeds\/content\/site\/tcsunica\/3326031501083200750"},"modified":"2013-11-22T15:37:23","modified_gmt":"2013-11-22T14:37:23","slug":"seminar-a-calculus-of-controlled-monotonicity","status":"publish","type":"post","link":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/2013\/03\/01\/seminar-a-calculus-of-controlled-monotonicity\/","title":{"rendered":"Seminar: A Calculus of Controlled Monotonicity"},"content":{"rendered":"<div><table cellspacing=\"0\" class=\"sites-layout-name-one-column sites-layout-hbox\"><tbody><tr><td class=\"sites-layout-tile sites-tile-name-content-1\"><div dir=\"ltr\"><div style=\"margin:0px;font-style:normal;font-variant:normal;font-weight:normal;line-height:normal\"><div style=\"text-align:center\"><div style=\"text-align:center\"><span><font size=\"2\"><span style=\"font-family:verdana,sans-serif\">Upcoming <span>Seminar<\/span><br><\/span><\/font><\/span><\/div><\/div><div style=\"text-align:center\"><span><font size=\"2\"><span style=\"font-family:verdana,sans-serif\"><br><b>A Calculus of Controlled Monotonicity<\/b><br><br>March <font size=\"2\">5<\/font>, 15.00<br>Aula F - Palazzo delle Scienze - Cagliari<br><\/span><\/font><\/span><\/div><\/div><div style=\"margin:0px;font-style:normal;font-variant:normal;font-weight:normal;line-height:normal\"><span><font size=\"2\"><span style=\"font-family:verdana,sans-serif\"><span><br><\/span><\/span><\/font><\/span><div style=\"text-align:center\"><span><font size=\"2\"><b>Gabriele Pulcini<\/b><\/font><font size=\"2\"><span style=\"font-family:verdana,sans-serif\"><b><span><br><\/span><\/b><\/span><\/font><\/span><\/div><\/div><div style=\"text-align:center\"><div style=\"text-align:center\"><span><font size=\"2\"><span style=\"font-family:verdana,sans-serif\">Dipartimento di Informatica - Scienza e Ingegneria - Universit\u00e0 di Bologna<\/span><\/font><br><\/span><\/div><\/div><span><font size=\"2\"><span style=\"font-family:verdana,sans-serif\"><br><b><br>Abstract.<\/b> <font size=\"2\">We introduce a cut-free logical system involving serio-parallel structures relying on preorders. This system describes processes displaying a <br>kind of controlled monotonicity (e.g. biochemical processes) by means of a specific variant of standard Gentzen-style sequents called &quot;embedded sequents&quot;.<br><\/font><br><\/span><\/font><\/span><\/div><\/td><\/tr><\/tbody><\/table><\/div>","protected":false},"excerpt":{"rendered":"<table cellspacing=\"0\">\n<tbody>\n<tr>\n<td>\n<div dir=\"ltr\">\n<div>\n<div>\n<div><span><span>Upcoming <span>Seminar<\/span><br \/><\/span><\/span><\/div>\n<\/div>\n<div><span><span><br \/><b>A Calculus of Controlled Monotonicity<\/b><\/p>\n<p>March 5, 15.00<br \/>Aula F &#8211; Palazzo delle Scienze &#8211; Cagliari<br \/><\/span><\/span><\/div>\n<\/div>\n<div><span><span><span><br \/><\/span><\/span><\/span><\/p>\n<div><span><b>Gabriele Pulcini<\/b><span><b><span><br \/><\/span><\/b><\/span><\/span><\/div>\n<\/div>\n<div>\n<div><span><span>Dipartimento di Informatica &#8211; Scienza e Ingegneria &#8211; Universit&agrave; di Bologna<\/span><br \/><\/span><\/div>\n<\/div>\n<p><span><span><br \/><b><br \/>Abstract.<\/b> We introduce a cut-free logical system involving serio-parallel structures relying on preorders. This system describes processes displaying a <br \/>kind of controlled monotonicity (e.g. biochemical processes) by means of a specific variant of standard Gentzen-style sequents called &#8220;embedded sequents&#8221;.<\/p>\n<p><\/span><\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"author":1325,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10,13],"tags":[],"class_list":["post-110","post","type-post","status-publish","format-standard","hentry","category-events","category-httpschemas-google-comsites2008announcement","category-10-id","category-13-id","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/110","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/users\/1325"}],"replies":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/comments?post=110"}],"version-history":[{"count":2,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/110\/revisions"}],"predecessor-version":[{"id":136,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/110\/revisions\/136"}],"wp:attachment":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/media?parent=110"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/categories?post=110"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/tags?post=110"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}