教育

• 博士(Frege結構語義學)，愛丁堡大學，1989年
• 1983年，埃塞克斯大學計算機科學碩士學位
• 1982年，埃塞克斯大學編程和微處理專業優秀文憑
• 學士(純數學)，黎巴嫩大學，貝魯特，1980年

傳記

Fairouz Kamareddine於1980年在貝魯特的黎巴嫩大學獲得純數學學位Maîtrise(法語學士學位)。由於她以最高的成績獲得了Maîtrise學位(她在大學所有分支的純數學中排名第一)，她被授予了獎學金，在她選擇的3個國家攻讀博士學位:法國、英國或美國。盡管她的母親想去法國，她的父親想去美國，但她選擇了英國，因為她想學習英語，她想遠離中東(美國更遠)。從那以後，她成了美國(和法國)的常客，在那裏她建立了非常珍視的工作關係。

Kamareddine教授在數學、邏輯和計算機科學領域有著傑出而成功的學術生涯，她獲得了多個學術獎學金和特許證書，擔任了大量的全球谘詢任務，特別是在教育問題上，她獲得了從大學一直到聯合國的各級機構的多次個人和網絡資助，她擔任過許多期刊編輯和項目委員會、組織和會議的成員。同樣，她也經常應邀出席世界範圍內的國際研究和教育活動。她在研究、工作人員和教學管理方麵的經驗豐富，至少與她擔任12年正教授的經驗相稱。最值得注意的是，她一直並正在跨學科、國際和學術界-產業界合作和網絡的發展、管理和實施中發揮領導作用。自2001年以來，她一直擔任歐盟歐盟研究框架(5、6和7)MAT-ENG小組的專家評估員、報告員和副主席。

研究的興趣

專業的活動:

官方大學工作經曆

• 自1998年8月1日起任赫瑞瓦特大學數學和計算機科學學院正教授(永久職位)。
• 客座教授，法國尚貝裏薩瓦大學，2008年5月21日至6月11日，2008年7月5日至7月17日。
• 格拉斯哥大學，計算科學，1997{1998。格拉斯哥大學計算科學講師(長期職位)，1987{1997。
• 埃因霍溫理工大學數學與計算專業博士後研究員，1991{1992。
• 1984 - 1987年愛丁堡大學數學係數學導師。1980年秋，黎巴嫩提爾，黎巴嫩大學數學講師。

訪問研究工作

• 多次短期訪問德國特烏賓根大學(Uwe M•onnich教授)。在1989年到1990年之間。
• 多次前往荷蘭埃因霍溫的埃因霍溫理工大學(de Bruijn教授、Baeten教授和Nederpelt博士)進行春夏訪問。從1992年到2002年。
• 多次前往荷蘭奈梅亨大學(巴倫德雷格特教授)進行短期訪問。從1991年開始。
• 多次前往阿姆斯特丹大學(Inge Bethke博士)和荷蘭阿姆斯特丹CWI (Klop教授)進行短期訪問。從1992年開始。
• 1995年至1998年，曾多次短期訪問美國波士頓大學(Assaf Kfoury教授)。
• 自1997年以來，多次前往法國尚伯裏的薩瓦大學(Ren David教授、Karim Nour博士和Christophe Ra alli博士)進行短期訪問。
• 自1999年以來，對巴西巴西利亞的巴西利亞大學(Ayala-Rincon和de Moura教授)進行了多次短期訪問。
• 多次短期訪問美國紐約州伊薩卡的康奈爾大學(羅伯特·康斯特布爾教授)。2009年和2010年。
• 2008年和2012年，多次前往日本築波大學(田哲夫教授)進行短期訪問。
• 2015年1 / 2月，加拿大萊斯布裏奇大學和卡爾加裏大學特聘教授。

出版物

期刊出版物

1. 範魯茲·卡瑪瑞丁，卡裏姆·努爾，文森特·拉利，J.B.威爾斯，關於具有擴展變量的交集類型的可實現性語義。信息基礎第121卷(1-4)，153-184頁。2012.isn 0169-2968, IOS出版社。
2. Fairouz Kamareddine, Vincent Rahli和J.B. Wells， λ微積分中的可約性證明。信息學基礎，第121卷(1-4)，第121-152頁。2012.isn 0169-2968, IOS出版社。
3. Daniel Ventura, Mauricio Ayala-Rincon和Fairouz Kamareddine，顯式替換演算與一步eta -約簡明確決定。IGPL邏輯學報，第17卷，第6期，697-718頁。2009.ISSN 1367-0751，牛津大學出版社。
4. Flavio de Moura, Mauricio Ayala-Rincon和Fairouz Kamareddine，高階單元化:Huet方法和基於顯式替換的方法之間的結構關係。應用邏輯學報，第6卷，第1期，第71{108頁。愛思唯爾,北荷蘭。ISSN 1570 - 8683。2008年3月。
5. Fairouz Kamareddine和Karim Nour。交集類型係統的可實現性語義的完整性結果。《純粹與應用邏輯年鑒》，卷146，頁180-198,2007年5月。ISSN: 0168 - 0072。愛思唯爾,北荷蘭。
6. Arbiser, Kamareddine和R os，簡單類型se微積分的弱歸一化。《純邏輯學與應用邏輯學興趣小組邏輯學刊》，2007年第15卷第2期121-147頁。ISSN 1367-0751，牛津大學出版社。
7. 法魯茲·卡馬雷丁，曼紐爾·馬雷克，克日什托夫·雷泰爾和喬·威爾斯。數字化數學:計算機化vs.形式化。國家數字化中心綜述，第10卷，第1{8頁，貝爾格萊德，塞爾維亞，2007年。
8. de Moura, Ayala-Rincon和Kamareddine, SUBSEXPL:一個模擬和比較顯式替換演算的工具。應用非經典邏輯學報，第16卷，第1-2期，119-150頁，2006。版本Hermes-Lavoisier。
9. 用統一裝訂的類型化微積分，函數式編程雜誌。2005年9月，第15卷，第5期，71-796頁。ISSN: 0956-7968，劍橋大學出版社。
10. Ayala-Rincon, de Moura和Kamareddine，顯式替換與Eta約簡的比較與實現，純粹與應用邏輯年鑒。2005年6月，134卷，第1期，第5-41頁。ISSN: 0168 - 0072。愛思唯爾,北荷蘭。
11. Kamareddine和Bloo, De Bruijn的lambda術語的語法和約化行為:無類型情況，邏輯與代數編程雜誌。第62卷，第1期，第109(131)頁，2005年1月。ISSN: 1567 - 8326。愛思唯爾,北荷蘭。
12. Kamareddine和Bloo, De Bruijn的lambda術語的語法和約簡行為:類型化的情況，邏輯和代數編程雜誌。第62卷第2期，159-189頁，2005年2月。ISSN: 1567 - 8326。愛思唯爾,北荷蘭。
13. Kamareddine和Nederpelt，對de Bruijn的數學形式語言的評述。《邏輯、語言與信息學雜誌》第13卷第3期287{340頁。2004年6月。ISSN: 09258531, Kluwer學術出版社。
14. Kamareddine, Monin和Ayala-Rincon，利用產品類型從證明中自動提取程序，哥倫比亞計算學報，第4卷，第2期，第29頁{48。2004年6月。ISSN 1657 2831。
15. 阿亞拉和卡瑪瑞丁:《論將e-風格的一元論應用於簡單類型的高階一元論》，《當代數學》，第24卷，第1-22頁。2003年7月。關於0103 - 9059。Brasileira de Matematica社會。
16. Kamareddine和Qiao, ALF中顯式替換演算的強規格化證明。自動化推理學報，第30卷，59-98頁，2003年1月。ISSN 0168 7433。Kluwer學術出版商。
17. Kamareddine, Laan和Nederpelt，重新認識函數的概念，《邏輯與代數編程學報》，第54卷，第1-2期，65-107頁，2003年1月。ISSN: 1567 - 8326。愛思唯爾,北荷蘭。
18. Borghuis, Kamareddine和Nederpelt，形式化類型理論中的信念修正，《純粹與應用邏輯興趣小組的邏輯雜誌》，第10卷，第5期，第461-500頁，2002年9月，ISSN 1367-0751，牛津大學出版社。
19. Kamareddine和Monin，遞歸函數自動終止方法的擴展，國際計算機科學基礎雜誌，第13卷，第3期，第361-386頁，2002年6月。ISSN 0129 - 0541。世界科學出版公司。
20. Kamareddine和R os, de Bruijn索引的純類型係統，計算機雜誌，卷45(2)，頁187-201,ISSN 0010 4620, 2002年3月。牛津大學出版社。
21. Kamareddine, Laan和Nederpelt, 1940年以前邏輯和數學的類型，《符號邏輯公報》，卷8，第2期，185-245頁，2002年6月，符號邏輯協會。
22. Ayala和Kamareddine，通過se-Style的顯式替換的一元化，《純粹與應用邏輯興趣組邏輯學刊》第9卷(4)，第521-555頁，2001年，ISSN 1367-0751，牛津大學出版社。
23. Kamareddine和Laan，《類型論、類型的分支理論與純粹類型係統的對應》，《邏輯，語言與信息》10(3)，第375-402頁，2001年，ISSN: 0925 8531, Kluwer學術出版社。
24. Kamareddine，回顧-微積分和純類型係統中的經典和de Bruijn符號，《邏輯與計算》雜誌11(3)，第361-392頁，2001年6月，ISSN 0955 792X，牛津大學出版社。
25. Kamareddine和R os，關於顯式替換的Lambda sigma和Lambda s樣式，《邏輯與計算學報》10(3)，第349-380頁，2000年6月，ISSN 0955 792X，牛津大學出版社。
26. Kamareddine, k -縮約的延遲，強歸一化的守恒和保持，《邏輯與計算》10(5)，第721-738頁，ISSN 0955 792X, 2000，牛津大學出版社。
27. 王曉燕，《論-立方的-轉換及其與縮略語的結合》，《邏輯學報》97(1)，1999,ISSN: 0168-0072，北荷蘭。
28. Kamareddine和R os, de Bruijn指數和變量名在顯式替換演算中的橋梁，邏輯學報6(6)，843-874,1998,ISSN 1367-0751，牛津大學出版社。
29. 《無名稱變量顯式代換的合理性》，《計算機科學學報》9(3)，1998,ISSN: 0129-0541，世界科學出版社。
30. Kamareddine, R os和Wells，廣義約簡和顯式替換的微積分:無類型和簡單類型版本，函數和邏輯編程雜誌，卷1998,ISSN 1080-5230，麻省理工出版社。邀請出版。
31. Kamareddine和R os，用顯式替換擴展一個-微積分，它保留了強規格化為開放項上的一種微積分。函數式編程7(4)，395-420,1997,ISSN: 0956-7968，劍橋大學出版社。
32. 《巴倫德雷格特立方的定義和廣義約簡》，信息與計算126(2)，123-143,1996,ISSN: 0890-5401，文獻出版社。
33. Kamareddine和Nederpelt，一個有用的符號，理論計算機科學155,85-109,1996,ISSN: 0304-3975，北荷蘭。
34. Kamareddine和Nederpelt, Barendregt立方體中的規範類型和-轉換，函數編程6 (2)，245-267,1996,ISSN: 0956-7968，劍橋大學出版社。
35. Kamareddine和Laan，《對Russell的Rami類型和Kripke的真理層次的反思》，《純粹與應用邏輯的興趣群》4(2)，195-213,1996年，ISSN 0945-9103，牛津大學出版社。
36. Kamareddine和Nederpelt, Re -微積分的簡化，函數程序設計5(4)，637-651,1995,ISSN: 0956-7968，劍橋大學出版社。邀請出版。
37. 《類型自由理論與集合/分布預測》，《邏輯語言與信息》4 (2)，1995,ISSN: 0925 - 8531。
38. 《基礎形式主義的重要問題》，《純粹邏輯學與應用邏輯學興趣群》3(2,3)，291- 317,1995年，ISSN 0945-9103，牛津大學出版社。
39. Kamareddine和Nederpelt，通過重計算的類型理論的統一方法，理論計算機科學136,183-216,1994,ISSN: 0304-3975，北荷蘭。
40. 《逐步顯式替代方法研究》，《計算機科學學報》4 (3)，1993,ISSN: 0129-0541，世界科學出版公司。
41. 《多態、類型包容與名詞化》，《邏輯與語言信息》，第2期，1993年，ISSN: 0925 8531, Kluwer學術出版社。
42. Kamareddine，集合理論與名詞化II，邏輯與計算2 (6)，687-707,1992,ISSN: 0955-792X，牛津大學出版社。
43. Kamareddine，集合理論和名詞化I，邏輯與計算2 (5)，579-604,1992,ISSN: 0955-792X，牛津大學出版社。
44. 《邏輯、邏輯、量詞與邏輯》，《邏輯語言與信息》1 (1)，1992,ISSN: 0925 8531。
45. 卡馬瑞丁，邏輯與函數式程序設計的交叉路口係統，計算機程序設計科學19,239-279,1992,ISSN: 0167-6423，北荷蘭。

書中章節

1. 《類型的曆史》。多夫。M Gabbay, Francis Je ry Pelletier和John Woods，編輯:《邏輯學:核心概念的曆史》11,HHL，:聖地亞哥:北荷蘭，2012，頁。451 - 511。
2. 費爾烏茲·卡馬雷丁，特溫·蘭和羅伯特·康斯特布爾。Kripke真理論與計算類型論中的羅素序。多夫。M . Gabbay, Akihiro Kanamori和John Woods，編輯:《二十世紀的集合和擴展》，卷6,HHL，聖地亞哥:北荷蘭，2012，頁801-845。
3. 法魯茲·卡馬雷丁，曼紐爾·馬雷克，克日什托夫·雷泰爾和喬·威爾斯。《從洞見到證明》，Festschrift為紀念Andrzej Trybulec、Roman Matuszewski和Anna Zalewska(編)，《邏輯、語法和修辭學研究》，第10卷(23)，95-120頁，Bialystok大學，波蘭邏輯和科學哲學協會，2007年。
4. Kamareddine, Laan和Nederpelt, De Bruijn的自動機和純粹類型係統。《35年自動化數學》，由Fairouz Kamareddine Kluwer編輯的應用邏輯係列。卷28。頁71 - 123。2003年11月。ISBN 1-4020-1656-5。Kluwer學術出版商。
5. 自然語言需要類型嗎?，《應用邏輯:什麼和為什麼》，拉茲洛·波羅斯和邁克爾·馬蘇奇編輯，第79-120頁，1995年。Kluwer學術出版社，ISBN 0-7923-30951。

書

1. Kamareddine, Laan和Nederpelt，類型理論從起源到今天的現代視角。Kluwer學術出版商。2004年5月。ISBN 1-4020-2334-0。
2. Nederpelt和Kamareddine，邏輯推理，第一步。國王學院出版社。2004年4月。ISBN 0 - 9543006 - 7 - x。

編輯問題/書

1. 編輯Adel Bouhoula, Tetsuo Ida和Fairouz Kamareddine。軟件科學符號計算學報2012 (SCSS2012)。EPTCS ? ?2013.
2. Mauricio Ayala-Rincon, Elaine Pimentel和Fairouz Kamareddine編輯。LSFA 2008及LSFA 2009的會議記錄。理論計算機科學412(37)，151頁。2011.
3. Mauricio Ayala-Rincon和Fairouz Kamareddine編輯。第四屆邏輯和語義框架及其應用研討會論文集。電工實習。定理指出。第一版。科學256:135頁。2009.
4. Kamareddine編輯，關於邏輯變體的特刊:從HOL到構造的微積分到在計算機上教授數學證明。應用邏輯學報。第二卷，第2期，第169頁。2004年6月。ISSN 1570 - 8683。愛思唯爾,北荷蘭。
5. Kamareddine編輯，數學知識管理研討會特刊。理論計算機科學電子筆記93，第1{201頁，2004年2月。ISBN 044451290 x,愛思唯爾。
6. Kamareddine編輯，35年自動化數學。在克盧厄應用邏輯係列中編輯的書。卷28。328頁。2003年11月。ISBN 1-4020-1656-5。Kluwer學術出版商。
7. Geuvers和Kamareddine編輯，數學、邏輯和計算特刊(MLC)，理論計算機科學電子筆記85(7)。2003.ISBN 044451290 x,愛思唯爾。
8. Kamareddine編輯，機械化和自動化數學特刊:紀念N.G. de Bruijn。自動化推理雜誌。第29卷第3和第4期，第183-418頁。2002.ISSN 0168 7433。Kluwer學術出版商。
9. Kamareddine編輯，關於重寫和定理證明的特刊。純粹邏輯學與應用邏輯學報，9(3)，頁353{512,2001。ISSN 1367-0751，牛津大學出版社。
10. Kamareddine編輯器，《類型與集計算理論基礎》專刊。邏輯與計算雜誌。第11卷，第3期，第359頁，2001。ISSN 0955 792X，牛津大學出版社。
11. Kamareddine和Klop，編輯，類型理論和術語重寫特刊。邏輯與計算雜誌。第10卷第3期321頁492,2000。ISSN 0955 792X，牛津大學出版社。

執法會議出版物

1. 弗拉維奧·德莫拉A.V.巴博薩，毛裏西奧·阿亞拉-林克?n和Fairouz Kamareddine。通用顯式替換演算性質可視化的一個靈活框架。第五屆巴西邏輯和語義框架及其應用研討會(LSFA2010)，巴西納塔爾。電工實習。定理指出。第一版。科學通報，269:41-54(2011)。
2. Anuj Dawar, Ruy J. G. B. de Queiroz(編):邏輯，語言，信息與計算，第17屆國際學術研討會，2010，巴西利亞，7月6-9日，2010。程序。計算機科學6188課堂講稿，232-246頁。施普林格2010,ISBN 978-3-642-13823-2。
3. 羅伯特·拉馬爾，費爾烏茲·卡馬瑞丁，j·b·威爾斯:MathLang翻譯給伊莎貝爾·辛蒂爾。微積分/MKM 2009, Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (Eds.):智能計算機數學，第16屆研討會，微積分2009，第8屆國際會議，MKM 2009，作為CICM 2009的一部分，Grand Bend，加拿大，2009年7月6-12日。程序。計算機科學課堂講稿5625施普林格2009,ISBN 978-3-642-02613-3, 373-388頁。
4. Daniel Lima Ventura, Mauricio Ayala-Rincon和Fairouz Kamareddine，具有De Bruijn指數的Beta正規型的受限交集類型係統的主要分型。理論計算機科學電子論文集，第15卷，DOI: 10.4204/EPTCS。15、ISSN: 2075-2180, 2010年1月。
5. -和-約簡的Church-Rosser的簡化可約性證明。第三屆邏輯和語義框架及其應用研討會，巴西巴伊亞薩爾瓦多，2008年8月26日。電工實習。定理指出。第一版。科學通報，47(5):689 - 689(2009)。
6. Fairouz Kamareddine, Vincent Rahli, Karim Nour和J.B. Wells，交叉口類型和夜間擴展變量的完整可實現性語義。第5屆國際計算機理論研討會，ICTAC 2008，計算機科學講座講稿第5160卷，171-185頁，J.S. Fitzgerald, A.E. Haxthausen和H. Yenigun (Eds.)， Springer-Verlag, 1{2008年9月3日，伊斯坦布爾，土耳其。
7. Fairouz Kamareddine, Vincent Rahli和J.B. Wells，具有交集類型的lambda微積分的可約性證明。第四屆交叉口類型及相關係統研討會(ITRS '08)，都靈，意大利，2008年3月25日。
8. 範魯茲·卡馬瑞丁，Vincent Rahli, Karim Nour和J.B. Wells，交叉口類型和擴展變量的可實現性語義。第四屆交叉口類型和相關係統研討會(ITRS '08)，意大利，2008年3月25日。
9. Daniel Lima Ventura, Mauricio Ayala-Rincon和Fairouz Kamareddine, de Bruijn指數的交集類型係統，CLE 30 anos/ XV EBL/XIV SLAM(邏輯、認識論和科學史中心30周年紀念，UNICAMP/第十五屆巴西邏輯學會議/第十四屆拉丁美洲數學邏輯研討會)，2008年5月11-17日，巴西RJ。
10. Daniel Lima Ventura, Mauricio Ayala-Rincon和Fairouz Kamareddine，顯式替換微積分的主要分型，第四屆歐洲可計算性會議，邏輯與算法理論，2008年6月15-20日，雅典，希臘。計算機科學5028卷課堂講稿。頁567 - 578。阿諾德·貝克曼，科斯塔斯·迪米特拉科普洛斯和貝內迪克特·洛維(編輯)。ISBN 978-3-540-69405-2。斯普林格出版社,2008年版。
11. Kamareddine和Wells, MathLang數學文本計算機化，第二屆邏輯和語義框架及其應用研討會，巴西米納斯吉拉斯州烏羅普雷托，2007年8月28日。ENTCS，第205卷，第5-30頁，Ayala-Rincon和Heusler(編輯)。ISSN: 1571-0661, 2008年4月。愛思唯爾。
12. 《數學文本的敘事結構——數學知識管理》，第六屆國際會議，MKM 2007，人工智能課堂講稿，4573，頁296-312,M. Kauers, Manfred Kerber, Robert Miner和Wolfgang Windsteiger (Eds)， ISBN 978-3-540-73083-5。斯普林格出版社,2007年6月版。
13. Kamareddine, Lamar, Maarek和Wells，恢複自然語言作為計算機化的數學輸入方法，數學知識管理，第六屆國際會議，MKM 2007，人工智能課堂講稿，4573，頁580 -295,M. Kauers, Manfred Kerber, Robert Miner和Wolfgang Windsteiger (Eds)， ISBN 978-3-540-73083-5。斯普林格出版社,2007年6月版。
14. Ventura, Ayala-Rincon和Kamareddine，保持主題還原的顯式Eta規則的顯式替換演算，巴西邏輯和語義框架研討會，及其應用，巴西，2006年9月17日。
15. Kamareddine, Maarek和Wells，麵向對象的數學文本結構，數學知識管理，2005年第四屆國際會議，AI 3863，頁217-233,Michael Kohlhase (Ed)， Springer-Verlag, 2006
16. 德莫拉，卡馬雷丁和阿亞拉，二階匹配通過顯式替換，第11屆國際大賽。編程邏輯、人工智能和推理，LPAR'04, 2005年3月14-18日，烏拉圭蒙得維的亞。計算機科學課堂講稿3452，第433-448頁，Franz Baader和Andrei Voronkov (Eds)， ISBN: 3-540-25236-3 Springer-Verlag, 2005年2月。
17. De Moura, Ayala和Kamareddine, SUBSEXPL:模擬和比較顯式替換演算的框架，第五屆邏輯實現國際研討會，LPAR 2004的衛星研討會。2005年3月13日，烏拉圭蒙得維的亞。
18. 楊曉明，楊曉明，數學知識管理中的數學知識編碼，數學知識管理，2004，第3屆國際學術會議，計算機科學與技術，第1期，第2頁。Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Eds)， ISBN 3 540 23029斯普林格出版社,2004年9月。
19. Kamareddine, Maarek和Wells, MathLang:一種經驗驅動的數學語言，數學知識管理。理論計算機科學電子筆記93，第138-160頁。2004年2月。ISBN 044451290 x,愛思唯爾。
20. 韋爾斯和卡馬瑞丹，《意義保存的圖解》，重寫技術與應用RTA2003，《計算機科學講義》2706,88{106頁，Nieuwen-huis, R (Ed.)， ISBN 3-540-40254-3，斯inger - verlag, 2003年5月。
21. Kamareddine和R os，顯式替換la de Bruijn:本地和全球方式，ICALP'03衛星研討會，數學，邏輯和計算，2003年7月，埃因霍溫，NL。理論計算機科學電子筆記85,20頁，ENTCS，愛思唯爾。
22. Kamareddine, Laan和Nederpelt，自動力和純類型係統，ICALP'03衛星數學、邏輯和計算研討會，2003年7月，埃因霍溫，NL。理論計算機科學電子筆記85,20頁，ENTCS，愛思唯爾。
23. Kamareddine, Monin和Ayala，利用產品類型從證明中自動提取程序，第九屆邏輯、語言、信息和計算研討會，2002年7月30日至8月2日，巴西裏約熱內盧裏約熱內盧。理論計算機科學電子筆記67,20頁，ENTCS，愛思唯爾。
24. Ayala, de Moura和Kamareddine，顯式替換和eta約簡的比較，第九屆邏輯、語言、信息和計算研討會，2002年7月30日至8月2日，巴西裏約熱內盧裏約熱內盧。理論計算機科學電子筆記67,20頁，ENTCS，愛思唯爾。
25. Kamareddine，關於功能和類型，邀請演講，第29屆信息理論和實踐的當前趨勢年會，計算機科學講稿2540,74-93頁，Grosky, W. I.和Plasil, F. (Ed.)， Springer-Verlag, 2002。
26. Bloo, Kamareddine, Laan和Nederpelt，純類型係統的參數，拉丁美洲理論信息學，2002，坎昆，墨西哥。計算機科學課堂講稿2286,371-385頁，Rajsbaum, S. (Ed.)， Springer-Verlag, 2002年3月。
27. 阿亞拉(Ayala)和卡瑪瑞丁(Kamareddine)，《論在純微積分中應用簡單型高階一元化的se型一元化》。第八屆邏輯、語言、信息和計算研討會WoLLIC 2001年7月31日至8月3日，巴西巴西利亞。
28. Nederpelt和Kamareddine，形式化數學的自然語言:數學方言。第四屆第比利斯語言、邏輯和計算國際研討會，2001年9月23日至28日，格魯吉亞博爾喬米。
29. 類型論中的信念修正。第二屆亞太智能代理技術會議，IAT 2001，第69-73頁，2001。世界Scien-ti c。
30. Kamareddine, Bloo和Nederpelt, De Bruijn的語法和lambda術語的約簡等價。聲明式程序設計原則與實踐國際會議，PPDP 2001，佛羅倫薩，意大利。ACM出版物1-58113-388-x/01/09，頁16-27,2001。
31. Kamareddine, Laan和Nederpelt，用參數重定Barendregt立方體。第五屆功能與邏輯編程國際研討會，FLOPS 2001，東京，日本。計算機科學2024課堂講稿，375{389頁，斯普林格-維拉格，2001。
32. Ayala-Rincon和Kamareddine，利用lambda se風格的簡單型高階一元化策略。參加《第三屆顯式替換國際研討會:程序和證明的理論和應用》，rta2000衛星研討會，英國諾維奇，2000年。
33. Ayala-Rincon和Kamareddine，通過lambda se-Style的顯式替換的統一。聲明式程序設計原則與實踐國際會議，PPDP 2000，加拿大蒙特利爾。ACM出版物1-58113-265-4/00/0009，頁163- 174,2000。
34. Kamareddine和Monin，自動化的歸納和非歸納終止方法，計算機科學1742，亞洲計算科學會議，1999，泰國。177-189頁，Springer-Verlag, 1999。ISSN: 0302 - 9743。
35. Kamareddine和Monin，遞歸函數終止的形式證明，計算機科學講座講稿1702，聲明性編程的原理和實踐國際會議，PPDP 1999，頁29-46。巴黎,法國。斯普林格出版社,1999年版。
36. Kamareddine, Bloo和Nederpelt，近似約簡等價，計算機科學邏輯，CSL 1997，奧爾胡斯，哥本哈根。
37. Barthe, Kamareddine和R os，微積分的顯式替換，計算機科學講義1298，第六屆代數和邏輯編程與高階代數國際聯合會議，ALP-HOA 1997，頁203 -223，英國南安普頓。斯普林格出版社,1997年版。
38. 廣義約簡和顯式替換，《計算機科學》第1140期，第8屆國際編程語言研討會:實現、邏輯和程序》，1996年。德國亞琛。第378-392頁，Springer-Verlag, 1996。
39. Kamareddine和R os， -微積分la de Bruijn和顯式替換，計算機科學課堂講稿982，第七屆編程語言國際研討會:實現、邏輯和程序，PLILP 1995，頁45-62，荷蘭。斯普林格出版社,1995年版。
40. 自然語言需要類型嗎?，應用邏輯會議論文集《工作中的邏輯》，28頁，1992年12月17-19日，阿姆斯特丹。
41. Kamareddine和Nederpelt，通過重命名-微積分的類型理論的統一方法，編程語義學的數學基礎，牛津，1992。
42. Kamareddine，《內部的能力與集合》，自然語言的泛型性會議論文集，Krifka主編，SNS, T•ubingen，第199-219頁，1988年。

社論

1. Adel Bouhoula, Tetsuo Ida和Fairouz Kamareddine(2013)。前言。EPTCS ? ?
2. Mauricio Ayala-Rincon, Elaine Pimentel和Fairouz Kamareddine(2011)。前言。理論計算機科學412(37):4851-4852。
3. Mauricio Ayala Rincon和Kamareddine(2009)，序。電工實習。定理指出。第一版。Sci。256:1 - 3。
4. Kamareddine(2004)，關於邏輯變體的特刊編輯:從HOL到構造的微積分到計算機上的數學證明教學。應用邏輯學報。第二卷，第2期，第169頁。2004年6月。ISSN 1570 - 8683。愛思唯爾,北荷蘭。
5. Kamareddine(2004)，數學知識管理研討會特刊編輯。理論計算機科學電子筆記2004年2月第1{4頁。ISBN 044451290 x,愛思唯爾。
6. Geuvers和Kamareddine(2003)，數學、邏輯和計算(MLC)特刊編輯，理論計算機科學電子筆記85(7)。2003.ISBN 044451290 x,愛思唯爾。
7. Kamareddine(2003)， 35年自動化數學編輯。在克盧厄應用邏輯係列中編輯的書。卷28。2003年11月第1頁8。ISBN 1-4020-1656-5。Kluwer學術出版商。
8. Kamareddine(2002)，機械化和自動化數學特刊的社論:紀念N.G. de Bruijn。自動化推理雜誌。第29卷，第3和第4期，第183頁{188。2002.ISSN 0168 7433。Kluwer學術出版商。
9. Kamareddine(2001)，關於重寫和定理證明的特刊編輯。純粹邏輯學與應用邏輯學興趣小組學報，9(3)，第335{337頁，2001,ISSN 1367-0751，牛津大學出版社。
10. Kamareddine(2001)，《類型與計算理論基礎》特刊編輯部。《邏輯與計算學報》第11卷(3)，第359{361頁，2001,ISSN 0955 792X，牛津大學出版社。
11. Kamareddine和Klop(2000)，類型理論與術語重寫特刊編輯。《邏輯與計算學報》第10卷(3)，321{322,2000,ISSN 0955 792X，牛津大學出版社。