{"id":1429,"date":"2015-12-04T14:37:57","date_gmt":"2015-12-04T06:37:57","guid":{"rendered":"http:\/\/www.xixilogic.org\/?page_id=1429"},"modified":"2021-01-21T19:05:02","modified_gmt":"2021-01-21T11:05:02","slug":"invited-speakers","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/invited-speakers\/","title":{"rendered":"Invited Speakers"},"content":{"rendered":"<p><span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/\">Home<\/a><\/span>&nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/important-dates\/\" aria-current=\"page\">Important Dates<\/a><\/span>&nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/invited-speakers\/\">Invited Speakers<\/a><\/span>&nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/people\/\">Program Committee<\/a><\/span>&nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/accepted-papers\/\">Accepted Papers<\/a><\/span>&nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/program\/\">Program<\/a><\/span>&nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/publication\/\">Publication<\/a><\/span>&nbsp; &nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/venue\/\">Venue<\/a><\/span>&nbsp; &nbsp; &nbsp; &nbsp;<span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/tourist-information\/\">Travel information<\/a><\/span><a href=\"https:\/\/www.zlaire.net\/events\/previous\/chinese-conference-on-logic-and-argumentation\/important-dates\/\">&nbsp;<\/a><\/p>\n<p>&nbsp;<\/p>\n<ul>\n<li><strong><a href=\"http:\/\/personal.us.es\/hvd\/\">Hans van Ditmarsch <\/a><\/strong>(LORIA \/ CNRS, FR)<\/li>\n<li><strong>Jun Dong <\/strong>(Chinese Academy of Sciences, CN)<\/li>\n<li><strong><a href=\"http:\/\/www.fenrong.net\/index.html\" target=\"_blank\" rel=\"noopener noreferrer\">Fenrong Liu<\/a> <\/strong>(Tsinghua University, CN)<\/li>\n<li><strong><a href=\"http:\/\/www.jaist.ac.jp\/profiles\/info_e.php?profile_id=56\" target=\"_blank\" rel=\"noopener noreferrer\">Satoshi Tojo <\/a><\/strong>(JAIST, JP)<\/li>\n<li><strong><a href=\"http:\/\/icr.uni.lu\/leonvandertorre\/\" target=\"_blank\" rel=\"noopener noreferrer\">Leon van der Torre<\/a> <\/strong>(University of Luxembourg, LU)<\/li>\n<\/ul>\n<p>Details below:<\/p>\n<div style=\"border-bottom: 1px dashed #000000;\">&nbsp;<\/div>\n<p>&nbsp;<\/p>\n<p><strong><a href=\"http:\/\/personal.us.es\/hvd\/\">Hans van Ditmarsch<\/a><\/strong><\/p>\n<p>LORIA \/ CNRS &#8211; University of Lorraine, Nancy<\/p>\n<p>Institute of Mathematical Sciences (IMSc), Chennai<\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/chinese-conference-on-logic-and-argumentation\/invited-speakers\/hans\/\" rel=\"attachment wp-att-1652\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1652 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/hans-300x293.jpg\" alt=\"hans\" width=\"300\" height=\"293\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/hans-300x293.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/hans-768x750.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/hans-1024x1000.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/hans.jpg 1840w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/293;\" \/><\/a><\/p>\n<p>Hans van Ditmarsch obtained a PhD at the University of Groningen in 2000. He lectured at the University of Otago from 2001-2007 and remained affiliated to that university until 2010. In 2007-2008 he was a CNRS researcher at IRIT (Institut de Recherche en Informatique de Toulouse) and in 2008 a Lorentz Fellow at NIAS (Netherlands Institute for Advanced Study in the Humanities and the Social Sciences). In 2009 he joined the University of Sevilla as a senior researcher on a five year (2009-2014) project on unconditionally secure protocols. December 2012 he joined LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), Nancy, as a senior researcher, where he is heading the section (equipe) called CELLO (for: Computational Epistemic Logic in LOrraine). From 2010 onward he has been an associated researcher at IMSc (Institute of Mathematical Sciences), Chennai. His research is on the dynamics of knowledge, information-based security protocols, modal logics for belief revision, proof tools for epistemic logics, combinatorics, and computer and information science education. Since 1996 he has regularly contributed to ESSLLI with graduate courses and workshops and was a co-chair of ESSLLI Hamburg 2008. He has also taught at NASSLLI Bloomington 2010 and ISLA Hyderabad 2010. Conferences that he has organized and chaired include 7th M4M Osuna 2011, 3rd Tools for Teaching Logic Salamanca 2011, 3rd LORI Guangzhou 2011, and 11th LOFT Sevilla 2012. He has given keynote presentations at, among other occasions, 16th EBL Petropolis 2011, 19th WoLLIC Buenos Aires 2012, SAICSIT 2012 Tschwane, and 29th ICLP Istanbul 2013. Recently appeared books include: Handbook of Epistemic Logic, College Publications, 2015 (edited with: Joseph Y Halpern, Wiebe van der Hoek, and Barteld Kooi); and One Hundred Prisoners and a Light Bulb, Copernicus, 2015 (with Barteld Kooi).<\/p>\n<p><strong>Title: Epistemic Gossip Protocols<\/strong><br \/>\n<strong>Abstract:<\/strong> A well-studied phenomenon in network theory since the 1970s are optimal schedules to distribute information by one-to-one communication between nodes. One can take these communicative actions to be telephone calls, and protocols to spread information this way are known as gossip protocols or epidemic protocols. Statistical approaches to gossip have taken a large flight since then, witness for example the survey &#8220;Epidemic Information Dissemination in Distributed Systems&#8221; by Eugster et al. (IEEE Computer, 2004). It is typical to assume a global scheduler who executes a possibly non-deterministic or randomized protocol. A departure from this methodology is to investigate epistemic gossip protocols, where an agent (node) will call another agent not because it is so instructed by a scheduler, but based on its knowledge or ignorance of the distribution of secrets over the network and of other agents&#8217; knowledge or ignorance of that. Such protocols are distributed and do not need a central scheduler. This comes at a cost: they may take longer to terminate than non-epistemic, globally scheduled, protocols. A number of works have appeared over the past years (Apt et al., Attamah et al., van Ditmarsch et al., van Eijck &amp; Gatting, Herzig &amp; Maffre) of which we present a survey, including open problems yet to be solved by the community.<\/p>\n<div style=\"border-bottom: 1px dashed #000000;\">&nbsp;<\/div>\n<p>&nbsp;<\/p>\n<p><strong>Jun Dong <\/strong>(Chinese Academy of Sciences, CN)<strong><br \/>\n<\/strong><\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/chinese-conference-on-logic-and-argumentation\/invited-speakers\/minolta-dsc\/\" rel=\"attachment wp-att-1612\"><img decoding=\"async\" class=\"alignnone size-full wp-image-1612 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/DONG_Jun.jpg\" alt=\"Jun DONG\" width=\"135\" height=\"180\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 135px; --smush-placeholder-aspect-ratio: 135\/180;\"><\/a><\/p>\n<p>DONG Jun, who gained Ph.D. in Zhejiang University, China in 1997, was awarded as \u201cHundred Talent Program of Chinese Academy of Sciences\u201d in 2009 and works in SINANO, CAS from 2010 on. Before that, he had experience in industry for nearly 9 years, and was evaluated as full professor in 2002 in ECNU. He has been awarded several other talent titles such as \u201cInnovation and Entrepreneurship Talent Program\u201d of Jiangsu Province(2013), \u201cLeading Talent\u201d of SIP of Suzhou City(2011), \u201cBaosteel Excellent Teaching Staff\u201d of Baosteel Education Foundation(2008) and \u201cExcellent Discipline Leader\u201d of Shanghai City(2008) respectively. His research interest is artificial intelligence including computer-aided medical diagnosis, Chinese calligraphy creating simulation etc. He has published about 90 academic articles and 4 monographs.<\/p>\n<p><strong>Title: Electrocardiogram (ECG) Analysis &#8212; From Domain Experience to Classification<\/strong><br \/>\n<strong>Abstract:<\/strong> The core issue of artificial intelligence is thinking simulation. We use the electrocardiogram (ECG) as an example. Here, Abstract and logical thinking work alongside with imagery thinking and experience analysis, and the physician\u2019s diagnosis has both macro precepts together with micro particulars. Meanwhile, a few problems restrict clinical acceptance of the many theoretical ECG analysis methods developed during the last forty years, such as whether they are identical with thinking patterns in the physicians&#8217; brain, and whether extracted ECG features are sufficient and necessary. Based on the Chinese Cardiovascular Diseases Database (CCDD, http:\/\/58.210.56.164: 88\/ccdd\/\uff09we have designed, physicians\u2019 diagnosis experience and relevant formal representation are discussed, implicit knowledge that is hard to express is analyzed, and fusion of rules inference and deep learning for ECG classification is implemented. We have got the better classification result comparing with the state-of-the-art approaches.<\/p>\n<div style=\"border-bottom: 1px dashed #000000;\">&nbsp;<\/div>\n<p>&nbsp;<\/p>\n<p><strong><a href=\"http:\/\/www.fenrong.net\/index.html\" target=\"_blank\" rel=\"noopener noreferrer\">Fenrong Liu<\/a> <\/strong>(Tsinghua University, CN)<\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/chinese-conference-on-logic-and-argumentation\/invited-speakers\/fenrong-small\/\" rel=\"attachment wp-att-1610\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1610 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Fenrong-small-300x213.jpg\" alt=\"Fenrong-small\" width=\"300\" height=\"213\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Fenrong-small-300x213.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Fenrong-small-768x544.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Fenrong-small.jpg 800w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/213;\" \/><\/a><\/p>\n<p>Fenrong Liu, Changjiang Distinguished Professor of Logic at Tsinghua University, Amsterdam-China Logic Chair at the University of Amsterdam, Co-Director of the Tsinghua &#8211; UvA Joint Research Centre for Logic. Fenrong works mainly in the field of logics for rational agency. Her research work includes the formal structured models of preference dynamics and modeling different types of agent in terms of logic. She has published a number of papers and books on these topics, notably, Reasoning about Preference Dynamics (Springer 2011). Her recent interest lies in understanding the features of information flow and decision making in social setting, and establishing more realistic models. In addition, she maintains active interests in Chinese Ancient Logic. She is currently editing a Handbook of Logical Thought in China. Fenrong is an Editor-in-Chief of the new book series of Studia Logica Library: Logic in Asia, an editor of Australasian Journal of Logic, an associate editor of Studia Logica and Studies in Logic, and an editorial board member of Synthese and Topoi.<\/p>\n<p><strong>Title: Reasons to Believe in Social Settings<\/strong><br \/>\n<strong>Abstract:<\/strong> I will first explain the issue of social influence and illustrate the importance of evidence and trust relation between agents. Then I will introduce a new logic language that can be used to reason about an agent\u2019s belief&nbsp; formation and dynamical change,&nbsp; due to evidences provided by other agents in the society. Some interesting features of social structure can be represented eventually as a update rule. A complete axiomatization will be presented too. This is a joint work with Emiliano Lorini.<\/p>\n<div style=\"border-bottom: 1px dashed #000000;\">&nbsp;<\/div>\n<p>&nbsp;<\/p>\n<p><strong><a href=\"http:\/\/www.jaist.ac.jp\/profiles\/info_e.php?profile_id=56\" target=\"_blank\" rel=\"noopener noreferrer\">Satoshi Tojo <\/a><\/strong>(JAIST, JP)<\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/chinese-conference-on-logic-and-argumentation\/invited-speakers\/satoshi\/\" rel=\"attachment wp-att-1630\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1630 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Satoshi-213x300.jpg\" alt=\"Satoshi\" width=\"213\" height=\"300\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Satoshi-213x300.jpg 213w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/Satoshi.jpg 428w\" data-sizes=\"(max-width: 213px) 100vw, 213px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 213px; --smush-placeholder-aspect-ratio: 213\/300;\" \/><\/a><\/p>\n<p><strong>Title: Agent, Epistemology, and AI<\/strong><br \/>\n<strong>Abstract:<\/strong> In this talk, I will show how our knowledge and belief are changed by agent communication. We apply dynamic epistemic logic to subtle differences of the result of agent communication, e.g., what is informed, what is known to each other, and what is aware of for each agent. En route, we discuss the reliability of information source, including the notion of communication channel. Thereafter, we apply the idea to analyze several legal cases, and try to explain the relation between the suspect&#8217;s intention, the result, and his\/her<br \/>\npredictability of causality in them.<\/p>\n<div style=\"border-bottom: 1px dashed #000000;\">&nbsp;<\/div>\n<p>&nbsp;<\/p>\n<p><strong><a href=\"http:\/\/icr.uni.lu\/leonvandertorre\/\" target=\"_blank\" rel=\"noopener noreferrer\">Leon van der Torre<\/a> <\/strong>(University of Luxembourg, LU)<\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/chinese-conference-on-logic-and-argumentation\/invited-speakers\/leon\/\" rel=\"attachment wp-att-1651\"><img decoding=\"async\" class=\"alignnone size-full wp-image-1651 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/12\/leon.jpg\" alt=\"leon\" width=\"180\" height=\"122\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 180px; --smush-placeholder-aspect-ratio: 180\/122;\"><\/a><\/p>\n<p>Leon van der Torre joined the University of Luxembourg as a full professor for Intelligent Systems in 2006. He developed the BOID agent architecture (with colleagues from Vrije Universiteit Amsterdam), input\/output logic (with David Makinson) and the game-theoretic approach to normative multiagent systems (with Guido Boella). He is an editor of the handbook of deontic logic and normative systems (first volume 2013, second volume in preparation), editor of the handbook on formal argumentation (in preparation), editor of the handbook on normative multi agent systems (in preparation), deontic logic corner editor of Journal of Logic and Computation, and member of editorial board of Logic Journal of the IGPL, the&nbsp; IfCoLog Journal of Logics and their Applications, and the EPiC series in Computer Science. Moreover he is coordinator of the Horizon2020 Marie Curie RISE Network &#8220;Mining and Reasoning with Norms&#8221; (MIREL, 2016-2019).<\/p>\n<p><strong>Title: Norms and arguments<\/strong><br \/>\n<strong>Abstract:<\/strong> In this talk I discuss two relations between normative reasoning and formal argumentation. First I consider formal argumentation as a kind of normative reasoning. An attack of argument A on argument B is interpreted either as &#8220;either A is not accepted or B should be accepted&#8221; or as &#8220;A and B cannot both be accepted, and it is preferred to accept A over B&#8221;.&nbsp; The difference between the two interpretations is analyzed for higher order attack (where attacks can be attacked) and for contrary to duty argumentation (where arguments that should be rejected are accepted). Second, I apply a theory of structured argumentation to normative reasoning. In an ASPIC+ style setting, I discuss the definition of argument, the role of constitutive and permissive norms, and hierarchical normative systems.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Home&nbsp; &nbsp; &nbsp;Important Dates&nbsp; &nbsp; &nbsp;Invited Speakers&nbsp; &nbsp; &nbsp;Program Committee&nbsp; &nbsp; &nbsp;Accepted Papers&nbsp; &nbsp; &nbsp;Program&nbsp; &nbsp; &nbsp;Publication&nbsp; &nbsp; &nbsp; &nbsp;Venue&nbsp; &nbsp; &nbsp; &nbsp;Travel information&nbsp; &nbsp; Hans van Ditmarsch (LORIA \/ CNRS, FR) Jun Dong (Chinese Academy of Sciences, CN) Fenrong <span class=\"excerpt-dots\">&hellip;<\/span> <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/clar2016\/invited-speakers\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":1395,"parent":1377,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-1429","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/1429","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=1429"}],"version-history":[{"count":10,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/1429\/revisions"}],"predecessor-version":[{"id":7062,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/1429\/revisions\/7062"}],"up":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/1377"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/1395"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=1429"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}