{"id":125,"date":"2022-03-17T18:39:09","date_gmt":"2022-03-17T17:39:09","guid":{"rendered":"https:\/\/project.inria.fr\/from22\/?page_id=125"},"modified":"2022-03-17T18:42:01","modified_gmt":"2022-03-17T17:42:01","slug":"topics","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/from22\/topics\/","title":{"rendered":"Topics"},"content":{"rendered":"<p><strong>Topics of interest<\/strong><\/p>\n<p><em>Areas and formalisms of interest include:<\/em><\/p>\n<p>+ Category theory in computer science<\/p>\n<p>+ Distributed systems and concurrency<\/p>\n<p>+ Formal languages and automata theory<\/p>\n<p>+ Formal modelling, verification and testing<\/p>\n<p>+ Logic in computer science<\/p>\n<p>+ Logical frameworks<\/p>\n<p>+ Mathematical structures in computer science<\/p>\n<p>+ Models of computation<\/p>\n<p>+ Semantics of programming languages<\/p>\n<p>+ Type systems<\/p>\n<p>+ Domain Science and Engineering<\/p>\n<p><em>Methods of interest include:<\/em><\/p>\n<p>+ Automated reasoning and model generation<\/p>\n<p>+ Automated induction<\/p>\n<p>+ Certified programs<\/p>\n<p>+ Data-flow and control-flow analysis<\/p>\n<p>+ Deductive verification<\/p>\n<p>+ Mechanized proofs<\/p>\n<p>+ Model checking<\/p>\n<p>+ Proof mining<\/p>\n<p>+ Symbolic computation<\/p>\n<p>+ Term rewriting<\/p>\n<p><em>Applications of interest include:<\/em><\/p>\n<p>+ Computational logic<\/p>\n<p>+ Computer mathematics<\/p>\n<p>+ Knowledge representation, ontology reasoning, deductive databases<\/p>\n<p>+ Program analysis<\/p>\n<p>+ Verification and synthesis of software and hardware<\/p>\n<p>+ Uncertainty reasoning and soft computing<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Topics of interest Areas and formalisms of interest include: + Category theory in computer science + Distributed systems and concurrency + Formal languages and automata theory + Formal modelling, verification and testing + Logic in computer science + Logical frameworks + Mathematical structures in computer science + Models of computation\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/from22\/topics\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1179,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-125","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/125","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/users\/1179"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/comments?post=125"}],"version-history":[{"count":1,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/125\/revisions"}],"predecessor-version":[{"id":126,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/125\/revisions\/126"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/media?parent=125"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}