Grant Application Deadlines

Seminar Arrival Begin Departure Title Deadline
18082 2018-02-18 2018-02-19 2018-02-23 Formal Methods for the Synthesis of Biomolecular Circuits 2018-01-19
18091 2018-02-25 2018-02-26 2018-03-02 Data Consistency in Distributed Systems: Algorithms, Programs, and Databases 2018-01-26
18092 2018-02-25 2018-02-26 2018-02-28 The Logical Execution Time Paradigm: New Perspectives for Multicore Systems 2018-01-26
18101 2018-03-04 2018-03-05 2018-03-09 Scheduling 2018-02-02
18102 2018-03-04 2018-03-05 2018-03-09 Dynamic Traffic Models in Transportation Science 2018-02-02
18111 2018-03-11 2018-03-12 2018-03-16 Loop Optimization 2018-02-09
18122 2018-03-18 2018-03-19 2018-03-21 Automatic Quality Assurance and Release 2018-02-16
18172 2018-04-22 2018-04-23 2018-04-27 Algebraic Effect Handlers go Mainstream 2018-02-02
18182 2018-04-29 2018-04-30 2018-05-02 Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research 2018-02-02
18202 2018-05-13 2018-05-14 2018-05-16 Inter-Vehicular Communication Towards Cooperative Driving 2018-02-16
18211 2018-05-21 2018-05-22 2018-05-25 Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance 2018-02-23
18231 2018-06-03 2018-06-04 2018-06-08 The Constraint Satisfaction Problem: Complexity and Approximability 2018-02-16
18242 2018-06-10 2018-06-11 2018-06-13 Secure Routing for the Internet 2018-03-16
18252 2018-06-18 2018-06-19 2018-06-21 Ubiquitous Gaze Sensing and Interaction 2018-03-23
18261 2018-06-24 2018-06-25 2018-06-29 Discipline Convergence in Networked Systems 2018-03-30
18271 2018-07-01 2018-07-02 2018-07-06 In Situ Visualization for Computational Science 2018-04-06
18281 2018-07-08 2018-07-09 2018-07-13 Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices 2018-04-13
18291 2018-07-15 2018-07-16 2018-07-20 Extreme Classification 2018-04-20
18321 2018-08-05 2018-08-06 2018-08-08 Web Application Security 2018-02-02
18331 2018-08-12 2018-08-13 2018-08-17 Algorithmic Foundations of Programmable Matter 2018-02-09
18341 2018-08-19 2018-08-20 2018-08-24 Formalization of Mathematics in Type Theory 2018-02-16
18351 2018-08-26 2018-08-27 2018-08-31 Modeling for Sustainability 2018-02-23
18361 2018-09-02 2018-09-03 2018-09-07 Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis 2018-03-02
18371 2018-09-09 2018-09-10 2018-09-14 Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web 2018-03-09
18381 2018-09-16 2018-09-17 2018-09-21 Quantum Programming Languages 2018-03-16
18391 2018-09-23 2018-09-24 2018-09-28 Algebraic Methods in Computational Complexity 2018-03-23

Use shift-click to sort according several additional columns.
Sort function provided by tablesorter.