MPG.eBooks - Author Search Results

Ruy de Queiroz

Ruy J. Guerra B. de Queiroz (born January 11, 1958, in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.

Ruy de Queiroz received his B.Eng in Electrical Engineering from Escola Politecnica de Pernambuco in 1980, his M.Sc in Informatics from Universidade Federal de Pernambuco in 1984, and his Ph.D in Computing from the Imperial College, London in 1990, for which he defended the Dissertation ''Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation''. Provided by Wikipedia

Cover Image

1

Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

2

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

3

Logic, Language, Information, and Computation

Published 2012

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

4

Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

5

Logic, Language, Information, and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

6

Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Published 2018

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

7

Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Published 2019

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

8

Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Published 2016

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

9

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

10

Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

11

Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...de Queiroz, Ruy...”

Cover Image

12

Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings

Published 2024

Springer Nature Switzerland

Other Authors: “...de Queiroz, Ruy...”

Cover Image

13

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Published 2017

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy J.G.B....”

Cover Image

14

Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Published 2014

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy J G B....”

Cover Image

15

Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Other Authors: “...de Queiroz, Ruy...”

Cover Image

16

Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...de Queiroz, Ruy J. G. B....”

Cover Image

17

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Other Authors: “...de Queiroz, Ruy J.G.B....”