Kyoto, Japan, July 5th, 2015

Satellite Workshop of ICALP 2015



Scope

The aim of the workshop is to provide a friendly environment so that students can talk about their ongoing research and discuss research ideas. The workshop is mainly aimed towards Ph. D. students, but excellent master or bachelor students are welcome to participate as well.

Format

The Young Researcher Forum is a satellite workshop of ICALP 2015 that will be held on Sunday July 5, 2015 in Kyoto (Japan). During the workshop, participants can present their work and there will be some time for discussion. Acceptance will be based on a 4-page abstract, see the submission guidelines below.

Program

The workshop will be held in the Clock Tower Centenial Hall, in Yoshida main campus of Kyoto University. See here for details on how to reach the venue. Most of the program will consist of the talks by young researchers. Each talk should be 15 minutes, with an additional 5 minutes for questions and 2 minutes for other comments and setting up for the next speaker.

9:30-9:40
  • Opening remarks

9:40-10:30
  • Subsumption Trees for On-The-Fly Universality Checking of Finite-State Automata.
    Evan Legros and Seth Fogarty.
  • Time-Windowed Closest Pair.
    Timothy Chan and Simon Pratt.

10:30-11:00
  • Coffee break

11:00-12:30
  • A linear time algorithm to compute the impact of all the articulation points.
    Gabriele Farina.
  • The Termination/Boundedness Problem of Well-Structured Pushdown Systems.
    Suhua Lei, Xiaojuan Cai and Mizuhito Ogawa.
  • Reliable Top-k Dominating Query on Uncertain Big Data with x-Relation.
    Xiang Yu, Takeshi Tokuyama and Jinhee Chun.
  • Convergence law for hyper-graphs with specified degree sequence and edge sizes.
    Nans Lefebvre.

12:30-14:00
  • Lunch break

14:00-15:30
  • Towards an atomic lambda-mu-calculus.
    Fanny He.
  • Network Topologies for Weak Pareto Optimality in Nonatomic Selfish Routing.
    Xujin Chen, Zhuo Diao and Xiaodong Hu.
  • Solving Problems on Graphs of High Rank-Width.
    Eduard Eiben, Robert Ganian and Stefan Szeider.
  • The Discrete Fréchet Gap.
    Omrit Filtser.

15:30-16:00
  • Coffee break

16:00-17:10
  • A Lower Bound on Supporting Predecessor Search in k sorted Arrays.
    Carsten Grimm.
  • Two Variable CSP Sparsification.
    Arnold Filtser.

17:10-17:30
  • Open discussion and question time

Submission guidelines

  • Submissions are done via Easychair system using the following link.
  • Abstracts should be at most 4 pages in LNCS format. Given the space constraints, proof of the claims are not needed. However, the committee reserves the right to ask for more details if deemed necessary.
  • Topics must fit into the general theme of ICALP conference. Submissions of all three tracks will be accepted. See ICALP's website for more details.
  • The idea of the event is for young researchers to present new and ongoing work. As such, submissions should not have appeared (or be scheduled to appear) in any formally reviewed conference or journal.
  • Accepted manuscripts will be compiled in a collection of abstracts. This collection is not a formal publication, and as such authors are encouraged to submit their publication elsewhere after the conference.
  • At least one of the authors must be a young researcher (that is, without a formal doctorate) who must present the work at the workshop.
  • Submissions will undergo a two-phase submission process. After the first review, authors will receive a description of changes needed to be implemented (in both content and presentation of the paper). In the second phase, the committee will verify that the required changes have been implemented satisfactorily, and notifications of final acceptance will be given.

Important Dates

  • Submission deadline: 1st of April 2015.
  • First notification deadline: 15th of April 2015.
  • Deadline for revisions: 25th of April 2015.
  • Final notification of acceptance: 5th of May 2015.
  • YR-ICALP Workshop: 5th of July 2015.

Program Committee

Sponsors

Thanks to financial support that we received, we have been able to fund support packages to all participants that so requested. The support package consisted of enough money to cover ICALP-LICS registration fee, hotel, as well as transportation within Japan. We are very grateful for the following to the following projects for their altruistic donations.

ERATO Kawarabayashi Large Graph Project

ERATO

An Exploratory Research for Advanced Technology (ERATO) project, JST, Japan


Exploring the Limits of Computation (ELC)

ELC

Grant-in-Aid for Scientific Research on Innovative Areas, MEXT, Japan