fsttcs 2017 · fsttcs 2017 37th iarcs annual conference on foundations of software technology and...
TRANSCRIPT
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:30 - 15:55 Coffee Break
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)
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
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:10 - 11:40 Coffee Break
11:40 - 12:40
Session 2A (Kd101) Session 2B (Rm101)
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
15:30 - 16:00 Coffee Break
16:00 - 17:00
Session 4A (Kd101) Session 4B (Rm101)
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
Session 5A (Kd101) Session 5B (Rm101)
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:10 - 11:40 Coffee Break
11:40 - 12:40
Session 6A (Kd101) Session 6B (Rm101)
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
15:30 - 16:00 Coffee Break
16:00 - 17:30
Session 8A (Kd101) Session 8B (Rm101)
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
Session 9A (Kd101) Session 9B (Rm101)
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:10 - 11:40 Coffee Break
11:40 - 12:40
Session 10A (Kd101) Session 10B (Rm101)
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
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, 2017Workshop: 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 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
• 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