FSTTCS 2017 37th 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 lecture halls – 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:30 - 15:55 Coffee Break 15:55 - 16:55 R¨udigerEhlers Computing Control Policies for Enforcing Omega-regular Control Objectives in MDPs: A Non-classical Perspective 17:00 - 18:00 Panel Discussion (Moderator: Orna Kupferman) 18:00 - 18:30 Coffee Break

2 Tuesday, December 12, 2017 08:30 - 8:50 Registration 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 Session 1A (Kd101) Session 1B (Rm101) Chair: Nitin Saxena Chair: Madhavan Mukund Approximation Algorithms for Verification of Asynchronous Programs 10:10 - 11:10 Stochastic k-TSP - A. Ene, V. with Nested Locks - M.F. Atig, A. Nagarajan & R. Saket Bouajjani, K.N. Kumar & P. Saivasan Hardness of Rainbow Coloring Hyper- Synthesis in Distributed Environments graphs - V. Guruswami & R. Saket - B. Finkbeiner & P. G¨olz 11:10 - 11:40 Coffee Break Session 2A (Kd101) Session 2B (Rm101) Chair: Rajat Mittal Chair: Kamal Lodaya A Lifting Theorem with Applications Monitoring for Silent Actions - L. to Symmetric Functions - A. Chat- Aceto, A. Achilleos, A. Francalanza & 11:40 - 12:40 topadhyay & N. Mande Anna Ing´olfsd´ottir Composition Theorem for Randomized On Symbolic Heaps Modulo Permis- Query Complexity - A. Anshu, D. sion Theories - S. Demri, E. Lozes & Gavinsky, R. Jain, S. Kundu, T. Lee, D. Lugiez P. Mukhopadhyay, M. Santha & S. Sanyal 12:40 - 14:00 Lunch Session 3 (Rm101) Chair: Anil Seth 14:00 - 15:30 A Dichotomy Theorem for the Inverse Satisfiability Problem - V. Lagerkvist & B. Roy Querying Best Paths in Graph Databases - J. Michaliszyn, J. Otop & P. Wieczorek Reasons for Hardness in QBF Proof Systems - O. Beyersdorff, L. Hinde & J. Pich 15:30 - 16:00 Coffee Break Session 4A (Kd101) Session 4B (Rm101) Chair: Raghunath Tewari Chair: B Srivathsan Understanding the Correlation Gap for Complexity of Model Checking MDPs Matchings - G. Guruganesh & E. Lee against LTL Specifications - D. Kini & M. Viswanathan 16:00 - 17:00 Finding Pseudorandom Colorings of VLDL Satisfiability and Model Check- Pseudorandom Graphs - A. Kumar, A. ing via Tree Automata - A. Weinert Louis & M. Tulsiani Non-Adaptive Data Structure Bounds On the Control of Asynchronous Au- for Dynamic Predecessor Search - J. tomata - H. Gimbert Brody, J. Boninger & O. Kephart

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 Session 5A (Kd101) Session 5B (Rm101) Chair: Arkadev Chattopadhyay Chair: S Akshay Popular Matchings with Multiple Part- Rabin vs. Streett Automata - U. Boker 10:10 - 11:10 ners - F. Brandl & T. Kavitha Popular Matchings with Lower Quotas Forward Analysis for WSTS , Part III: - M.Nasre & P. Nimbhorkar Karp-Miller Trees - M. Blondin, A. Finkel & J. Goubault-Larrecq 11:10 - 11:40 Coffee Break Session 6A (Kd101) Session 6B (Rm101) Chair: Abhiram Ranade Chair: Supratik Chakraborty 11:40 - 12:40 Maintaining Reeb graphs of triangulated 2- Local Patterns - J. Day, P. Fleis- manifolds - P.K. Agarwal, K. Fox & A. Nath chmann, F. Manea & D. Nowotka On Colourability of Polygon Visibility Symmetric Synthesis - R. Ehlers & B. Graphs -O. Cagirici, P. Hlineny & B. Roy Finkbeiner 12:40 - 14:00 Lunch Invited Talk 3 (Rm101) 14:00 - 15:00 Sham Kakade – A Markov Chain Theory Approach to Characterizing the Minimax Optimality of Stochastic Gradient Descent (for Least Squares) Chair: Satya Lokam Session 7 (Rm101) 15:00 - 15:30 Chair: Satya Lokam Flow Games - O. Kupferman, G. Vardi & M. Vardi 15:30 - 16:00 Coffee Break Session 8A (Kd101) Session 8B (Rm101) Chair: Kavitha Telikepalli Chair: K Narayan Kumar Train Scheduling on a Unidirectional Complexity of the Diagonal Problem Path - A. Garg & A. Ranade for Recursion Schemes - P. Parys 16:00 - 17:30 Network Construction with Ordered Modulo Counting on Words and Trees Constraints - Y. Huang, M.V. Janard- - B. Bednarczyk & W. Charatonik hanan & L. Reyzin Streaming for Aibohphobes: Longest Probabilistic Disclosure: Maximisation Palindrome with Mismatches - E. Grig- vs. Minimisation - B. B´erard, S. Had- orescu, E.S. Azer & S. Zhou 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 Session 9A (Kd101) Session 9B (Rm101) Chair: Vikram Sharma Chair: Deepak D’Souza A Unified Method for Placing Prob- How Deterministic are Good-For- 10:10 - 11:10 lems in Polylogarithmic Depth - A. Games Automata? - U. Boker, O. Krebs, N. Limaye & M. Ludwig Kupferman & M. Skrzypczak Vertex Deletion Problems on Chordal Average Stack Cost of Buechi Push- Graphs - Y. Cao, Y. Ke, Y. Otachi & down Automata - J. Michaliszyn & J. J. You Otop 11:10 - 11:40 Coffee Break Session 10A (Kd101) Session 10B (Rm101) Chair: Meghana Nasre Chair: S P Suresh Balanced Judicious Partition is FPT - A combinatorial proof of Bass’s deter- D. Lokshtanov, S. Saurabh, R. Sharma minant formula for the zeta function of 11:40 - 12:40 & M. Zehavi regular graphs - B. Rangarajan On the Parameterized Complexity of An Improved Dictatorship Test with Simultaneous Deletion Problems - A. Perfect Completeness - A. Bhangale, S. Agrawal, R. Krithika, D. Lokshtanov, Khot & D. Thiruvenkatachari A. Mouawad & Ramanujan M. S 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 Session 11 (Rm101)

15:00 - 15:30 Chair: Meena Mahajan On Hashing-Based Approaches to Approximate DNF-Counting - K.S. Meel, A.A. Shrotri & M.Y. Vardi 15:30 - 16:00 Coffee Break 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, 2017 Workshop: Computational Social Choice Theory (Rm101)

08:30 - 08:50 Registration 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:10 - 11:30 Coffee Break 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)

08:30 - 09:00 Registration 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:00 - 11:30 Coffee Break 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 the campus. The following QR code can be used to access a more detailed map.

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 at the International Hostel will be provided complimentary breakfast and dinner in the International Hostel. Participants staying at Visitors’ Hostel (VH) and Visiting Faculty Apartments (VFA) will be 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 • Hall 12 Mess timings

– Breakfast - 0730 - 1015 – Breakfast - 0800 - 0930 – Lunch - 1230 - 1430 – Lunch - 1230 - 1400 – Dinner - 0730 - 0930 – Dinner - 0730 - 0900

Cafeteria (aka Canteens) All the halls have canteens that are open from 1400 to 0200. The popular options are the ones in Hall 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

• Caf´eCoffee 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 259 1101) – 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 minutes of 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 “Start Trip” 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 centre which 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 for discussions 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 in the Shopping Complex. ATMs for both banks are also located in front of Student Hall of Residence 3 and are open round the clock. There is also an ICICI Bank ATM near the Hall 7 gate. All the ATMs accept Visa and Mastercard. SBI also provides foreign exchange services. SBI and UBI working 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 Health Centre is open 24 hours. The pharmacy in the shopping center is open from 1030 till 2045 with lunch timings from 1400 till 1500. Participants in need of immediate medical attention may approach the front desk of the Health Center directly.

Things to do

• The IIT Kanpur campus is in itself a place worth exploring. Avid bird watchers can treat themselves (not on a plate but on a film roll maybe) to the migratory birds who choose to make the 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 a favorite haunt for bird watchers.

9 • Shopping. There are several places for shopping in the city. Kanpur is famous for leather goods (Meston Road), the famous Lucknow Chikan clothes and sarees (Naveen Market and Shivalya). Fabindia in Zsquare Mall is a popular outlet for ethnic Indian wear. There is also a market in Gumti No. 5 for almost all items especially clothing. Handicrafts are also available at 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 to Bithoor which lies on the banks of the Ganges and is of historical significance owing to its connections with the First Indian War of Independence in 1857.

• For those who wish to visit the Taj Mahal, Agra Fort and Fatehpur Sikri, the recommended option is to hire a car and drive to Agra. The distance is approximately 300KM. Agra has 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 the entrance 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 • Hall 13

– Sumanta Ghosh - +91-8052377012 – Amit Sinhababu - +91-9554895063 – Debabrata Ghosh - +91-7752894614 – Vimal Raj Sharma - +91-7380774089

• Visitors’ Hostel • Hall 6

– Rajendra Kumar - +91-9566817080 – Priyanka Golia - +91-8400197104 – Mahesh - +91-8547302044 – Sabreen Syed - +91-9572307192

10 INDEX Source: Google Maps

Visitor’s Hostel International Hostel Visiting Faculty Hall 12 Hall 13 Apartments

All marked paths show directions from corre- sponding sources to the CSE building

VENUE FOR DOAA WORKSHOP AND CANTEEN CONFERENCE GATE 4 ENTER THE GATE 1 ACADEMIC AREA THROUGH GATE 4 ENTER THE ACADEMIC AREA THROUGH GATE 1 11

INTERNATIONAL HOSTEL HALL 12

HALL 13

VISITING FACULTY APARTMENTS IIT KANPUR LOCATION MAP