皆様,
第48回TRSミーティングの参加募集を案内させて頂きます.
---
青戸等人(新潟大学)
==================================================================================
Call For Participation
48th TRS meeting
February 25 - 27, 2018
Sendai, Miyagi
http://www.nue.ie.niigata-u.ac.jp/events/trs-meeting-48/
* About TRS meeting
Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at
promoting the research on rewriting and related areas. Participants are requested
to give a talk(s) of approximately 15 - 60 minutes in English on their research
activities. The subject of the talk may not be one's original result; for example,
explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum
for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/)
* Information
Date: February 25 (Sun) - 27 (Tue), 2018
Venue: Oshu Akiu Onsen Rantei
http://www.akiu-rantei.com/lg_en/
7-1, Aza Kidoho, Yumoto, Akiu-machi, Taihaku-ku, Sendai City, Miyagi 982-0241
* Schedule
Opening: 14:00 on Feb 25 (Sun)
Closing: 12:00 on Feb 27 (Tue)
* Fee
Registration: 4,000 JPY
Accommodation (two nights): 21,900 JPY
Registration fee includes meeting room fee, coffee and snacks at breaks.
Accommodation fee includes breakfasts and dinners (lunches are not included).
* Registration
Please send the registration form below to Takahito Aoto (mail: aoto at
ie.niigata-u.ac.jp) no later than Jan 19, 2018. Registration after the deadline
is subject to room availability.
----------------------------------------------------------------------
Registration Form of the 48th TRS meeting
name:
affiliation:
[male / female] (leave one)
special room request: [single room / twin room / none] (leave one)
----------------------------------------------------------------------
Japanese style shared rooms are default, but several single and twin rooms
are also available. If you prefer a single or twin room, let me know at your
earliest convenience. In the latter case, let me also know your roommate.
* Contact
Takahito Aoto (mail: aoto at ie.niigata-u.ac.jp)
==================================================================================
皆様、
来年の FLoC (FSCD,IJCAR,ITP,LICS等の合同国際会議)併設の
LFMTP 2018 ワークショップのご案内です。〆切はまだ先ですが
ぜひ投稿をご検討ください。
--
浜名 誠
群馬大学理工学府電子情報部門
[Apologies if you receive multiple copies of this announcement]
=======================================================================
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2018
Oxford, UK, 7 July 2018
Affiliated with FSCD 2018 (part of FLoC)
http://lfmtp.org/workshops/2018/
=======================================================================
SUBMISSION DEADLINE: 16 APRIL 2018
Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal
systems, have been the focus of considerable research over the last two
decades. This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.
LFMTP 2018 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:
* Encoding and reasoning about the meta-theory of programming languages,
logical systems and related formally specified systems.
* Theoretical and practical issues concerning the treatment of variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.
* Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques, including inductive types of higher
dimension in homotopy type theory.
* Graphical languages for building proofs, applications in geometry,
equational reasoning and category theory.
* New theory contributions: canonical and substructural frameworks,
contextual frameworks, proof-theoretic foundations supporting
binders, functional programming over logical frameworks,
homotopy and cubical type theory.
* Applications of logical frameworks: proof-carrying architectures, proof
exchange and transformation, program refactoring, etc.
* Techniques for programming with binders in functional programming
languages such as Haskell, OCaml or Agda, and logic programming
languages such as lambda Prolog or Alpha-Prolog.
Invited Speakers
TBA
Important Dates
Abstract submission deadline: Monday April 9th
Submission deadline: Monday April 16th
Notification to authors: Monday May 14th
Final version due: Monday June 4th
Workshop date: Saturday July 7th
Submission
In addition to regular papers, we accept the submission of "work in progress"
reports, in a broad sense. Those do not need to report fully polished
research results, but should be of interest for the community at large.
Submitted papers should be in PDF, formatted using the EPTCS style
guidelines. The length is restricted to 15 pages for regular papers and
8 pages for "Work in Progress" papers. Submission is via EasyChair:
https://easychair.org/conferences/?conf=lfmtp18.
Proceedings
Accepted regular papers will be included in the proceedings of LMFTP
2018, whose mode of publication will be determined shortly.
Program Committee
* Mara Alpuente (Universitat Politcnica de Valncia, Spain)
* Andrej Bauer (University of Ljubljana, Slovenia)
* Frdric Blanqui (Inria, France), co-chair
* Ana Bove (Chalmers University of Technology, Sweden)
* Stphane Graham-Lengrand (CNRS, France)
* Makoto Hamana (Gunma University, Japan)
* Chantal Keller (Universit Paris-Sud, France)
* Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil)
* Giselle Reis (CMU Qatar), co-chair
* Aaron Stump (University of Iowa, USA)
* Yuting Wang (Yale University, USA)
皆様、
関数型、論理型プログラミング言語の国際会議 FLOPS 2018のご案内です。ふるっ
て投稿をご検討ください。
龍田 真
国立情報学研究所
--------------------------------------------------
FINAL Call For Papers
=========================
NOTE: DEADLINE EXTENSION
=========================
FLOPS 2018: 14th International Symposium on Functional and Logic Programming
In-Cooperation with ACM SIGPLAN
===============================
9-11 May, 2018, Nagoya, Japan
http://www.sqlab.jp/FLOPS2018/
Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.
FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming. FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.
Scope
FLOPS solicits original papers in all areas of the declarative
programming:
* functional, logic, functional-logic programming, re-writing
systems, formal methods and model checking, program transformations
and program refinements, developing programs with the help of theorem
provers or SAT/SMT solvers;
* foundations, language design, implementation issues (compilation
techniques, memory management, run-time systems), applications and
case studies.
FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.
Submissions should fall into one of the following categories:
* Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
* System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.
* Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.
Proceedings
The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series
(www.springer.com/lncs), as a printed volume as well as online in the
digital library SpringerLink.
Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).
Important dates
29 November 2017 (any time zone): Abstract Submission (extended)
4 December 2017 (any time zone): Submission deadline (extended)
29 January 2018: Author notification
9-11 May 2018: FLOPS Symposium
Invited Speakers
William E. Byrd, University of Utah, USA
Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan
+ 3rd speaker to be announced
Submission
Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines. Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).
Papers should be submitted electronically at
https://easychair.org/conferences/?conf=flops2018
Springer Guidelines
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
Program Committee
Andreas Rossberg Google, Germany
Atsushi Ohori Tohoku University, Japan
Bruno C. D. S. Oliveira The University of Hong Kong, China
Carsten Fuhs Birkbeck, University of London, UK
Chung-chieh Shan Indiana University, USA
Didier Remy INRIA, France
Harald Søndergaard The University of Melbourne, Australia
Jacques Garrigue Nagoya University, Japan
Jan Midtgaard University of Southern Denmark, Denmark
Joachim Breitner University of Pennsylvania, USA
John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair)
Jorge A Navas SRI International, USA
Kazunori Ueda Waseda University, Japan
Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore
María Alpuente Universitat Politécnica de Valéncia, Spain
María Garcia De La Banda Monash University, Australia
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair)
Meng Wang University of Kent, UK
Michael Codish Ben-Gurion University of the Negev, Israel
Michael Leuschel University of Düsseldorf, Germany
Naoki Kobayashi University of Tokyo, Japan
Nikolaj Bjørner Microsoft Research, USA
Robert Glück University of Copenhagen, Denmark
Samir Genaim Universidad Complutense de Madrid, Spain
Siau Cheng Khoo National University of Singapore, Singapore
Organizers
Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair)
John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair)
Makoto Tatsuta National Institute of Informatics, Japan (General Chair)
Koji Nakazawa Nagoya University, Japan (Local Chair)
----------------------------------------------------------------------
[Apologies for multiple copies]
Dear all,
Let me advertise our next ERATO MMSD project colloquium talk by Jurriaan
Rot and Kenta Cho on 9th November, 16:30-. Please find the title and the
abstract below. You are all invited.
Sincerely,
--
Natsuki Urabe
urabenatsuki(a)is.s.u-tokyo.ac.jp
The University of Tokyo, ERATO MMSD
----
Thu 9 November 2017, 16:30–18:45
ERATO MMSD Takebashi Site Common Room 3
http://group-mmm.org/eratommsd/access.html
16:30-17:30
Jurriaan Rot <http://jurriaan.me/> (Radboud University),
Traces and Triangles
In the theory of coalgebras, trace semantics can be defined in various
distinct ways, including through algebraic logics, the Kleisli category of
a monad or its Eilenberg-Moore category. I will talk about recent joint
work with Bart Jacobs, which elaborates two new unifying ideas in the
theory of coalgebraic trace semantics: 1) previous approaches can be placed
and connected in so-called state-and-effect triangles, that arise in the
semantics of programs; 2) coalgebraic trace semantics is naturally
presented in terms of corecursive algebras. This perspective puts the
different approaches under a common roof, and allows us to derive
conditions under which they coincide.
17:45-18:45
Kenta Cho <https://www.cs.ru.nl/K.Cho/> (Radboud University),
String diagrams in probability theory
String diagrams are a graphical language for monoidal categories, which has
become very popular in categorical quantum mechanics initiated by Abramsky
and Coecke. In this talk I will explain that string diagrams are also
useful for (classical) probability theory. The Kleisli categories of the
distribution and the Giry monad give concrete interpretation of string
diagrams, respectively, for discrete probability and general
measure-theoretic probability. Topics include disintegration, Bayesian
inversion, and conditional independence. The talk is based on joint work
with Bart Jacobs; see preprint https://arxiv.org/abs/1709.00322.
みなさま、
3月に金沢にて開催予定の
Second Workshop on Mathematical Logic and its Applications
の講演募集のご案内です。
ご講演・ご参加の検討をいただければ幸いです。
横山啓太
**************************************
Call for Abstracts
Second Workshop on Mathematical Logic and its Applications
Kanazawa, Japan
5 - 9 March 2018
http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/
Description
-----------
The workshop brings together researchers of mathematical logic and
its related areas, and would provide a forum for interplay between
these areas. This workshop will be held as a part of the JSPS
Core-to-Core Program "Mathematical Logic and its Applications",
which is led by Japan Advanced Institute of Science and Technology
(JAIST) in cooperation with several institutes both in Japan and
abroad. We welcome submissions from anyone, not restricted to the
members of the project, within the scope described below.
Scope
------
Includes (but not limited to) the following topics and their application:
* Intuitionistic logic
* Type theory
* Proof theory
* Constructive analysis/topology
* Program extraction
* Reverse mathematics
* Computable analysis/topology
* Recursion theory (Computability theory)
* Non-classical logic
* Computational complexity
Invited speakers
-----------------
* Andrew Arana (Université Paris 1)
* Douglas Bridges (University of Canterbury)
* Laura Crosilla (University of Birmingham, to be confirmed)
* Akitoshi Kawamura (Kyushu University)
* Hidenori Kurokawa (Kanazawa University)
* Maria Emilia Maietti (University of Padova)
* Norbert Preining (Accelia Inc.)
* Helmut Schwichtenberg (LMU Muenchen)
* Kazushige Terui (Kyoto University)
* Wim Veldman (Radboud University Nijmegen)
* Andreas Weiermann (Ghent University, to be confirmed)
Guide for authors
-----------------
The authors are asked to prepare short abstracts (1 page PDF)
following the guideline on the workshop web-site:
http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html
Submissions are accepted through EasyChair
https://easychair.org/conferences/?conf=mla2018
Deadline of submission
-----------------------
15 December 2017
Notification of acceptance will be informed by December 31.
Programme Committee
--------------------
* Ryota Akiyoshi (Waseda, Japan)
* Josef Berger (LMU Muenchen, Germany)
* Makoto Fujiwara (Waseda, Japan)
* Tatsuji Kawai (Padova, Italy)
* Katsuhiko Sano (Hokkaido, Japan)
* Keita Yokoyama (JAIST, Japan)
* Martin Ziegler (KAIST, Korea)
Organizers
-----------------
* Ryota Akiyoshi (Waseda, Japan)
* Makoto Fujiwara (Waseda, Japan)
* Tatsuji Kawai (Padova, Italy)
* Takako Nemoto (JAIST, Japan)
* Keita Yokoyama (JAIST, Japan)
Contact address: organizers-jsps2nd(a)jaist.ac.jp
--
Keita Yokoyama
y-keita(a)jaist.ac.jp