みなさま,
こんにちは! 東京大学の蓮尾です.
国際会議 CALCO 2013 の案内をお送りします.
トピックは代数・余代数・形式検証の理論一般,
開催地はポーランド・ワルシャワ,締切は来年2月です.
どうか投稿をご検討ください.それでは!
蓮尾 一郎
http://www-mmm.is.s.u-tokyo.ac.jp/
---------- Forwarded message ----------
[Apologies for multiple copies]
=========================================================================
FIRST CALL FOR PAPERS: CALCO 2013
5th International Conference on Algebra and Coalgebra in Computer Science
September 3 - 6, 2013
Warsaw, Poland
http://coalg.org/calco13/
=========================================================================
Abstract submission: February 22, 2013
Paper submission: March 1, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
=========================================================================
-- SCOPE --
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
It is a high-level, bi-annual conference formed by joining the
forces and reputations of CMCS (the International Workshop on
Coalgebraic Methods in Computer Science), and WADT (the Workshop on
Algebraic Development Techniques). Previous CALCO editions took place
in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009)
and Winchester (UK, 2011). The fifth edition will be held in Warsaw,
the capital of Poland.
-- INVITED SPEAKERS --
N.N.
-- TOPICS OF INTEREST --
We invite submissions of technical papers that report results of
theoretical work on the mathematics of algebras and coalgebras, the
way these results can support methods and techniques for software
development, as well as experience with the transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.
* Abstract models and logics
- Automata and languages
- Categorical semantics
- Modal logics
- Relational systems
- Graph transformation
- Term rewriting
- Adhesive categories
* Specialised models and calculi
- Hybrid, probabilistic, and timed systems
- Calculi and models of concurrent, distributed, mobile, and
context-aware computing
- General systems theory and computational models (chemical,
biological, etc.)
* Algebraic and coalgebraic semantics
- Abstract data types
- Inductive and coinductive methods
- Re-engineering techniques (program transformation)
- Semantics of conceptual modelling methods and techniques
- Semantics of programming languages
* System specification and verification
- Algebraic and coalgebraic specification
- Formal testing and quality assurance
- Validation and verification
- Generative programming and model-driven development
- Models, correctness and (re)configuration of
hardware/middleware/architectures,
- Process algebra
-- NEW TOPICS --
This edition of CALCO will feature two new topics, and submission of
papers on these topics is especially encouraged.
* Corecursion in Programming Languages
- Corecursion in logic / constraint / functional / answer set
programming
- Corecursive type inference
- Coinductive methods for proving program properties
- Implementing corecursion
- Applications
* Algebra and Coalgebra in quantum computing
- Categorical semantics for quantum computing
- Quantum calculi and programming languages
- Foundational structures for quantum computing
- Applications of quantum algebra
-- SUBMISSION GUIDELINES --
Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Experience papers are
welcome, but they must clearly present general lessons learned that
would be of interest and benefit to a broad audience of both
researchers and practitioners. As with previous editions, the
proceedings will be published in the Springer LNCS series. Final
papers should be no more than 15 pages long in the format specified by
Springer (see http://www.springer.de/comp/lncs/authors.html). It is
recommended that submissions adhere to that format and
length. Submissions that are clearly too long may be rejected
immediately. Proofs omitted due to space limitations may be included
in a clearly marked appendix. Both an abstract and the full paper must
be submitted by their respective submission deadlines.
-- BEST PAPER AND BEST PRESENTATION AWARDS --
For the first time, this edition of CALCO will feature two kinds of
awards: a best paper award whose recipients will be selected by the PC
before the conference and a best presentation award, elected by the
participants.
-- IMPORTANT DATES --
Abstract submission: February 22, 2013
Paper submission: March 1, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
-- PROGRAMME COMMITTEE --
Luca Aceto - Reykjavik University, Iceland
Jiri Adamek - TU Braunschweig, D
Lars Birkedal - IT University of Copenhagen, DK
Filippo Bonchi - CNRS, ENS-Lyon, F
Corina Cirstea - University of Southhampton, UK
Bob Coecke - University of Oxford, UK
Andrea Corradini - University of Pisa, I
Mai Gehrke - Université Paris Diderot - Paris 7, F
H. Peter Gumm - Philipps University Marburg, D
Gopal Gupta - University of Texas at Dallas, USA
Ichiro Hasuo - Tokyo University, Japan
Reiko Heckel - University of Leicester, UK (cochair)
Bart Jacobs - Radboud University Nijmegen, NL
Ekaterina Komendantskaya - University of Dundee, Scotland, UK
Barbara König - University of Duisburg-Essen, D
José Meseguer - University of Illinois, Urbana-Champaign, USA
Marino Miculan - University of Udine, I
Stefan Milius - TU Braunschweig, D (cochair)
Larry Moss - Indiana University, Bloomington, USA
Till Mossakowski - DFKI Lab Bremen and University of Bremen, D
Prakash Panangaden - McGill University, Montreal, Canada
Dirk Pattinson - Imperial College London, UK
Dusko Pavlovic - Royal Holloway, University of London, UK
Daniela Petrisan - University of Leicester, UK
John Power - University of Bath, UK
Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL
Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D
Monika Seisenberger - Swansea University, UK
Sam Staton - University of Cambridge, UK
Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL
Pawel Sobocinski - University of Southampton, UK
Yde Venema - University of Amsterdam, NL
Uwe Wolter - University of Bergen, NO
-- ORGANISING COMMITTEE --
Bartek Klin (University of Warsaw, Poland)
Andrzej Tarlecki (University of Warsaw, Poland)
-- LOCATION --
Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines.
-- SATELLITE WORKSHOPS --
CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
by Monika Seisenberger (Swansea University). The workshop is dedicated
to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute.
A workshop dedicated to tools based on algebraic and/or coalgebraic
principles, CALCO Tools, will be held alongside the main conference,
chaired by Lutz Schröder (Friedrich Alexander Universität
Erlangen-Nürnberg). Papers of this workshop will be included in the
CALCO proceedings.
-- FURTHER INFORMATION --
Queries related to submission, reviewing, and programme should be sent
to the relevant conference or workshop chairs.
Queries related to the organisation should be emailed to
calco2013(a)mimuw.edu.pl
.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
皆様、
(重複してお受け取りになられた場合はご容赦ください)
産業技術総合研究所の武山と申します。この場をお借りしまして
来年1月22日にPOPL 2013に併設して開催される国際ワークショップ
PLPV 2013 の Last Call for Papers をご案内させていただきます。
プログラミング言語とプログラム検証に跨る話題について、
幅広く多くの研究コミュニティーからの論文投稿をお待ちしております。
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
The Seventh ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification (PLPV 2013)
http://plpv.tcs.ifi.lmu.de/
22nd January, 2013
Rome, Italy
(Affiliated with POPL 2013)
Call for Papers
Overview
The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. One example are dependently
typed programming languages, which leverage a language's type system
to specify and check rich specifications. Another example are
extended static checking systems which incorporate contracts with
either static or dynamic contract checking.
We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage interaction between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (based on
types, Hoare-logic, abstract interpretation, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).
Important Dates
Submission 8th October, 2012 (Monday)
Notification 1st November, 2012 (Thursday)
Final Version 8th November, 2012 (Thursday)
Workshop 22nd January, 2013 (Tuesday)
Submissions
We seek submissions of up to 12 pages related to the above
topics; shorter submissions are also welcome. Submissions may describe
new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).
Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
To submit a paper, access the online submission site at
http://www.easychair.org/conferences/?conf=plpv2013.
Publication
Accepted papers will be published by the ACM and will appear in the
ACM Digital library.
Program Committee
Andreas Abel Ludwig-Maximilians-University Munich (co-chair)
Robert Atkey University of Strathclyde
Harley Eades The University of Iowa
Chung-Kil Hur Max Planck Institute for Software Systems
Brigitte Pientka McGill University
Andrew Pitts University of Cambridge
Francois Pottier INRIA
Tim Sheard Portland State University (co-chair)
Makoto Takeyama Advanced Industrial Science and Technology
--
Makoto Takeyama <makoto.takeyama(a)aist.go.jp>
AIST/RISEC (National Institute of Advanced Industrial Science and Technology /
Research Institute for Secure Systems)
tel: +81-6-6494-8045
CALL FOR PAPERS
Twenty-Eighth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2013)
June 25-28, 2013, New Orleans, USA
http://www2.informatik.hu-berlin.de/lics/lics13/
LICS 2013 will be hosted by Tulane University, in New Orleans, LA USA,
from June 25th to 28th, 2013. LICS 2013 will be co-located with MFPS13
(23-25 June) and CSF13 (28-30 June).
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic, broadly construed.
We invite submissions on topics that fit under that rubric. Suggested, but
not exclusive, topics of interest include: automata theory, automated
deduction, categorical models and logics, concurrency and distributed
computation, constraint programming, constructive mathematics, database
theory, decision procedures, description logics, domain theory, finite model
theory, theory of automatic structures, formal aspects of program analysis,
formal methods, foundations of computability, higher-order logic, lambda
and combinatory calculi, linear logic, logic in artificial intelligence, logic
programming, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation,
logical frameworks, logics of programs, modal and temporal logics,
model checking, probabilistic systems, process calculi, programming
language semantics, proof theory, real-time systems, reasoning about
security, rewriting, type systems and type theory, and verification.
Important Dates:
Authors are required to submit a paper title and a short abstract of about
100 words in advance of submitting the extended abstract of the paper.
Titles & Short Abstracts Due : January 7, 2013
Extended Abstracts Due : January 14, 2013
Author Notification (approximate) : March 22, 2013
Final Versions Due for Proceedings: April 26, 2013
Deadlines are firm; late submissions will not be considered. All submissions
will be electronic via http://easychair.org/conferences/?conf=lics2013.
Submission Instructions:
Every extended abstract must be submitted in the IEEE Proceedings 2-column
10pt format and may not be longer than 10 pages, including references.
LaTeX style files will be available on the conference website. The extended
abstract must be in English and provide sufficient detail to allow the
program committee to assess the merits of the paper. It should begin with
a succinct statement of the issues, a summary of the main results, and
a brief explanation of their significance and relevance to the conference
and to computer science, all phrased for the non-specialist. Technical
development directed to the specialist should follow. References and
comparisons with related work must be included. (If necessary, detailed
proofs of technical results may be included in a clearly-labeled appendix,
to be consulted at the discretion of program committee members.) Extended
abstracts not conforming to the above requirements will be rejected without
further consideration. Papers selection will be merit-based, with no a priori
limit on the number of accepted papers. Results must be unpublished and not
submitted for publication elsewhere, including the proceedings of other
symposia or workshops. The program chair must be informed, in advance of
submission, of any closely related work submitted or about to be submitted
to a conference or journal. Authors of accepted papers are expected to sign
copyright release forms. One author of each accepted paper is expected to
present it at the conference.
Short Presentations:
A session of short presentations, intended for descriptions of student
research, works in progress, and other brief communications, is planned.
These abstracts will not be published. Dates and guidelines will be
posted on the LICS website.
Kleene Award for Best Student Paper:
An award in honor of the late Stephen C. Kleene will be given
for the best student paper(s), as judged by the program committee.
Special Issues:
Full versions of up to three accepted papers, to be selected by the program
committee, will be invited for submission to the Journal of the ACM.
Additional selected papers will be invited to a special issue of Logical
Methods in Computer Science.
Sponsorship:
The symposium is sponsored by the IEEE Technical Committee on Mathematical
Foundations of Computing and by ACM SIGACT, in cooperation with the Association
for Symbolic Logic and the European Association for Theoretical
Computer Science.
Program Chair:
Orna Kupferman, Hebrew University
Program Committee:
Parosh A. Abdulla, Uppsala University
Amal Ahmed, Northeastern Universtiy
Sergei Artemov, City University of New York
Andrei Bulatov, Simon Fraser University
Yijia Chen, Shanghai Jiao Tong University
Veronique Cortier, CNRS, Loria
Mariangiola Dezani-Ciancaglini, Univ. di Torino
Thomas Ehrhard, CNRS, Universite Paris Diderot
Javier Esparza, Technische Universitaet Muenchen
Kousha Etessami, University of Edinburgh
Maribel Fernandez, King’s College London
Santiago Figueira, University of Buenos Aires
Simon Gay, University of Glasgow
Martin Grohe, Humboldt-Universitaet zu Berlin
Martin Hofmann, LMU Munich
Petr Jancar, Technical University Ostrava
Barbara Jobstmann, CNRS, Verimag and Jasper DA
Patricia Johann, University of Strathclyde
Bakhadyr Khoussainov, The University of Auckland
Antonina Kolokolova, University of Newfoundland
Victor Marek, University of Kentucky
Angelo Morzenti, Politecnico di Milano
Lawrence Moss, Indiana University
Madhavan Mukund, Chennai Math. Institute
Anca Muscholl, Universite Bordeaux
Mogens Nielsen, Aarhus University
Catuscia Palamidessi, INRIA, Ecole Polytechnique
Luc Segoufin, INRIA, ENS Cachan
Natarajan Shankar, SRI International
Alexandra Silva, Radboud University Nijmegen
Balder ten Cate, UC Santa Cruz
Kazushige Terui, Kyoto University
Ron van der Meyden, Univ. of New South Wales
Jeannette M. Wing, Carnegie Mellon University
Nobuko Yoshida, Imperial College London
Conference Chair:
Mike Mislove, Tulane University
Workshop Chair:
Patricia Bouyer-Decitre, CNRS, ENS Cachan
Publicity Chair:
Andrzej Murawski, Univ. of Leicester
General Chair:
Luke Ong, University of Oxford
Organizing Committee:
Martin Abadi, Luca Aceto, Rajeev Alur, Franz Baader, Paul Beame,
Patricia Bouyer-Decitre, Adriana Compagnoni, Anuj Dawar, Nachum
Dershowitz, Martin Escardo, Maribel Fernandez, Martin Grohe, Orna
Grumberg, Jean-Pierre Jouannaud, Phokion Kolaitis, Orna Kupferman,
Benoit Larose, Vlatko Lipovac, Michael Mislove, Georg Moser, Andrzej
Murawski, Luke Ong (chair), Andre Scedrov, Philip Scott, David Shmoys,
Matt Valeriote
Advisory Board:
Martin Abadi, Samson Abramsky, Rajeev Alur, Bob Constable, Thierry
Coquand, Thomas Henzinger, Phokion Kolaitis, Dexter Kozen, Dale Miller,
John Mitchell, Prakash Panangaden, Andrew Pitts, Gordon Plotkin,
Moshe Vardi, Glynn Winskel
------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui(a)kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/
$B3'MM!"(B
$B5~Bg$ND9C+@n$H?=$7$^$9!#(B
$BMhG/#67n$K%*%i%s%@$G3+:E$5$l$k9q:]2q5D!V(BTyped Lambda Calculi and
Applications$B!W$NO@J8Jg=80FFb$r$*Aw$j$7$^$9!#M}O@!&1~MQ$rLd$o$:!"(B
$B%i%`%@7W;;$d7?M}O@$K4XO"$7$?O@J8$NEj9F$r4?7^$$$?$7$^$9!#(B
$B4XO"=tJ,Ln$N3'MM!"@'HsEj9F$r$48!F$$/$@$5$$!#(B
$BD9C+@n???M(B
$B5~ETBg3X?tM}2r@O8&5f=j(B
================================================================
TLCA 2013 First Call for Papers
11th International Conference on
Typed Lambda Calculi and Applications
Eindhoven, 23-28 June 2013
co-located with RTA 2013 as part of RDP 2013
RDP 2013 webpage: http://www.win.tue.nl/rdp2013/
================================================================
The 11th International Conference on Typed Lambda Calculi
and Applications (TLCA 2013) is a forum for original
research in the theory and applications of typed lambda
calculus, broadly construed.
Suggested, but not exclusive, list of topics for submission are:
* Proof-theory: natural deduction, sequent calculi, cut elimination
and normalization, propositions as types, linear logic and proof
nets, type-theoretic aspects of computational complexity
* Semantics: denotational semantics, game semantics, realisability,
domain theory, categorical models
* Types: subtypes, dependent types, polymorphism, intersection types
and related approaches, type inference and type checking, types in
program analysis and verification, types in proof assistants
* Programming: foundational aspects of functional programming,
object-oriented programming and other programming paradigms,
flow analysis of higher-type computation, program equivalence,
program transformation and optimization
IMPORTANT DATES
* Paper Registration (titles & short abstracts): 25 January 2013
* Full Paper Submission: 1 February 2013
* Author Notification: 22 March 2013
* Camera-Ready Paper for the Proceedings: 12 April 2013
SUBMISSION GUIDELINES
We solicit submissions of research papers, which must:
* be in English and not exceed 15 pages (including figures and
bibliography). Additional material intended for the reviewers
but not for publication in the final version - for example
details of proofs - may be placed in a clearly marked appendix
that is not included in the page limit. Reviewers will be told
that they may choose to ignore the appendix.
* present original research which is unpublished and not submitted
elsewhere (conferences, journals, books, etc.)
* use the Springer-Verlag LNCS style.
* be submitted electronically in PDF via the EasyChair TLCA 2013
Submission Webpage (will open nearer the deadline)
https://www.easychair.org/conferences/?conf=tlca2013 .
Submissions deviating from these instructions may be rejected
without review. A condition of submission is that, if accepted,
one of the authors must attend the conference to give the
presentation. The proceedings will be published as a volume
in the ARCoSS subline series of Springer-Verlag Lecture Notes in
Computer Science. Final papers will be in the format specified by
Springer-Verlag. Any questions regarding the submission guidelines
should be directed to the Programme Committee Chair
(Masahito Hasegawa <tlca2013(a)easychair.org>) prior to
submitting.
COLOCATED EVENTS
TLCA 2013 is organized as part of the Federated Conference on
Rewriting, Deduction, and Programming (RDP 2013), together with
the International Conference on Rewriting Techniques and
Applications (RTA 2013) and several related events. Details on
workshops affiliated with RDP 2013 will be available at the web
site in due course.
CONFERENCE CHAIR
Herman Geuvers (Radboud University Nijmegen, Netherlands)
PROGRAMME COMMITTEE CHAIR
Masahito Hasegawa (Kyoto University, Japan)
PROGRAMME COMMITTEE
Andreas Abel (LMU Munchen, Germany)
Patrick Baillot (CNRS and ENS Lyon, France)
Nick Benton (Microsoft Cambridge, UK)
Lars Birkedal (IT University of Copenhagen, Denmark)
Herman Geuvers (Radboud University Nijmegen, Netherlands)
Masahito Hasegawa (Kyoto University, Japan) (PC chair)
Naoki Kobayashi (University of Tokyo, Japan)
Paul-Andre Mellies (CNRS and Universite Paris Diderot, France)
Thomas Streicher (TU Darmstadt, Germany)
Lorenzo Tortora de Falco (Universita Roma Tre, Italy)
Stephanie Weirich (University of Pennsylvania, US)
TLCA STEERING COMMITTEE
Samson Abramsky (University of Oxford, UK)
Henk Barendregt (Radboud University Nijmegen, Netherlands)
Pierre-Louis Curien (CNRS and Universite Paris Diderot, France)
Mariangiola Dezani-Ciancaglini (Universita di Torino, Italy)
Martin Hofmann (LMU Munchen, Germany)
Luke Ong (University of Oxford, UK)
Simona Ronchi Della Rocca (Universita di Torino, Italy)
Pawel Urzyczyn (University of Warsaw, Poland)
TLCA HONORARY ADVISOR
Roger Hindley (Swansea University)
TLCA PUBLICITY CHAIR
Luca Paolini (Universita di Torino, Italy)
================================================================
# 複数受け取られた場合はご容赦ください。
京都大学の末永幸平と申します。
12月11〜13日に京都で開催される APLAS 2012 の
ポスター・デモ募集のお知らせをお送りします。
申し込みの締め切りまで一週間となりました。
どうぞ発表をご検討ください。
末永幸平
京都大学白眉センター
ksuenaga(a)fos.kuis.kyoto-u.ac.jp
--
10th Asian Symposium on
Programming Languages and Systems
(APLAS 2012)
December 11-13, 2012, Kyoto, Japan
(Co-located with CPP 2012)
http://aplas12.kuis.kyoto-u.ac.jp/
Call for Poster and Demos
APLAS 2012 will include a poster and demo session during the
conference. The poster session aims to give students and professionals
an opportunity to present technical materials to the research
community, and to get responses from other researchers in the field.
This year, accepted posters will be presented in the main hall so that
presenters have much opportunity of discussion during breaks. Standing
by the poster on each break is not mandatory, though.
* Scope
Poster and demo contributions are sought in all areas of programming
languages and systems, including the following topics:
- semantics, logics, foundational theory;
- design of languages and foundational calculi;
- type systems;
- compilers, interpreters, abstract machines;
- program derivation and transformation;
- program analysis, verification, model-checking, software security;
- concurrency, constraints, domain-specific languages;
- tools for programming, verification, implementation.
* Format of Posters
A space of A1 paper size (594 mm wide and 841 mm high) will be
provided for each presentation. AC Power outlet of 100V will be also
provided during the poster & demo session. If you need more space and
facilities, contact the poster chair (aplas2012-poster AT
fos.kuis.kyoto-u.ac.jp).
* Submission
Each presenter should e-mail a 1-2 page abstract in PDF to the poster
chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by
October 5th 2012. The abstract should include the title, author(s),
affiliation(s) and summary of the work. The program of the poster
session will be announced by October 29th, 2012. We hope to
accommodate every poster, but may restrict presentations (based on
relevance and interest to the community) due to space constraints.
* Important Dates
Submission deadline: October 5th, 2012
Notification: October 29th, 2012
* Contact
Poster chair: Kohei Suenaga
(aplas2012-poster AT fos.kuis.kyoto-u.ac.jp)
--
Kohei Suenaga
ksuenaga AT fos.kuis.kyoto-u.ac.jp