FSTTCS 2017 · FSTTCS 2017 37th IARCS Annual Conference on Foundations of Software Technology and...

FSTTCS 201737th IARCS Annual Conference on Foundations of Software

Technology and Theoretical Computer Science

December 11 – 15

Information Booklet

Department of Computer Science and Engineering

Indian Institute of Technology Kanpur

Contents

Venue 2

Probabilistic Reasoning and Formal Methods 2

Conference Schedule 3

Computational Social Choice Theory 5

Lattice Algorithms and Cryptography 6

Local Information 7

Accommodation 7

Food Options 7

Transport 8

Miscellaneous 9

Things to do 9

Contacts 10

1

Venue

All the talks will be held at the Department of Computer Science and Engineering, in the lecturehalls – KD101 and RM101.

Schedule

Monday, December 11, 2017

Workshop: Probabilistic Reasoning and Formal Methods

Venue: Rm101

08:30 - 09:00 Registration

09:00 - 09:15 Opening Remarks

09:15 - 10:45 Adnan Darwiche

On the Role of Logic in Probabilistic Inference and Machine Learning

10:45 - 11:15 Coffee Break

11:15 - 12:30 Mahesh Viswanathan

Probabilistic Automata on Finite and Infinite Words

12:30 - 14:00 Lunch

14:00 - 15:30 Joost-Pieter Katoen

Bayesian Network Analysis by Program Verification


15:55 - 16:55 Rudiger Ehlers

Computing Control Policies for Enforcing Omega-regular Control Objectives inMDPs: A Non-classical Perspective

17:00 - 18:00 Panel Discussion (Moderator: Orna Kupferman)


2

Tuesday, December 12, 2017


08:50 - 9:00 Opening Remarks (Rm101)

Invited Talk 1 (Rm101)09:00 - 10:00

Thomas Wilke – Backward Deterministic Finite-State Automata on Infinite Words

Chair: Paritosh Pandya

10:10 - 11:10

Session 1A (Kd101) Session 1B (Rm101)

Chair: Nitin Saxena Chair: Madhavan Mukund

Approximation Algorithms forStochastic k-TSP - A. Ene, V.Nagarajan & R. Saket

Verification of Asynchronous Programswith Nested Locks - M.F. Atig, A.Bouajjani, K.N. Kumar & P. Saivasan

Hardness of Rainbow Coloring Hyper-graphs - V. Guruswami & R. Saket

Synthesis in Distributed Environments- B. Finkbeiner & P. Golz


11:40 - 12:40


Chair: Rajat Mittal Chair: Kamal Lodaya

A Lifting Theorem with Applicationsto Symmetric Functions - A. Chat-topadhyay & N. Mande

Monitoring for Silent Actions - L.Aceto, A. Achilleos, A. Francalanza &Anna Ingolfsdottir

Composition Theorem for RandomizedQuery Complexity - A. Anshu, D.Gavinsky, R. Jain, S. Kundu, T. Lee,P. Mukhopadhyay, M. Santha & S.Sanyal

On Symbolic Heaps Modulo Permis-sion Theories - S. Demri, E. Lozes &D. Lugiez

12:40 - 14:00 Lunch

14:00 - 15:30

Session 3 (Rm101)

Chair: Anil Seth

A Dichotomy Theorem for the Inverse Satisfiability Problem - V. Lagerkvist & B.Roy

Querying Best Paths in Graph Databases - J. Michaliszyn, J. Otop & P. WieczorekReasons for Hardness in QBF Proof Systems - O. Beyersdorff, L. Hinde & J. Pich


16:00 - 17:00


Chair: Raghunath Tewari Chair: B Srivathsan

Understanding the Correlation Gap forMatchings - G. Guruganesh & E. Lee

Complexity of Model Checking MDPsagainst LTL Specifications - D. Kini &M. Viswanathan

Finding Pseudorandom Colorings ofPseudorandom Graphs - A. Kumar, A.Louis & M. Tulsiani

VLDL Satisfiability and Model Check-ing via Tree Automata - A. Weinert

Non-Adaptive Data Structure Boundsfor Dynamic Predecessor Search - J.Brody, J. Boninger & O. Kephart

On the Control of Asynchronous Au-tomata - H. Gimbert

3

Wednesday, December 13, 2017

Invited Talk 2 (Rm101)09:00 - 10:00

Edith Elkind – Justified Representation in Mutiwinner Voting: Axioms and Algorithms

Chair: Sunil Simon

10:10 - 11:10


Chair: Arkadev Chattopadhyay Chair: S Akshay

Popular Matchings with Multiple Part-ners - F. Brandl & T. Kavitha

Rabin vs. Streett Automata - U. Boker

Popular Matchings with Lower Quotas- M.Nasre & P. Nimbhorkar

Forward Analysis for WSTS , Part III:Karp-Miller Trees - M. Blondin, A.Finkel & J. Goubault-Larrecq


11:40 - 12:40


Chair: Abhiram Ranade Chair: Supratik Chakraborty

Maintaining Reeb graphs of triangulated 2-manifolds - P.K. Agarwal, K. Fox & A. Nath

Local Patterns - J. Day, P. Fleis-chmann, F. Manea & D. Nowotka

On Colourability of Polygon VisibilityGraphs -O. Cagirici, P. Hlineny & B. Roy

Symmetric Synthesis - R. Ehlers & B.Finkbeiner

12:40 - 14:00 Lunch

Invited Talk 3 (Rm101)14:00 - 15:00

Sham Kakade – A Markov Chain Theory Approach to Characterizing the MinimaxOptimality of Stochastic Gradient Descent (for Least Squares)

Chair: Satya Lokam

15:00 - 15:30

Session 7 (Rm101)

Chair: Satya Lokam

Flow Games - O. Kupferman, G. Vardi & M. Vardi


16:00 - 17:30


Chair: Kavitha Telikepalli Chair: K Narayan Kumar

Train Scheduling on a UnidirectionalPath - A. Garg & A. Ranade

Complexity of the Diagonal Problemfor Recursion Schemes - P. Parys

Network Construction with OrderedConstraints - Y. Huang, M.V. Janard-hanan & L. Reyzin

Modulo Counting on Words and Trees- B. Bednarczyk & W. Charatonik

Streaming for Aibohphobes: LongestPalindrome with Mismatches - E. Grig-orescu, E.S. Azer & S. Zhou

Probabilistic Disclosure: Maximisationvs. Minimisation - B. Berard, S. Had-dad & E. Lefaucheux

17:40 - 18:30 IARCS Business Meeting (Rm101)

19:00 - 22:00 Conference Banquet (Director’s Residence)

4

Thursday, December 14, 2017

Invited talk 4 (Rm101)09:00 - 10:00

Devavrat Shah - Matrix Estimation and Collaborative Filtering

Chair: Somenath Biswas

10:10 - 11:10


Chair: Vikram Sharma Chair: Deepak D’Souza

A Unified Method for Placing Prob-lems in Polylogarithmic Depth - A.Krebs, N. Limaye & M. Ludwig

How Deterministic are Good-For-Games Automata? - U. Boker, O.Kupferman & M. Skrzypczak

Vertex Deletion Problems on ChordalGraphs - Y. Cao, Y. Ke, Y. Otachi &J. You

Average Stack Cost of Buechi Push-down Automata - J. Michaliszyn & J.Otop


11:40 - 12:40


Chair: Meghana Nasre Chair: S P Suresh

Balanced Judicious Partition is FPT -D. Lokshtanov, S. Saurabh, R. Sharma& M. Zehavi

A combinatorial proof of Bass’s deter-minant formula for the zeta function ofregular graphs - B. Rangarajan

On the Parameterized Complexity ofSimultaneous Deletion Problems - A.Agrawal, R. Krithika, D. Lokshtanov,A. Mouawad & Ramanujan M. S

An Improved Dictatorship Test withPerfect Completeness - A. Bhangale, S.Khot & D. Thiruvenkatachari

12:40 - 14:00 Lunch

Invited Talk 5 (Rm101)14:00 - 15:00

Vinod Vaikuntanathan – The Many Problems in Information-Theoretic Cryptography

Chair: Meena Mahajan

15:00 - 15:30

Session 11 (Rm101)

Chair: Meena Mahajan

On Hashing-Based Approaches to Approximate DNF-Counting - K.S. Meel,A.A. Shrotri & M.Y. Vardi


Invited Talk 6 (Rm101)16:00 - 17:00

Anca Muscholl – Automated Synthesis: a Distributed Viewpoint

Chair: R Ramanujam

17:00 - 17:10 Closing Remarks (Rm101)

5

Friday, December 15, 2017Workshop: Computational Social Choice Theory (Rm101)


08:50 - 09:00 Opening Remarks

09:00 - 10:00 Arunava Sen

Implementation in undominated strategies by bounded mechanisms: The Pareto Corre-spondence and a Generalization

10:00 - 11:00 Debasis Mishra

Selling to a naive agent with two rationales


11.30 - 12.30 Edith Elkind

Approximating Optimal Social Choice under Metric Preferences

12:30 - 14:00 Lunch

14:00 - 15:00 Ioannis Caragiannis

Optimizing voting-like algorithms for peer grading and rating

15:00 - 15.30 Coffee Break

15.30 - 16:30 Siddharth Barman

Finding Fair and Efficient Allocations

Workshop: Lattice Algorithms and Cryptography(Kd101)


09:00 - 10:00 Divesh Aggarwal

(Gap/S)-ETH Hardness of SVP

10:00 - 11:00 Noah Stephens-Davidowitz

An Embarrassingly Simple 2n Time Algorithm for SVP-and how we hope to improve it


11.30 - 12.30 Damien Stehle

Sieving Algorithms for Lattice Problems

12:30 - 14:00 Lunch

14:00 - 15:00 Michael Walter

Gaussian Sampling over the Integers: Efficient, Generic, Constant-Time

15:00 - 16:00 Ananth Raghunathan

Frodo: Take off the Ring! Practical Quantum-Secure Key Encapsulation from Lattices

16:00 - 16.30 Coffee Break

15.30 - 16:30 Vinod Vaikuntanathan

A Decade of Fully Homomorphic Encryption

6

Local Information

Please consult the map on page 12 to locate the key landmarks in thecampus. The following QR code can be used to access a more detailedmap.

Accommodation

Participants can book accommodation on campus from December 10 to 16.Those wishing to extend their stay may explore options in the city.

• Indian male students - Hall 13

• Indian female students - Hall 6 (GH Tower)

• Other participants - International Hostel

Food Options

Lunch will be provided to all the participants at the venue of the conference. Participants staying atthe International Hostel will be provided complimentary breakfast and dinner in the InternationalHostel. Participants staying at Visitors’ Hostel (VH) and Visiting Faculty Apartments (VFA) willbe provided complimentary breakfast and dinner in the VH canteen.

Mess

Each Hall has a mess which are among the campus’ healthiest and most affordable eating options.

• Participants staying in Hall 13 can have their meals in Hall 12 mess.

• Participants staying in Hall 6 can have their meals in Hall 6 mess.

• Hall 6,7,8 Mess timings

– Breakfast - 0730 - 1015

– Lunch - 1230 - 1430

– Dinner - 0730 - 0930

• Hall 12 Mess timings

– Breakfast - 0800 - 0930

– Lunch - 1230 - 1400

– Dinner - 0730 - 0900

Cafeteria (aka Canteens)

All the halls have canteens that are open from 1400 to 0200. The popular options are the ones inHall 4, 9 and 12.Food options near the venue with their opening hours:

• DOAA Canteen (Pandit’s): 0700 - 0500

• CC Canteen (Pandit’s): 0900 - 2000

• Cafe Coffee Day (Adjacent to the PK Kelkar Library): 0900 - 0100

• Bakeries at the Shopping Center: 1000 - 2100

7

Other food options inside the campus (with delivery options)

• New SAC

– Crown Burgers: 1100 - 0400 (delivery timings 1900 - 0300, phone number: (+91)7619823555)

– Domino’s Pizza: 1100 - 0200 (delivery timings 1100 - 2300, phone number: (+91)512 2591101)

– Kathi Rolls: 1200 - 0400 (delivery timings 1900 - 0300, phone number: (+91)9838736935)

– Wazwan: 1100 - 0400 (delivery timings 1900 - 0330, phone number: (+91)8756660077)

• UrbanCrave (New Shopping Centre): 1600 - 0100

Restaurants outside campus

You can use Zomato (website/app) to find out about different restaurants outside the campus.Some popular options are the following:

• NH 91 - North Indian (950 m). Free pickup service is available (contact +91-8009997999)

• Choolah - Biryani, Tandoori (8.8 km)

• Rave Moti Mall - Tadka - North Indian (9 km)

• Rave 3 Mall (9.6 km)

– Terrazza 9 - Mughlai, Continental, North Indian

– Rasam - South Indian

– Antarang - North Indian

• Cawnpore 1857 and Waterside in The Landmark Hotel - North Indian (11.7 km)

• Zsquare Mall (12.1 km)

– Barbeque Nation - Live Grill

– Extensive food court with multiple options like Chicago Pizza, McDonalds, KFC etc.

• Little Chef - North Indian - (13.2 km)

• Dhuan (16.6 km)

Transport

• A travel agent is present in the shopping centre - Pearl Travel - 9839099913

• Registered Taxis: +91-512-259-509(4/5/6/7), 9935543837

• Ola Cabs (mobile app)

• Ola pedal, a public bicycle sharing system is an efficient mode of transport in the campus.Ola zones are set up in front of VH, Hall 13 and the International Hostel. The first 30 minutesof each ride is free. Instructions for using Ola pedal are as follows:

1. Locate a cycle at your nearest Ola zone.

8

2. Open Ola app while inside the campus.

3. Go to the second option on to lower part of the screen named as “Pedal”

4. Click on the icon and enter the cycle number written on the cycle and click on “StartTrip”

5. Use the lock code generated to unlock the cycle and enjoy the ride

6. Drop the cycle at nearest Ola zone

7. Lock the cycle and make sure to end the ride on app

8. Any inconvenience can be reported to Ola pedal customer care number: 8576951873

• Rickshaws can be hired outside the International Hostel.

Miscellaneous

Shops inside the campus

• There are two general stores in the shopping centre and one in the new shopping centre.

• There are two bookstores, Noble Book Store and Tarun Book House, in the shopping centrewhich are open from 0930-2100.

Meeting rooms at the conference venue

The rooms KD102, KD103, RM301 along the open spaces in the RM building can be used fordiscussions and meetings. If additional rooms are required, please contact the CSE office staff.

Banking

The State Bank of India (SBI) and the Union Bank of India (UBI) have their branches and ATMs inthe Shopping Complex. ATMs for both banks are also located in front of Student Hall of Residence3 and are open round the clock. There is also an ICICI Bank ATM near the Hall 7 gate. All theATMs accept Visa and Mastercard. SBI also provides foreign exchange services. SBI and UBIworking hours are: 0930 - 1600 (Monday – Friday and Saturday, 16 Dec).

Medical

The campus has a Health Centre that is staffed by a team of doctors and health care providers.Emergency care is provided round the clock. Apollo pharmacy which is located behind the HealthCentre is open 24 hours. The pharmacy in the shopping center is open from 1030 till 2045 with lunchtimings from 1400 till 1500. Participants in need of immediate medical attention may approach thefront desk of the Health Center directly.

Things to do

• The IIT Kanpur campus is in itself a place worth exploring. Avid bird watchers can treatthemselves (not on a plate but on a film roll maybe) to the migratory birds who choose to makethe IIT campus their home at this time of the year. Visit http://www.birds.iitk.ac.in/

for more information. The swampy area behind Student Hall of Residence 8 is particularly afavorite haunt for bird watchers.

9

http://www.birds.iitk.ac.in/

• Shopping. There are several places for shopping in the city. Kanpur is famous for leathergoods (Meston Road), the famous Lucknow Chikan clothes and sarees (Naveen Market andShivalya). Fabindia in Zsquare Mall is a popular outlet for ethnic Indian wear. There is also amarket in Gumti No. 5 for almost all items especially clothing. Handicrafts are also availableat the new shopping center in the campus.

• Delegates who wish to visit the banks of the holy river Ganga may like to plan a trip toBithoor which lies on the banks of the Ganges and is of historical significance owing to itsconnections with the First Indian War of Independence in 1857.

• For those who wish to visit the Taj Mahal, Agra Fort and Fatehpur Sikri, the recommendedoption is to hire a car and drive to Agra. The distance is approximately 300KM. Agrahas many hotels where advance reservation is possible through websites like Booking.com,Cleartrip, Expedia and MakeMyTrip. You can also use services provided by Pearl Travels.Entry tickets for Taj Mahal can be bought online and guides can be hired (optional) at theentrance of the Taj Mahal. The Taj Mahal is open from sunrise (around 0700) to sunset(around 1645).

General Instructions

• Please carry your badge wherever you go inside the campus.

Contacts

Emergency

• Security Office (24 hours): +91-512-259-(7999/7272/7309/7217)

• Health Centre: +91-512-259-(7777/7666/7222)

Other

• CSE Office: +91-512-259-7638

• Visitors’ Hostel: +91-512-259-(7209/7202)

Volunteers

• International Hostel

– Sumanta Ghosh - +91-8052377012

– Debabrata Ghosh - +91-7752894614

• Visitors’ Hostel

– Rajendra Kumar - +91-9566817080

– Mahesh - +91-8547302044

• Hall 13

– Amit Sinhababu - +91-9554895063

– Vimal Raj Sharma - +91-7380774089

• Hall 6

– Priyanka Golia - +91-8400197104

– Sabreen Syed - +91-9572307192

10

IIT KANPUR

LOCATION MAP

VENUE FOR

WORKSHOP AND

CONFERENCE

ENTER THE

ACADEMIC AREA

THROUGH GATE 4

ENTER THE

ACADEMIC AREA

THROUGH GATE 1

INDEX

Source: Google Maps

All marked paths show directions from corre-

sponding sources to the CSE building

Visitor’s Hostel

INTERNATIONAL

HOSTEL

International Hostel

HALL 12

Hall 12 HALL 13Hall 13

VISITING FACULTY

APARTMENTS

Visiting Faculty

Apartments

DOAA

CANTEEN

GATE 1

GATE 4

11

FSTTCS 2017 · FSTTCS 2017 37th IARCS Annual Conference on Foundations of Software Technology and...

Documents

Transcript of FSTTCS 2017 · FSTTCS 2017 37th IARCS Annual Conference on Foundations of Software Technology and...