{"id":53,"date":"2017-03-07T14:52:58","date_gmt":"2017-03-07T14:52:58","guid":{"rendered":"http:\/\/hilbert.dm.fct.unl.pt\/?page_id=53"},"modified":"2018-09-16T19:28:05","modified_gmt":"2018-09-16T19:28:05","slug":"activities","status":"publish","type":"page","link":"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=53","title":{"rendered":"Activities"},"content":{"rendered":"<ul>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?p=276\">WCA 2017 \u2013 Saturday 2 (9:30 am \u2013 12:30) December, 2017<\/a><\/li>\n<li><a href=\"http:\/\/eventos.fct.unl.pt\/aips17\" target=\"_blank\" rel=\"noopener noreferrer\">Axiomatic Thinking<\/a>, October 11-14, 2017; Lisbon<\/li>\n<li><a href=\"http:\/\/eventos.fct.unl.pt\/spar\" target=\"_blank\" rel=\"noopener noreferrer\">Simplicity of Proofs in Automated Reasoning<\/a>, July 6, 2017; Universidade Nova de Lisboa<\/li>\n<\/ul>\n<h3>(Co-)Organized Meetings<\/h3>\n<ul>\n<li><a href=\"http:\/\/w3.math.uminho.pt\/DiL2018\/index.html\">Days in Logic, Aveiro, 25-27 January, 2018<\/a><\/li>\n<li><a href=\"https:\/\/www.math.uzh.ch\/index.php?konferenzdetails1&amp;key1=494&amp;key2=1\">Axiomatic Thinking, September 14-15, 2017, Zurich<\/a><\/li>\n<li><a href=\"http:\/\/eventos.fct.unl.pt\/snhm29\">29.\u00ba Encontro do Semin\u00e1rio Nacional de Hist\u00f3ria da Matem\u00e1tica (SNHM)<\/a>, November 18-19, 2016; Universidade Nova de Lisboa<\/li>\n<\/ul>\n<h3>Meetings with Participation of Project Members<\/h3>\n<ul>\n<li><a href=\"https:\/\/poznanreasoningweek.wordpress.com\">Poznan Reasoning Week<\/a>, September 11-15, 2018; Poznan, Poland.<\/li>\n<li><a href=\"https:\/\/www.proofsociety.org\/workshop-2018\/\">Workshop on Proof Theory and its Applications<\/a>, September 6 &#8211; 7, 2018; Ghent.<\/li>\n<li><a href=\"https:\/\/lc18.uniud.it\/\">Logic Colloquium 2018<\/a>, July 23 &#8211; 28; Udine.<\/li>\n<li><a href=\"http:\/\/logika.flu.cas.cz\/en\/logica\">Logica 2018<\/a>, June 18 &#8211; 22; Hejnice.<\/li>\n<li><a href=\"http:\/\/scandinavianlogic.org\/sls2018\">10th Scandinavian Logic Symposium<\/a>, June 11 &#8211; 13; Gothenburg.<\/li>\n<li><a href=\"https:\/\/logic.ff.cuni.cz\/research\/conferences\/phd-logic\/index.html\">Ph<\/a><a href=\"https:\/\/logic.ff.cuni.cz\/research\/conferences\/phd-logic\/index.html\">D&#8217;s in Logic X<\/a>, May 1 &#8211; 4; Prague.<\/li>\n<li><a href=\"http:\/\/gipsoteca.sma.unipi.it\/it\/eventi-e-news\/item\/370-pisa-winter-workshop-on-proof-theory,-workshop,-26-27-marzo-2018.html\">Pisa Winter Workshop in Proof Theory<\/a>, March 26-27, 2018; Pisa.<\/li>\n<li><a href=\"https:\/\/www.kim.uni-konstanz.de\/phil-archiv\/lorenzen-meeting\/\">Paul Lorenzen: Mathematician and Logician<\/a>, March 8-9, 2018, Konstanz.<\/li>\n<li><a href=\"https:\/\/www.math.uni-hamburg.de\/spag\/ml\/Cantor2018\/\">Minisymposium Georg Cantor (1845\u20131918)<\/a> (<a href=\"http:\/\/www.gdmv2018.de\/\">GDMV 2018<\/a>), March 7-8, 2018; Paderborn.<\/li>\n<li><a href=\"http:\/\/w3.math.uminho.pt\/DiL2018\/venue.html\">Days in Logic<\/a>, January 25-37, 2018; University of Aveiro.<\/li>\n<li><a href=\"http:\/\/cameron17.campus.ciencias.ulisboa.pt\/\">Symmetry in finite models<\/a>, July 24-27, 2017; Universidade de Lisboa<\/li>\n<li><a href=\"http:\/\/logika.flu.cas.cz\/en\/logica-2017\/logica-2017\">Logica 2017<\/a>, June 19-23, 2017;\u00a0Hejnice, CZ.<\/li>\n<li><a href=\"http:\/\/www.inf.ufg.br\/ebl2017\/ebl.html\">XVIII Brazilian Logic Conference<\/a>, May 8-12; Piren\u00f3polis, BR.<\/li>\n<li><a href=\"http:\/\/lmp2017.weebly.com\/\">Logik zwischen Mathematik und Philosophie \u2013 Zur Geschichte des Grundlagenbegriffs und seiner Erforscher<\/a>, April 28-30, 2017; G\u00f6ttingen.<\/li>\n<\/ul>\n<h3>Summerschools<\/h3>\n<ul>\n<li>\n<header class=\"group top-nav\">\n<nav class=\"navbar logo-w navbar-left\"><a class=\"logo\" href=\"https:\/\/kgs.logic.at\/madeira\">International Summer School for Proof Theory in First-Order Logic<\/a>, August 22-27, 2017; Funchal, Madeira.<\/nav>\n<\/header>\n<\/li>\n<li>\n<header class=\"group top-nav\">\n<nav class=\"navbar logo-w navbar-left\"><a href=\"http:\/\/www.math.uni-goettingen.de\/summer\">Hilbert-Bernays Summer School on Logic and Computation 2017<\/a>, July 23-29, 2017; G\u00f6ttingen.<\/nav>\n<\/header>\n<\/li>\n<\/ul>\n<p><!--\n\n\n<h3>Talks by Project Members on H24 related topics<\/h3>\n\n\n\n\n<ul>\n \t\n\n<li>8.3.2018 R. Kahle @ <a href=\"https:\/\/www.kim.uni-konstanz.de\/phil-archiv\/lorenzen-meeting\/\">Paul Lorenzen: Mathematician and Logician<\/a><\/li>\n\n\n \t\n\n<li>7.3.2018 R. Kahle @ <a href=\"https:\/\/www.math.uni-hamburg.de\/spag\/ml\/Cantor2018\/\">Minisymposium Georg Cantor (1845\u20131918)<\/a> (<a href=\"http:\/\/www.gdmv2018.de\/\">GDMV 2018<\/a>)<\/li>\n\n\n<\/ul>\n\n\n--><\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"entry-summary\">\nWCA 2017 \u2013 Saturday 2 (9:30 am \u2013 12:30) December, 2017 Axiomatic Thinking, October 11-14, 2017; Lisbon Simplicity of Proofs&hellip;\n<\/div>\n<div class=\"link-more\"><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=53\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &ldquo;Activities&rdquo;<\/span>&hellip;<\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"parent":7,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-53","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/53","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=53"}],"version-history":[{"count":21,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/53\/revisions"}],"predecessor-version":[{"id":378,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/53\/revisions\/378"}],"up":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/7"}],"wp:attachment":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=53"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}