Which group has Tobias Nipkow been the chair of since 2011?
Logic and Verification group
Tobias Nipkow is the author of the book Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Tobias Nipkow is also the author of Martin Wildmoser et al.: Prototyping Proof Carrying Code. Manuel Eberl et al.: A Verified Compiler for Probability Density Functions. (2017) authored by Tobias Nipkow. Thomas Ball et al.: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 (2009) authored by Tobias Nipkow. Stephan Merz and Tobias Nipkow: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, Nancy, France, September Manuel Eberl et al.: A Verified Compiler for Probability Density Functions. (2014) authored by Tobias Nipkow. Dmitriy Traytel et al.: Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. (2018) authored by Tobias Nipkow. Tobias Nipkow and Lawrence C. Paulson: Proof Pearl: Defining Functions over Finite Sets. (2005) authored by Tobias Nipkow. Klaus Aehlig et al.: A Compiled Implementation of Normalization by Evaluation. (2008) authored by Tobias Nipkow.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: Which group has Tobias Nipkow been the chair of since 2011?
Context: Tobias Nipkow is the author of the book Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Tobias Nipkow is also the author of Martin Wildmoser et al.: Prototyping Proof Carrying Code. Manuel Eberl et al.: A Verified Compiler for Probability Density Functions. (2017) authored by Tobias Nipkow. Thomas Ball et al.: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 (2009) authored by Tobias Nipkow. Stephan Merz and Tobias Nipkow: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, Nancy, France, September Manuel Eberl et al.: A Verified Compiler for Probability Density Functions. (2014) authored by Tobias Nipkow. Dmitriy Traytel et al.: Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. (2018) authored by Tobias Nipkow. Tobias Nipkow and Lawrence C. Paulson: Proof Pearl: Defining Functions over Finite Sets. (2005) authored by Tobias Nipkow. Klaus Aehlig et al.: A Compiled Implementation of Normalization by Evaluation. (2008) authored by Tobias Nipkow.
[/INST] Answer:
