Logic-ml May 2015

logic-ml@fos.kuis.kyoto-u.ac.jp

8 participants
13 discussions

Fwd: [TYPES/announce] TTCS 2015 - Call for Papers
by Ichiro Hasuo 14 May '15

14 May '15

========================================= Topics in Theoretical Computer Science (TTCS 2015) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran August 26-28, 2015 *Submission Deadline:* May 15, 2015 ======================================== Scope ------------------------------ TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects. Topics of interest include but are not limited to: - algebra and co-algebra in computer science, - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - concurrency theory, - coordination languages, - economics and algorithmic game theory, - fixed parameter algorithms, - formal verification and model-based testing, - logic in computer science, - machine learning - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - stochastic and probabilistic specification and reasoning - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theoretical cryptography, - theory of programming languages, and - type theory and its application in program verification. Keynote Speakers ------------------------------ Anuj Dawar, Cambridge University, UK Michael Fellows, Charles Darwin University, Australia Mehrnoosh Sadrezadeh, Queen Mary University of London, UK Submission ------------------------------ For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions. Important Dates ------------------------------ - *Paper Submission:* May 15, 2015 (Anywhwere on Earth) - *Author notification:* June 26, 2015 - *Camera ready paper due:* July 10, 2015 - *Conference:* August 26-28, 2015 Program Committee ------------------------------ *Track A: Algorithms and Complexity* - Mohammad Ali Abam, Sharif University of Technology, Iran - Saeed Akbari, Sharif University of Technology, Iran - Saeed Alaei, Cornell University, USA - Mohammad Hossein Bateni, Google Research, USA - Salman Beigi, IPM, Iran - Amir Daneshgar, Sharif University of Technology, Iran - Fedor Fomin, University of Bergen, Norway - Ali Ghodsi, University of Waterloo, Canada - Mohammad Ghodsi, Sharif University of Technology, Iran - Mohammad T. Hajiaghayi, University of Maryland, USA (Chair) - Amin Karbasi, Yale University, USA - Nicole Immorlica, Microsoft Research, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahdian, Google Research, USA - Hamid Mahini, University of Maryland, USA - Bojan Mohar, Simon Fraser University, Canada - Mohammad Mahmoody, University of Virginia, USA - Vahab Mirrokni, Google Research, USA - Morteza Monemizadeh, Frankfurt University, Germany - Shayan Oveisgharan, UC Berkeley and University of Washington, USA - Debmalya Panigrahi, Duke University, USA - Jorg Sack, Carleton University, Canada - Mohit Singh, Microsoft Research, USA - Dimitrios M. Thilikos, CNRS, France and University of Athens, Greece - Suresh Venkatasubramanian, University of Utah, USA - Jan Vondrak, IBM Almaden Research Center, USA *Track B: Logic, Semantics, and Programming Theory* - Farhad Arbab, CWI and Leiden University, The Netherlands - S. Arun-Kumar, IIT Delhi, India - Ilaria Castellani, INRIA Sophia Antipolis, France - Dave Clarke, Uppsala University, Sweden and KU Leuven, Belgium - Pieter Cuijpers, Eindhoven University of Technology, The Netherlands - Fatemeh Ghassemi, Tehran University, Iran - Matthew Hennessy, Trinity College Dublin, Ireland - Ichiro Hasuo, University of Tokyo, Japan - Mahdi Jaghoori, AMC University of Amsterdam, The Netherlands - Jeroen Keiren, Vrije Universiteit Amsterdam, The Netherlands - Bas Luttik, Eindhoven University of Technology, The Netherlands - Jose Meseguer, University of Illinois at Urbana, USA - Lary Moss, Indiana University, USA - Mohammad Mousavi, Halmstad University, Sweden (Chair) - Jun Pang, University of Luxembourg, Luxembourg - Gerardo Schneider, Chalmers University of Technology, Sweden - Marjan Sirjani, Reykjavik University, Iceland - Walter Vogler, Augsburg University, Germany - Tim Willemse, Eindhoven University of Technology, The Netherlands

1 1

Kobe set theory seminar on Tue 19 May.
by Daisuke Ikegami 14 May '15

14 May '15

皆様神戸大学の池上と申します。来週の火曜日13:30から行われる神戸集合論セミナーのお知らせです。講演者は、カーネギーメロン大学でポスドクをしている Nam Trang さんです。どうぞお気軽にお越しください。問合せ先：池上大祐神戸大学大学院システム情報学研究科 E-mail: ikegami(a)people.kobe-u.ac.jp ========================================================================= 日時：2015年5月19日（火）13:30-15:00 講演者：Nam Trang （Carnegie Mellon University）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車、「神大本部工学部前」停留所下車、徒歩すぐ。 http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html （「ローカルマップ」の59番の建物）題目： Descriptive inner model theory and forcing axioms. アブストラクト： We discuss some recent developments in descriptive inner model theory, focusing on works on constructing canonical inner models of large cardinals and determinacy from combinatorial consequences of forcing axioms such as PFA. The upshot is the speaker’s result, built on earlier works of Steel and Sargsyan, that PFA implies the existence of models of “AD_R + Θ is regular”. The talk is mostly a survey talk and we aim to explain definitions and notions involved, hence should be accessible to general set theorists. =========================================================================

1 0

WoLLIC 2015 - CALL FOR PARTICIPATION
by 小野寛晰 14 May '15

14 May '15

CALL FOR PARTICIPATION WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20-23, 2015 Bloomington, IN, USA CO-LOCATED WITH Conference on Computing Natural Reasoning (CoCoNat'15 <http://www.indiana.edu/~iulg/wollic/coconat.htm>) July 19-20, 2015 SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA CALL FOR PARTICIPATION WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science, Indiana University, Bloomington, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as volume 9160 in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (tbc). INVITED TALKS . Adriana Compagnoni (Stevens Institute, USA) Modeling Language Design for Complex Systems Simulation . Nina Gierasimczuk (University of Amsterdam) Learning in the Limit, General Topology and Modal Logic . John Harrison (Intel, USA) Formalization of Mathematics for Fun and Profit . Peter Jipsen (Chapman U, USA) From Residuated Lattices via GBI-algebras to BAOs . André Joyal (U du Québec Montreal, Canada) Categories of Games . Mehrnoosh Sadrzadeh (Queen Mary, UK) Multi-Linear Algebraic Semantics for Natural Language . Chung-chieh Shan (Indiana U, USA) (tba) . Alexandra Silva (Radboud U Nijmegen, The Netherlands) Towards a Nominal Chomsky Hierarchy. TUTORIALS Nina Gierasimczuk (University of Amsterdam) John Harrison (Intel, USA) André Joyal (U du Québec Montreal, Canada) Alexandra Silva (Radboud U Nijmegen, The Netherlands) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS In remembrance of the 30th anniversary of the passing away of Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985), an American mathematician best known for her work on decision problems and Hilbert's Tenth Problem, the program of the meeting will include a screening of George Csicsery's documentary "Julia Robinson and Hilbert's Tenth Problem" (2008). As a tribute to a recent breakthrough in mathematics, there will also be a screening of Csicsery's "Counting from Infinity: Yitang Zhang and the Twin Prime Conjecture" (2015) which centers on a very exciting string of mathematical discoveries that occurred during 2013, started when Yitang Zhang, a virtually unknown mathematician working as adjunct professor at the University of New Hampshire, submitted a paper to the Annals of Mathematics in April 2013. PROGRAMME COMMITTEE Juliana Küster Filipe Bowles (U St Andrews, Scotland) Robin Cooper (U Gothenburg, Sweden) Martín Escardó (U Birmingham, UK) Nikos Galatos (U Denver, USA) Achim Jung (U Birmingham, UK) Sara Kalvala (U Warwick, UK) Elham Kashefi (Edinburgh U, Scotland) Peter Lefanu Lumsdaine (Institute for Advanced Study, USA) Ian Mackie (U Sussex, UK) Gerard de Melo (Tsinghua U, China) Vivek Nigam (Federal U of Paraíba, Brazil) Catarina Dutilh Novaes (U Groningen, The Netherlands) Valeria de Paiva (Nuance Comm, USA) (CHAIR) Luiz Carlos Pereira (PUC-Rio, Brazil) Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva (Radboud Nijmegen U, The Netherlands) Carolyn Talcott (SRI International, USA) Josef Urban (Radboud Nijmegen U, The Netherlands) Laure Vieu (IRIT-Toulouse, France) Renata Wasserman (U São Paulo, Brazil) Anna Zamansky (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) REGISTRATION Now open at http://www.indiana.edu/~iulg/wollic/registration.html <http://www.indiana.edu/~iulg/wollic/registration.html> ACCOMODATION Please visit http://www.indiana.edu/~iulg/wollic/venue.html <http://www.indiana.edu/~iulg/wollic/venue.html> FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE www.indiana.edu/~iulg/wollic <http://www.indiana.edu/~iulg/wollic>

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2015